#LyX 1.3 created this file. For more info see http://www.lyx.org/ \lyxformat 221 \textclass article \language english \inputencoding auto \fontscheme default \graphics default \float_placement H \paperfontsize default \spacing single \papersize Default \paperpackage widemarginsa4 \use_geometry 0 \use_amsmath 1 \use_natbib 0 \use_numerical_citations 0 \paperorientation portrait \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \defskip medskip \quotes_language english \quotes_times 2 \papercolumns 1 \papersides 1 \paperpagestyle default \layout Section Converting to and from mathed \layout Standard Math can be typed in the body of the document and converted to mathed-mode by highlighting it and typing \family sans M-c\SpecialChar ~ m \family default . The text can be bounded with delimiters or not. That is, highlighting any of the formulae below: \layout Standard \align center \begin_inset Tabular <lyxtabular version="3" rows="5" columns="1"> <features> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \backslash begin{math} \backslash frac{abc}{xyz} \backslash end{math} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \backslash ( \backslash frac{abc}{xyz} \backslash ) \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard $ \backslash frac{abc}{xyz} $ \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \backslash begin{displaymath} \backslash frac{abc}{xyz} \backslash end{displaymath} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \backslash [ \backslash frac{abc}{xyz} \backslash ] \end_inset </cell> </row> </lyxtabular> \end_inset \layout Standard will convert it to: \layout Standard \begin_inset Formula \begin{equation} \frac{abc}{xyz}\end{equation} \end_inset \layout Standard At present, no formal way exists to convert the contents of a math inset back into plain text. It can be done using a \begin_inset Quotes eld \end_inset fudge \begin_inset Quotes erd \end_inset however. Highlight the contents of a math inset (not the math inset itself, just the contents), but do \emph on not \emph default copy it into LyX's buffer. It is now stored in the X system buffer and can be pasted back into the document using the middle mouse button. \layout Section Displaying LaTeX symbols \layout Standard Historically, LyX has provided visual support for a relatively small subset of the math symbols available in LaTeX. That changes with version 1.2; we now have visual support for most of the symbols defined in basic LaTeX and \emph on all \emph default the extra ones defined by the AMS. For completeness, the tables of symbols in Lamport's and in Goosen's books are presented below. \layout Section Some example math tables \layout Standard The following tables from Goossen et al.'s \begin_inset Quotes eld \end_inset The LaTeX companion \begin_inset Quotes erd \end_inset should appear on the screen in all their glory. \layout Standard \begin_inset ERT status Collapsed \layout Standard \backslash setcounter{table}{1} \layout Standard \backslash renewcommand{ \backslash thetable}{8. \backslash arabic{table}} \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="2" columns="10"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\hat{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hat{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\acute{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash acute{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\bar{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bar{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\dot{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dot{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\breve{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash breve{a} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\check{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash check{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\grave{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash grave{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\vec{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vec{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\ddot{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ddot{a} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \begin_inset Formula $\tilde{a}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash tilde{a} \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Math mode accents \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="11" columns="8"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\alpha$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash alpha \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\beta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash beta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gamma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gamma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\delta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash delta \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\epsilon$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash epsilon \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varepsilon$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varepsilon \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\zeta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash zeta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\eta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash eta \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\theta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash theta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vartheta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vartheta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\iota$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash iota \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\kappa$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash kappa \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lambda$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lambda \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mu$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mu \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nu$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nu \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\xi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash xi \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $o$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard o \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\pi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash pi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varpi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varpi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rho$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rho \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varrho$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varrho \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sigma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sigma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varsigma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varsigma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\tau$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash tau \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\upsilon$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash upsilon \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\phi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash phi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varphi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varphi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\chi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash chi \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\psi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash psi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\omega$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash omega \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Gamma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Gamma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Delta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Delta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Theta$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Theta \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Lambda$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Lambda \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Xi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Xi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Pi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Pi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Sigma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Sigma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Upsilon$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Upsilon \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Phi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Phi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Psi$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Psi \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Omega$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Omega \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Greek letters \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="9" columns="8"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\pm$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash pm \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cap$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash cap \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\diamond$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash diamond \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\oplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash oplus \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mp \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash cup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigtriangleup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigtriangleup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ominus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ominus \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\times$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash times \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\uplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash uplus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigtriangledown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigtriangledown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\otimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash otimes \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\div$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash div \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqcap$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqcap \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\triangleleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash triangleleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\oslash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash oslash \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ast$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ast \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqcup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqcup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\triangleright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash triangleright \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\odot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash odot \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\star$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash star \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vee$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vee \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lhd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lhd \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigcirc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigcirc \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circ$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circ \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\wedge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash wedge \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rhd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rhd \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dagger$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dagger \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bullet$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bullet \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\setminus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash setminus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\unlhd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash unlhd \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ddagger$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ddagger \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash cdot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\wr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash wr \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\unrhd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash unrhd \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\amalg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash amalg \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Binary operation symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="8" columns="10"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leq \backslash le \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\geq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash geq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\equiv$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash equiv \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\models$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash models \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\prec$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash prec \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succ$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succ \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\perp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash perp \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\preceq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash preceq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succeq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\simeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash simeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mid$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mid \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ll$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ll \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gg \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\asymp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash asymp \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\parallel$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash parallel \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\subset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash subset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\supset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash supset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\approx$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash approx \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bowtie$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bowtie \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\subseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash subseteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\supseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash supseteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cong$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash cong \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Join$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Join \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsubset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsubset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsupset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsupset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\neq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash neq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\smile$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash smile \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsubseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsubseteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsupseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsupseteq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\doteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash doteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\frown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash frown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\in$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash in \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ni$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ni \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\propto$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash propto \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $=$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter = \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vdash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vdash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dashv$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dashv \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $<$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter < \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $>$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter > \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Relation symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="10" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\longleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash longleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\uparrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash uparrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Leftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Leftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Longleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Longleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Uparrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Uparrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\longrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash longrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\downarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash downarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Rightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Rightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Longrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Longrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Downarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Downarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\longleftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash longleftrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\updownarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash updownarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Leftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Leftrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Longleftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Longleftrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Updownarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Updownarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mapsto$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mapsto \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\longmapsto$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash longmapsto \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nearrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nearrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hookleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hookleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hookrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hookrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\searrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash searrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftharpoonup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftharpoonup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightharpoonup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightharpoonup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\swarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash swarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftharpoondown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftharpoondown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightharpoondown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightharpoondown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nwarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nwarrow \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Arrow symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="7" columns="10"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ldots$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ldots \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cdots$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash cdots \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vdots$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vdots \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ddots$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ddots \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\aleph$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash aleph \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\prime$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash prime \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\forall$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash forall \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\infty$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash infty \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hbar$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hbar \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\emptyset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash emptyset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\exists$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash exists \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nabla$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nabla \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\surd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash surd \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Box$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Box \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\triangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash triangle \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Diamond$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Diamond \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\imath$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash imath \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\jmath$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash jmath \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ell$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ell \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\neg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash neg \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\top$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash top \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\flat$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash flat \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\natural$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash natural \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sharp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sharp \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\wp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash wp \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\clubsuit$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash clubsuit \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\diamondsuit$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash diamondsuit \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\heartsuit$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash heartsuit \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\spadesuit$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash spadesuit \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mho$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mho \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Re$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Re \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Im$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Im \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\angle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash angle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\partial$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash partial \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Miscellaneous symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="3" columns="10"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sum$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sum \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\prod$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash prod \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\coprod$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash coprod \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\int$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash int \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\oint$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash oint \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigcap$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigcap \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigcup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigcup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigsqcup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigsqcup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigvee$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigvee \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigwedge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigwedge \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigodot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigodot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigotimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigotimes \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigoplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigoplus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\biguplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash biguplus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Variable-sized symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="4" columns="8"> <features> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\arccos$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cos$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\csc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\exp$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ker$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\limsup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\min$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sinh$ \end_inset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\arcsin$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cosh$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\deg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gcd$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ln$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Pr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sup$ \end_inset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\arctan$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\cot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\det$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hom$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\log$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sec$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\tan$ \end_inset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\arg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\coth$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\inf$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\liminf$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\max$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sin$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\tanh$ \end_inset \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Log-like symbols \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="5" columns="8"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\uparrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash uparrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Uparrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Uparrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\downarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash downarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Downarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Downarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\{$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash { \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash } \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\updownarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash updownarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Updownarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Updownarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lfloor$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lfloor \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rfloor$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rfloor \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lceil$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lceil \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rceil$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rceil \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\langle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash langle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rangle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $/$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter / \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\backslash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash backslash \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $|$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter | \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\|$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash | \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption Delimiters \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="6" columns="4"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\widetilde{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash widetilde{abc} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\widehat{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash widehat{abc} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\overleftarrow{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash overleftarrow{abc} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\overrightarrow{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash overrightarrow{abc} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\overline{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash overline{abc} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\underline{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash underline{abc} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\overbrace{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash overbrace{abc} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\underbrace{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash underbrace{abc} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqrt{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqrt{abc} \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqrt[n]{abc} \backslash root3{abc} \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $f'$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter f' \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\frac{abc}{xyz}$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash frac{abc}{xyz} \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption LaTeX math constructs \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="1" columns="10"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\digamma$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash digamma \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varkappa$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varkappa \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\beth$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash beth \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\daleth$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash daleth \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gimel$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gimel \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS Greek and Hebrew \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="1" columns="8"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ulcorner$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ulcorner \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\urcorner$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash urcorner \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\llcorner$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash llcorner \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lrcorner$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lrcorner \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS delimiters \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="11" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dashrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dashrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dashleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dashleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftleftarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftleftarrows \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftrightarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftrightarrows \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Lleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Lleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\twoheadleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash twoheadleftarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftarrowtail$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftarrowtail \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\looparrowleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash looparrowleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftrightharpoons$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftrightharpoons \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curvearrowleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curvearrowleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circlearrowleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circlearrowleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Lsh$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Lsh \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\upuparrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash upuparrows \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\upharpoonleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash upharpoonleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\downharpoonleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash downharpoonleft \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\multimap$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash multimap \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftrightsquigarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftrightsquigarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightrightarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightrightarrows \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightleftarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightleftarrows \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightrightarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightrightarrows \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightleftarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightleftarrows \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\twoheadrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash twoheadrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightarrowtail$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightarrowtail \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\looparrowright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash looparrowright \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightleftharpoons$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightleftharpoons \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curvearrowright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curvearrowright \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circlearrowright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circlearrowright \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Rsh$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Rsh \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\downdownarrows$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash downdownarrows \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\upharpoonright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash upharpoonright \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\downharpoonright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash downharpoonright \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightsquigarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightsquigarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS arrows \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="2" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nleftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nleftarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nLeftarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nLeftarrow \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nRightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nRightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nleftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nleftrightarrow \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nLeftrightarrow$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nLeftrightarrow \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS negated arrows \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="22" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leqslant$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leqslant \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\eqslantless$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash eqslantless \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lesssim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lesssim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lessapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lessapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\approxeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash approxeq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lessdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lessdot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lll$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lll \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lessgtr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lessgtr \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lesseqgtr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lesseqgtr \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lesseqqgtr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lesseqqgtr \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\doteqdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash doteqdot \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\risingdotseq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash risingdotseq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\fallingdotseq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash fallingdotseq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\backsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash backsim \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\backsimeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash backsimeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\subseteqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash subseteqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Subset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Subset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsubset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsubset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\preccurlyeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash preccurlyeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curlyeqprec$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curlyeqprec \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\precsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash precsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\precapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash precapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vartriangleleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vartriangleleft \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\trianglelefteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash trianglelefteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vDash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vDash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Vvdash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Vvdash \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\smallsmile$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash smallsmile \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\smallfrown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash smallfrown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bumpeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bumpeq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Bumpeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Bumpeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\geqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash geqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\geqslant$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash geqslant \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\eqslantgtr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash eqslantgtr \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtrsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtrsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtrapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtrapprox \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtrdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtrdot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ggg$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ggg \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtrless$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtrless \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtreqless$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtreqless \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gtreqqless$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gtreqqless \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\eqcirc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash eqcirc \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\triangleq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash triangleq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\thicksim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash thicksim \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\thickapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash thickapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\supseteqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash supseteqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Supset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Supset \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sqsupset$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sqsupset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succcurlyeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succcurlyeq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curlyeqsucc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curlyeqsucc \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vartriangleright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vartriangleright \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\trianglerighteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash trianglerighteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Vdash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Vdash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\shortmid$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash shortmid \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\shortparallel$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash shortparallel \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\between$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash between \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\pitchfork$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash pitchfork \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varpropto$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varpropto \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacktriangleleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacktriangleleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\therefore$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash therefore \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\backepsilon$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash backepsilon \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacktriangleright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacktriangleright \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\because$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash because \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS binary relations \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="17" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nless$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nless \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nleq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nleq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nleqslant$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nleqslant \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nleqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nleqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lneq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lneqq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lvertneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lvertneqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lnsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lnsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lnapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lnapprox \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nprec$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nprec \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\npreceq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash npreceq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\precnsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash precnsim \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\precnapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash precnapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nshortmid$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nshortmid \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nmid$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nmid \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nvdash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nvdash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nvDash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nvDash \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ntriangleleft$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ntriangleleft \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ntrianglelefteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ntrianglelefteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsubseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsubseteq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\subsetneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash subsetneq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varsubsetneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varsubsetneq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\subsetneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash subsetneqq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varsubsetneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varsubsetneqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ngtr$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ngtr \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ngeq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ngeq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ngeqslant$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ngeqslant \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ngeqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ngeqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gneq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gneqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gvertneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gvertneqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gnsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gnsim \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\gnapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash gnapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsucc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsucc \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsucceq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsucceq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succnsim$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succnsim \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\succnapprox$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash succnapprox \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ncong$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ncong \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nshortparallel$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nshortparallel \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nparallel$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nparallel \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nvDash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nvDash \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nVDash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nVDash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ntriangleright$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ntriangleright \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ntrianglerighteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ntrianglerighteq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsupseteq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsupseteq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nsupseteqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nsupseteqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\supsetneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash supsetneq \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varsupsetneq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varsupsetneq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\supsetneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash supsetneqq \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varsupsetneqq$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varsupsetneqq \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS negated binary relations \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="8" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\dotplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash dotplus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\smallsetminus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash smallsetminus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Cap$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Cap \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Cup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Cup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\barwedge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash barwedge \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\veebar$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash veebar \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\doublebarwedge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash doublebarwedge \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\boxminus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash boxminus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\boxtimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash boxtimes \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\boxdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash boxdot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\boxplus$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash boxplus \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\divideontimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash divideontimes \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\ltimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash ltimes \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rtimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rtimes \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\leftthreetimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash leftthreetimes \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\rightthreetimes$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash rightthreetimes \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curlywedge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curlywedge \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\curlyvee$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash curlyvee \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circleddash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circleddash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circledast$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circledast \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circledcirc$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circledcirc \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\centerdot$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash centerdot \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\intercal$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash intercal \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS binary operators \end_inset \layout Standard \begin_inset Float table placement H wide false collapsed false \layout Standard \begin_inset Tabular <lyxtabular version="3" rows="9" columns="6"> <features> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <column alignment="right" valignment="top" width="0pt"> <column alignment="left" valignment="top" width="0pt"> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hbar$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hbar \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\hslash$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash hslash \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\vartriangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash vartriangle \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\triangledown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash triangledown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\square$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash square \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\lozenge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash lozenge \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\circledS$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash circledS \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\angle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash angle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\measuredangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash measuredangle \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\nexists$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash nexists \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\mho$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash mho \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Finv$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Finv \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Game$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Game \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\Bbbk$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash Bbbk \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\backprime$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash backprime \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\varnothing$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash varnothing \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacktriangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacktriangle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacktriangledown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacktriangledown \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacksquare$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacksquare \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\blacklozenge$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash blacklozenge \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\bigstar$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash bigstar \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\sphericalangle$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash sphericalangle \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\complement$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash complement \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\eth$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash eth \end_inset </cell> </row> <row> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\diagup$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash diagup \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \begin_inset Formula $\diagdown$ \end_inset \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \family typewriter \backslash diagdown \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none"> \begin_inset Text \layout Standard \end_inset </cell> </row> </lyxtabular> \end_inset \layout Caption AMS miscellaneous \end_inset \the_end