Symbols used to indicate comparison
The following symbols may be used anywhere in text∶
Description#Symbol | Grafstate code | |
|---|---|---|
Less than | < | < |
Greater than | > | > |
Less than or equal to | = < | \le =< |
Greater than or equal to | > = | \ge >= |
Equal to | = | = |
Not equal to | ≠ | != |
Equivalent to | ≡ | == |
Not equivalent to | ≢ | !== |
Congruent to | ≅ | ~= |
Not congruent to | ≇ | !~= |
Approximately equal to | ≈ | ~~ |
Not approximately equal to | ≉ | !~~ |
Defined to be | ≝ | \d= |
Wonder operator | ≟ | ?= |
Mapping reduction | ⟸ m | <=m \mred |
Polynomial time mapping reduction | ⟸ p | <=p \pmred |
 | The symbol ≡ is often used in Discrete Math to mean "congruent to" in congruence relations. |
| In the theory of automata, the Grafstate Margin Notes use the symbol ≅ to indicate equivalence between two computational structures. |