Ordered set operators

There are several ordered set operators that indicate whether a relationship precedes or succeeds another. These relationships operators are denoted by the unicode symbols U+227A-F:

Mathematical Operators[1] Official Unicode Consortium code chart (PDF)

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

U+226x

≠

≡

≢

≣

≤

≥

≦

≧

≨

≩

≪

≫

≬

≭

≮

≯

U+227x

≰

≱

≲

≳

≴

≵

≶

≷

≸

≹

≺

≻

≼

≽

≾

≿

Notes 1.^ As of Unicode version 7.0

Examples

• The relationship x precedes y is written x ≺ y. The relation x precedes or is equal to y is written x ≼ y.

• The relationship x succeeds (or follows) y is written x ≻ y. The relation x succeeds or is equal to y is written x ≽ y.

See Also

• Order theory
• Partially ordered set
• Directional Symbols
• Polynomial-time reduction
• Wolfram Alpha: precedes and succeeds