Ligatures

Ligatures let you insert complex mathematical symbols with a short sequence of easier to type symbols. For example, typing < = will produce a $\leq$ symbol. The new symbol will replace the ligature symbols as soon as you type the final symbol in the sequence.

The following table lists all of the symbols you can produce with ligatures:

Typing	Produces	Description
Inequality
`==`	$\neq$	Not equal to
`\=`	$\neq$	Not equal to
`<=`	$\leq$	Less than or equal to
`\<`	$≮$	Not less than
`\<=`	$≰$	Not less than or equal to
`>=`	$\geq$	Greater than or equal to
`\>`	$≮$	Not greater than
`\>=`	$≱$	Not greater than or equal to
`<<`	$≪$	Much less than
`>>`	$≫$	Much greater than

Approximation
`~~`	$\approx$	Approximately equal to
`<~~`	$⪅$	Less than or approx. equal to
`>~~`	$⪆$	Greater than or approx. equal to

Ordered sets
`<~`	$≺$	Precedes
`<~=`	$≼$	Precedes or equal to
`\<~`	$⊀$	Does not precede
`\<~=`	$⋠$	Does not precede or equal
`>~`	$≻$	Succeeds
`>~=`	$≽$	Succeeds or equal to
`\>~`	$⊁$	Does not succeed
`\>~=`	$⋡$	Does not succeed or equal

Typing	Produces	Description
Miscellaneous
`**`	$⨯$	Times (cross product)
`@=`	$\propto$	Proportional to
`...`	$\dots$	Ellipsis

Geometry
`~=`	$≅$	Congruent to

Calculus
`@@`	$\infty$	Infinity
`-->`	$\to$	Tends to (limits)

Logic
`=>`	$\Rightarrow$	Implies
`<=>`	$\Leftrightarrow$	Equivalent to

Computing
`:=`	$≔$	Is assigned
`~-`	$≃$	Asymptotically equal to
`===`	$\equiv$	Identical to
`====`	$≢$	Not identical to
`\===`	$≢$	Not identical to

Chemistry
`->`	$\to$	Yields (chemistry)
`<->`	$⇌$	Equilibrium

Contents