⋞
Math Operator 219
- Unicode
- U+22DE
- Category
- Math
- HTML Entity
- ⋞
- CSS
- \22DE
The ⋞ (Equal To Or Precedes) symbol is a mathematical operator that combines an equals sign with the curly "precedes" bracket. It is primarily used in order theory and set theory to indicate that one element either comes before another in a specific sequence, or is exactly equal to it. While rarely seen outside advanced mathematics, it serves as a crucial notation for defining partial orders and relationships between variables.
How to Type
- Windows
- Win + . then search, or type 22DE followed by Alt + X in Microsoft Word
- macOS
- Control + Command + Space then search "equal to or precedes"
- Linux
- Ctrl + Shift + U then type 22de and press Enter
- HTML
- ⋞ or ⋞
In Programming
In mathematical typesetting environments like LaTeX, this symbol is generated using the \curlyeqprec command from the amssymb package. It is frequently used in formal logic, proof-writing, and mathematical modeling software to define custom relational operators.
Tags
HTML entity
LaTeX math
U+22DE
Unicode math operator
\curlyeqprec
curly precedes
equal or precedes
mathematics
order theory symbol
ordering
partial order notation
precedes or equal to
relation
sequence
set theory operator