≼

Math Operator 121

Unicode
U+227C
Category
Math
HTML Entity
≼
CSS
\227C
The ≼ symbol, formally known as "Precedes or Equal To," is a mathematical operator primarily used in order theory. It represents a partial order or preorder, indicating that one element comes before or is equivalent to another within a specific set. While rarely seen in casual text, it is essential in advanced mathematics and computer science literature to distinguish generalized orderings from standard numerical "less than or equal to" (≤) relations.

How to Type

Windows
Win + . then search 'Precedes or Equal', or type 227C then Alt + X in Word
macOS
Control + Command + Space then search 'Precedes or Equal'
Linux
Ctrl + Shift + U then 227c
HTML
≼ or ≼

In Programming

In computer science and formal logic, ≼ is used in algorithm documentation and type theory to denote subtyping or a partial order relation. It is frequently rendered in LaTeX using the \preccurlyeq command.

Read full meaning article

Tags

curved less-than or equal generalized ordering mathematics order theory ordering partial order poset precedes or equal precedes or equivalent preorder relation sequence set theory

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To