# from TeXMacs (they give vdhoeven@texmacs.org as contact)
#
# We do it a bit differently and allow corrections only to combine a symbol
-# and a char to a new symbol.
-#
+# and a char to a new symbol. In other words the combination of the first column
+# followed by the second column produces third column in the mathed.
#
-
+#
+
| , \lfloor
\lfloor * |,
| ' \lceil
\rceil * '|
\llbracket * [[*
\rrbracket * ]]*
-
+
\cap * \sqcap
\cup * \sqcup
\vee * \curlyvee
\curlyvee * \curlyveeuparrow
\curlyveeuparrow * \curlyveedownarrow
-
+\curlyveedownarrow * \vee
+
< / \nless
> / \ngtr
< = \leqslant
. > \gtrdot
\leqslant . \lesseqdot
\gtrdot = \gtreqdot
-
+
< * \prec
> * \succ
\prec / \nprec
\leftarrow - \longleftarrow
\longleftarrow > \longleftrightarrow
= > \Rightarrow
+= < \Leftarrow
+\Rightarrow = \Longrightarrow
+\Leftarrow > \Leftrightarrow
+\Leftarrow = \Longleftarrow
+\Longleftarrow > \Longleftrightarrow
+
+\leftarrow * \longleftarrow
+\longleftarrow * \longleftrightarrow
+\longleftrightarrow * \leftrightarrow
+\leftrightarrow * \leftarrow
+\rightarrow * \longrightarrow
+\longrightarrow * \longleftrightarrow
+\Leftarrow * \Longleftarrow
+\Longleftarrow * \Longleftrightarrow
+\Longleftrightarrow * \Leftrightarrow
+\Leftrightarrow * \Leftarrow
+\Rightarrow * \Longrightarrow
+\Longrightarrow * \Longleftrightarrow
@ * \circ
\circ / \varnothing
\box | \boxbar
\box * \bullet
\bullet * \blacksquare
-
+
= * \asymp
\asymp * \equiv
\equiv * \asympasymp
\approx / \napprox
\simeq / \nsimeq
\cong / \ncong
-
-#| \|
+
+#| \|
| * \shortmid
\shortmid * \varshortmid
-| | \||
-\|| | \interleave
-\|| * \shortparallel
+| | \|
+\| | \interleave
+\| * \shortparallel
| - \vdash
\vdash - \longvdash
-\|| - \Vdash
+\| - \Vdash
\Vdash - \longVdash
\interleave - \Vvdash
\Vvdash - \longVvdash
= @ \eqcirc
- @ \multimap
. = \doteq
-. . \ldots
+.. . \ldots
\ldots * \cdots
-\cdots * \hdots
-\hdots * \vdots
-\ddots * \ddots
-\udots * \udots
+\cdots * \vdots
+\vdots * \ddots
+\ddots * \iddots
+\iddots * \ldots
: = \assign
+ = \plusassign
- = \minusassign
* * \ast
\ast * \times
\times * \cdot
-
-< * \subset
+
+\prec * \langle
+\langle * \subset
\subset * \in
-\ / \nsubset
-\in * \sqsubset
+\in * \sqsubset
\subset = \subseteq
\subseteq / \nsubseteq
\subseteq * \subseteqq
-\sqsubset * \langle
-\langle * \leftslice
-\leftslice * \subset
-
-\subseteq / \nsubseteq
+\sqsubset * \leftslice
+\leftslice * <
+
\subseteqq / \nsubseteqq
\nsubseteqq * \subsetneq
\subsetneq * \varsubsetneq
\subsetplus = \subsetpluseq
\subseteq + \subsetpluseq
\in / \nin
-> * \supset
-\supset / \nsupset
+
+\succ * \rangle
+\rangle * \supset
+\supset * \ni
+\ni * \sqsupset
\supset = \supseteq
\supseteq / \nsupseteq
\supseteq * \supseteqq
-\supseteq / \nsupseteq
-
-
+\sqsupset * \rightslice
+\rightslice * >
+
\supseteqq / \nsupseteqq
\supseteq / \supsetneq
+\supsetneq * \nsupseteq
\supset + \supsetplus
\supsetplus = \supsetpluseq
\supseteq + \supsetpluseq
-\supset * \ni
\ni / \nni
#
#
#--| \longdashv
-#| = \vDash
+| = \vDash
#\vDash = \longvDash
#||= \VDash
#||== \longVDash
-#| / \nmid
-#||/ \nparallel
-#|*/ \nshortmid
-#||*/ \nshortparallel
-#|-/ \nvdash
-#||-/ \nVdash
+#| / \nmid
+\| / \nparallel
+\shortmid / \nshortmid
+\shortparallel / \nshortparallel
+\vdash / \nvdash
+||- / \nVdash
#-|/ \ndashv
#-||/ \ndashV
-#|=/ \nvDash
-#||=/ \nVDash
+\vDash / \nvDash
+\nvDash * \nVDash
#=|/ \nDashv
#=||/ \nDashV
#
#>=*/* \gneq
#>=**/* \gneqq
#>=**/** \gvertneqq
-#[[ * \llbracket
-#]] * \rrbracket
-#EE a \amalg
-#EE d \partial
-#EE p \wp
-#EE n \cap
-#EE u \cup
-#EE w \wedge
-#\wedge * \curlywedge
-#\curlywedge * \curlywedgeuparrow
-#\curlywedgeuparrow * \curlywedgedownarrow
-#\curlywedgedownarrow * \wedges
-#EE v \vee
-#EE x \times
+[[ * \llbracket
+]] * \rrbracket
+EE a \amalg
+EE d \partial
+EE p \wp
+EE n \cap
+EE u \cup
+EE w \wedge
+\wedge * \curlywedge
+\curlywedge * \curlywedgeuparrow
+\curlywedgeuparrow * \curlywedgedownarrow
+\curlywedgedownarrow * \wedge
+EE v \vee
+EE x \times
+EE V \forall
+EE E \exists
# <***/ \nsqsubset
# <***= \sqsubseteq
# >***= \sqsupseteq
# >***=/ \nsqsupseteq
-# >**** \rangle
-# \rangle * \rightslice
+( * \bigl(
+\bigl( * \Bigl(
+\Bigl( * \biggl(
+\biggl( * \Biggl(
+\Biggl( * (
+
+) * \bigl)
+\bigl) * \Bigl)
+\Bigl) * \biggl)
+\biggl) * \Biggl)
+\Biggl) * )
+
+[ * \bigl[
+\bigl[ * \Bigl[
+\Bigl[ * \biggl[
+\biggl[ * \Biggl[
+\Biggl[ * [
+
+] * \bigl]
+\bigl] * \Bigl]
+\Bigl] * \biggl]
+\biggl] * \Biggl]
+\Biggl] * ]
+
+] * \bigl]
+\bigl] * \Bigl]
+\Bigl] * \biggl]
+\biggl] * \Biggl]
+\Biggl] * ]
+
+\{ * \bigl\{
+\bigl\{ * \Bigl\{
+\Bigl\{ * \biggl\{
+\biggl\{ * \Biggl\{
+\Biggl\{ * \{
+
+\} * \bigl\}
+\bigl\} * \Bigl\}
+\Bigl\} * \biggl\}
+\biggl\} * \Biggl\}
+\Biggl\} * \}
# EE l \bigl
# EE m \bigm