# 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.
#
#
\vee * \curlyvee
\curlyvee * \curlyveeuparrow
\curlyveeuparrow * \curlyveedownarrow
+\curlyveedownarrow * \vee
< / \nless
> / \ngtr
\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
= @ \eqcirc
- @ \multimap
. = \doteq
-. . \ldots
+.. . \ldots
\ldots * \cdots
-\cdots * \hdots
-\hdots * \vdots
-\ddots * \ddots
-\iddots * \iddots
-\udots * \udots
+\cdots * \vdots
+\vdots * \ddots
+\ddots * \iddots
+\iddots * \ldots
: = \assign
+ = \plusassign
- = \minusassign
\ast * \times
\times * \cdot
-< * \subset
+\prec * \langle
+\langle * \subset
\subset * \in
\in * \sqsubset
\subset = \subseteq
\subseteq / \nsubseteq
\subseteq * \subseteqq
-\sqsubset * \langle
-\langle * \leftslice
-\leftslice * \subset
+\sqsubset * \leftslice
+\leftslice * <
-\subseteq / \nsubseteq
\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
#
\wedge * \curlywedge
\curlywedge * \curlywedgeuparrow
\curlywedgeuparrow * \curlywedgedownarrow
-\curlywedgedownarrow * \wedges
+\curlywedgedownarrow * \wedge
EE v \vee
EE x \times
+EE V \forall
+EE E \exists
# <***/ \nsqsubset
# <***= \sqsubseteq
# >***= \sqsupseteq
# >***=/ \nsqsupseteq
-\succ * \rangle
-\rangle * \rightslice
-\rightslice * >
-
( * \bigl(
\bigl( * \Bigl(
\Bigl( * \biggl(