⋗
Greater Than with Dot
- Unicode
- U+22D7
- Category
- Math
- HTML Entity
- ⋗
- CSS
- \22D7
The greater-than with dot symbol (⋗) is a mathematical operator combining a standard greater-than sign with an inner dot modifier. In advanced mathematics and formal logic, it typically denotes a covering relation in a partially ordered set, the mirror image of the less-than with dot sign (⋖). Outside of academic circles, it occasionally appears in creative digital text art or specialized technical documentation.
How to Type
- Windows
- Alt+8919 (on numeric keypad), or type 22D7 and press Alt+X in Microsoft Word
- macOS
- Control+Command+Space to open Character Viewer, then search 'greater-than with dot'
- Linux
- Ctrl+Shift+U, then type 22D7 and press Enter
- HTML
- ⋗ or ⋗
In Programming
While not a standard built-in operator in mainstream programming languages, ⋗ can be defined as a custom operator in Unicode-friendly languages like Julia or Haskell for specialized ordering relations.
Tags
comparison
covering relation
creative typography math
formal logic symbol
greater than dot
greater than modified
mathematics
operator
order theory math
ordering
strict inequality dot
text art math