Syntax Aliases
Different ways of writing the same symbol. The first column shows the canonical way, but the second column are aliases and will work as well.
| Symbol | Synonym(s) |
|---|---|
| \lnot | ~, \neg, ¬ |
| [] | □ |
| <> | ◇ |
| \land | /\, ∧ |
| \lor | \/, ∨ |
| \equiv | <=>, ≡, ⇔ |
| /= | #, ≠ |
| \leq | <=, =<, ≤ |
| \geq | >=, ≥ |
| \times | \X, × |
| \intersect | \cap, ∩ |
| \union | \cup, ∪ |
| \o | \circ, ∘ |
| \oplus | (+), ⊕ |
| \ominus | (-), ⊖ |
| \odot | (.), ⊙ |
| \oslash | (/), ⊘ |
| \otimes | (\X), ⊗ |
| \approx | ≈ |
:= | ≔ |
| \asymp | ≍ |
| \bigcirc | ◯ |
| ::= | ⩴ |
| \bullet | ● |
| \cdot | ⋅ |
| \cong | ≅ |
| \div | ÷ |
| \doteq | ≐ |
| .. | ‥ |
| ... | … |
| !! | ‼ |
| \gg | ≫ |
| => | ⇒ |
| \in | ∈ |
=| | ⫤ |
| ~> | ↝ |
| \ll | ≪ |
-| | ⊣ |
| \notin | ∉ |
| -+-> | ⇸ |
| \prec | ≺ |
| \preceq | ⪯ |
| \propto | ∝ |
| ?? | ⁇ |
|= | ⊨ |
|- | ⊢ |
| \sim | ∼ |
| \simeq | ≃ |
| \sqcap | ⊓ |
| \sqcup | ⊔ |
| \sqsubset | ⊏ |
| \sqsubseteq | ⊑ |
| \sqsupset | ⊐ |
| \sqsupseteq | ⊒ |
| \star | ⋆ |
| \subset | ⊂ |
| \subseteq | ⊆ |
| \succ | ≻ |
| \succeq | ⪰ |
| \supset | ⊃ |
| \supseteq | ⊇ |
| \uplus | ⊎ |
|| | ‖ |
| \wr | ≀ |
^+ | ⁺ |
fponzi