# ⫱ U+2AF1 DOWN TACK WITH CIRCLE BELOW

Down tack with a circle below, read as necessarily satisfies in modal logic.

| | |
|---|---|
| Character | `⫱` |
| Codepoint | U+2AF1 |
| Name | DOWN TACK WITH CIRCLE BELOW |
| Also known as | necessarily satisfies |
| Block | [Supplemental Mathematical Operators](https://unicodekit.com/block/supplemental-mathematical-operators) |
| Script | Common |
| Category | Math Symbol (Sm) |
| Unicode version | 3.2 |
| HTML | `⫱` `⫱` |
| CSS | `\2AF1` |
| JavaScript | `\u2AF1` |
| UTF-8 | E2 AB B1 |
| UTF-16 | 2AF1 |

## Related characters

- ⫰ [U+2AF0 VERTICAL LINE WITH CIRCLE BELOW](https://unicodekit.com/char/2AF0)
- ⫲ [U+2AF2 PARALLEL WITH HORIZONTAL STROKE](https://unicodekit.com/char/2AF2)
- ⫯ [U+2AEF VERTICAL LINE WITH CIRCLE ABOVE](https://unicodekit.com/char/2AEF)
- ⫳ [U+2AF3 PARALLEL WITH TILDE OPERATOR](https://unicodekit.com/char/2AF3)
- ⫮ [U+2AEE DOES NOT DIVIDE WITH REVERSED NEGATION SLASH](https://unicodekit.com/char/2AEE)
- ⫴ [U+2AF4 TRIPLE VERTICAL BAR BINARY RELATION](https://unicodekit.com/char/2AF4)
- ⫭ [U+2AED REVERSED DOUBLE STROKE NOT SIGN](https://unicodekit.com/char/2AED)
- ⫵ [U+2AF5 TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE](https://unicodekit.com/char/2AF5)
- ⫬ [U+2AEC DOUBLE STROKE NOT SIGN](https://unicodekit.com/char/2AEC)
- ⫶ [U+2AF6 TRIPLE COLON OPERATOR](https://unicodekit.com/char/2AF6)
- ⫫ [U+2AEB DOUBLE UP TACK](https://unicodekit.com/char/2AEB)
- ⫷ [U+2AF7 TRIPLE NESTED LESS-THAN](https://unicodekit.com/char/2AF7)

Page: https://unicodekit.com/char/2AF1 · JSON: https://unicodekit.com/characters/2AF1