This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
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