AsciiMath

Summary

Syntax Most AsciiMath symbols attempt to mimic in text what they look like rendered, like oo for `oo`. Many symbols can also be displayed using a TeX alternative, but a preceeding backslash is not required. Operation symbols Type TeX alt See + `+` - `-` * cdot `*` ** ast `**` *** star `***` // `//` \\ backslashsetminus `\\` xx times `xx` -: div `-:` |>< ltimes `|><` ><| rtimes `><|` |><| bowtie `|><|` @ circ `@` o+ oplus `o+` ox otimes `ox` o. odot `o.` sum `sum` prod `prod` ^^ wedge `^^` ^^^ bigwedge `^^^` vv vee `vv` vvv bigvee `vvv` nn cap `nn` nnn bigcap `nnn` uu cup `uu` uuu bigcup `uuu` Miscellaneous symbols Type TeX alt See 2/3 frac{2}{3} `2/3` 2^3 `2^3` sqrt x `sqrt x` root(3)(x) `root(3)(x)` int `int` oint `oint` del partial `del` grad nabla `grad` +- pm `+-` O/ emptyset `O/` oo infty `oo` aleph `aleph` :. therefore `:.` :' because `:'` |...| |ldots| `|...|` |cdots| `|cdots|` vdots `vdots` ddots `ddots` |\ | `|\ |` |quad| `|quad|` /_ angle `/_` frown `frown` /_\ triangle `/_\\` diamond `diamond` square `square` |__ lfloor `|__` __| rfloor `__|` |~ lceiling `|~` ~| rceiling `~|` CC `CC` NN `NN` QQ `QQ` RR `RR` ZZ `ZZ` "hi" text(hi) `"hi"` Relation symbols Type TeX alt See = `=` != ne `!=` < lt `<` > gt `>` <= le `<=` >= ge `>=` mlt ll `mlt` mgt gg `mgt` -< prec `-<` -<= preceq `-<=` >- succ `>-` >-= succeq `>-=` in `in` !in notin `!in` sub subset `sub` sup supset `sup` sube subseteq `sube` supe supseteq `supe` -= equiv `-=` ~= cong `~=` ~~ approx `~~` prop propto `prop` Logical symbols Type TeX alt See and `and` or `or` not neg `not` => implies `=>` if `if` <=> iff `iff` AA forall `AA` EE exists `EE` _|_ bot `_|_` TT top `TT` |-- vdash `|--` |== models `|==` Grouping brackets Type TeX alt See ( `(` ) `)` [ `[` ] `]` { `{` } `}` (: langle `(:` :) rangle `:)` << `<<` >> `>>` {: x ) `{: x )` ( x :} `( x :}` abs(x) `abs(x)` floor(x) `floor(x)` ceil(x) `ceil(x)` norm(vecx) `norm(vecx)` Arrows Type TeX alt See uarr uparrow `uarr` darr downarrow `darr` rarr rightar...