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