U+2AF1 · Math symbol
HTML entity
⫱
LaTeX
\topcir
Down Tack With Circle Below Symbol ⫱
⫱ is down tack with circle below, U+2AF1. Unicode also records it as “necessarily satisfies”. It was added in Unicode 3.2, and Unicode files it under Math symbol.
Also known as
- necessarily satisfies
Codes & technical data
| Unicode | U+2AF1 | |
|---|---|---|
| HTML hex | ⫱ | |
| HTML decimal | ⫱ | |
| CSS | \2AF1 | |
| JavaScript | \u{2AF1} | |
| Python | \U00002AF1 | |
| Java / C# | \u2AF1 | |
| Rust | \u{2af1} | |
| Swift | \u{2AF1} | |
| PHP | \u{2AF1} | |
| URL encoded | %E2%AB%B1 | |
| UTF-8 bytes | E2 AB B1 | |
| UTF-16 bytes | 2AF1 | |
| Base64 | 4qux | |
| Decimal | 10993 | |
| HTML entity | ⫱ | |
| LaTeX | \topcir | |
| Category | Math symbol (Sm) | |
| Introduced | Unicode 3.2 | |
Will ⫱ survive being pasted?
- Normalisation. Yes. ⫱ is unchanged by NFKC, so it survives normalising systems intact.
- Legacy encodings. ⫱ is Unicode-only — it has no Latin-1 equivalent, so a system stuck on an 8-bit encoding cannot represent it.
- Size. 3 bytes in UTF-8. Character-limited fields — SMS, bios, some form validators — usually count bytes, not characters.
Unicode cross-references
The standard points readers of ⫱ at these characters — usually because they look alike, or because one is the correct choice where the other is often used by mistake.
Other circle characters
Unicode names 24 characters ending in “circle”. They differ by direction, weight or decoration rather than by meaning.
Nearby in Supplemental Mathematical Operators
A second full block of operators: n-ary forms, integrals with modifiers, and the dense family of comparison relations that differ only in the slant or stroke of the equals bar.
How to type ⫱
| Windows | Type 2AF1 then press Alt+X |
|---|---|
| macOS | Press Ctrl+Cmd+Space, then search for “down tack with circle below” |
| Linux | Press Ctrl+Shift+U, type 2af1, press Enter |
| HTML | ⫱ |
About Unicode’s Math symbol category
Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.
Frequently asked questions
- How do I type the ⫱ down tack with circle below symbol?
- On Windows, type 2AF1 and press Alt+X. On Linux press Ctrl+Shift+U then 2af1. On any system the quickest route is the copy button on this page.
- What is the code for ⫱?
- Down Tack With Circle Below is U+2AF1, written in HTML as ⫱ and in LaTeX as \topcir. In UTF-8 it takes 3 bytes. The table above lists every escape format.
- What kind of character is ⫱?
- Down Tack With Circle Below is filed under Math symbol in the Supplemental Mathematical Operators block, and was introduced in Unicode 3.2. Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.