using:syntax_aliases

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
^+
  • using/syntax_aliases.txt
  • Last modified: 2024/10/10 16:59
  • by fponzi