From 288454062b0222380008c4f6ad135d82e1a7dda5 Mon Sep 17 00:00:00 2001 From: Dekel Tsur Date: Tue, 18 Dec 2001 14:24:42 +0000 Subject: [PATCH] Remove duplicate tables git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@3239 a592a061-630c-0410-9148-cb99ea01b6c8 --- lib/examples/mathed.lyx | 8047 ++++++--------------------------------- 1 file changed, 1136 insertions(+), 6911 deletions(-) diff --git a/lib/examples/mathed.lyx b/lib/examples/mathed.lyx index f32f538c30..ecd5249e88 100644 --- a/lib/examples/mathed.lyx +++ b/lib/examples/mathed.lyx @@ -45,9 +45,9 @@ m \begin_inset Tabular - + - + \begin_inset Text \layout Standard @@ -63,7 +63,7 @@ end{math} - + \begin_inset Text \layout Standard @@ -79,7 +79,7 @@ frac{abc}{xyz} - + \begin_inset Text \layout Standard @@ -91,7 +91,7 @@ frac{abc}{xyz} $ - + \begin_inset Text \layout Standard @@ -107,7 +107,7 @@ end{displaymath} - + \begin_inset Text \layout Standard @@ -338,5762 +338,7 @@ xset +fp LYX_XFONTS; xset fp rehash \family default at the console, start LyX, load up this document and enjoy! -\layout Subsection - -Math tables from Lamport's -\begin_inset Quotes eld -\end_inset - -LaTeX A document preparation system -\begin_inset Quotes erd -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Greek letters -\layout Standard - - -\begin_inset Tabular - - - - - -\begin_inset Text - -\layout Standard - -Lowercase -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\alpha $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -alpha -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\theta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -theta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $o$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -o -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\tau $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -tau -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\beta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -beta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vartheta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vartheta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\pi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -pi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\upsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -upsilon -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\gamma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -gamma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\iota $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -iota -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varpi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varpi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\phi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -phi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\delta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -delta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\kappa $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -kappa -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rho -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varphi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varphi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\epsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -epsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lambda $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lambda -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varrho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varrho -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\chi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -chi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varepsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varepsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mu $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mu -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\psi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -psi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\zeta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -zeta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nu $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nu -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varsigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varsigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\omega $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -omega -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\eta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -eta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\xi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -xi -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - - - -\begin_inset Text - -\layout Standard - -Uppercase -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Gamma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Gamma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Lambda $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Lambda -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Sigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Sigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Psi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Psi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Delta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Delta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Xi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Xi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Upsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Upsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Omega $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Omega -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Theta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Theta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Pi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Pi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Phi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Phi -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Binary operation symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\pm $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -pm -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\diamond $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -diamond -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigtriangleup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigtriangleup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ominus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ominus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\times $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -times -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uplus -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigtriangledown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigtriangledown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\otimes $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -otimes -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\div $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -div -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqcap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqcap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangleleft $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangleleft -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oslash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oslash -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ast $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ast -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangleright $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangleright -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\odot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -odot -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\star $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -star -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vee $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vee -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcirc $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcirc -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\circ $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -circ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wedge $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wedge -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\dagger $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -dagger -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bullet $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bullet -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\setminus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -setminus -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\unlhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -unlhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ddagger $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ddagger -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cdot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cdot -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wr $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wr -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\unrhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -unrhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\amalg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -amalg -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Relation symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\geq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -geq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\equiv $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -equiv -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\models $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -models -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prec $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prec -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\succ $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -succ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sim $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sim -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\perp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -perp -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\preceq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -preceq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\succeq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -succeq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\simeq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -simeq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mid $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mid -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ll $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ll -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\gg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -gg -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\asymp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -asymp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\parallel $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -parallel -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\subset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -subset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\supset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -supset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\approx $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -approx -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bowtie $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bowtie -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\subseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -subseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\supseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -supseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cong $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cong -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Join $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Join -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsubset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsubset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsupset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsupset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\neq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -neq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\smile $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -smile -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsubseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsubseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsupseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsupseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\doteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -doteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\frown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -frown -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\in $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -in -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ni $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ni -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\propto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -propto -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vdash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vdash -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\dashv $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -dashv -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Arrow symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Leftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Leftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Rightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Rightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longleftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longleftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Leftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Leftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longleftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longleftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mapsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mapsto -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longmapsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longmapsto -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nearrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nearrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hookleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hookleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hookrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hookrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\searrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -searrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftharpoonup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftharpoonup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightharpoonup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightharpoonup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\swarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -swarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftharpoondown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftharpoondown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightharpoondown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightharpoondown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nwarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nwarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightleftharpoons $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightleftharpoons -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leadsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leadsto -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Miscellaneous symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\aleph $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -aleph -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prime $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prime -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\forall $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -forall -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\infty $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -infty -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hbar $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hbar -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\emptyset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -emptyset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\exists $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -exists -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Box $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Box -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\imath $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -imath -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nabla $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nabla -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\neg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -neg -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Diamond $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Diamond -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\jmath $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -jmath -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\surd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -surd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\flat $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -flat -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangle -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ell $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ell -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\top $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -top -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\natural $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -natural -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\clubsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -clubsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bot -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sharp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sharp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\diamondsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -diamondsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Re $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Re -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\| $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -| -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\backslash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -backslash -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\heartsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -heartsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Im $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Im -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\angle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -angle -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\partial $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -partial -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\spadesuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -spadesuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mho -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Variable-sized symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sum $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sum -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigodot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigodot -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prod $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prod -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigotimes $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigotimes -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\coprod $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -coprod -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigsqcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigsqcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigoplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigoplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\int $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -int -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigvee $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigvee -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\biguplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -biguplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oint $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oint -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigwedge $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigwedge -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Delimiters -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $($ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -( -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $)$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -) -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $[$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -[ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $]$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -] -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\{$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -{ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\}$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -} -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lfloor $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lfloor -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rfloor $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rfloor -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lceil $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lceil -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rceil $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rceil -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\langle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -langle -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rangle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rangle -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $/$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -/ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\backslash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -backslash -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $|$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -| -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\| $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -| -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Subsection +\layout Section Math tables from Goossen et al.'s \begin_inset Quotes eld @@ -6110,7 +355,7 @@ The LaTeX companion \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -6121,18 +366,18 @@ Math mode accents \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + - + \begin_inset Text \layout Standard @@ -6146,7 +391,7 @@ Math mode accents \end_inset - + \begin_inset Text \layout Standard @@ -6158,7 +403,7 @@ Math mode accents hat{a} \end_inset - + \begin_inset Text \layout Standard @@ -6172,7 +417,7 @@ hat{a} \end_inset - + \begin_inset Text \layout Standard @@ -6184,7 +429,7 @@ hat{a} acute{a} \end_inset - + \begin_inset Text \layout Standard @@ -6198,7 +443,7 @@ acute{a} \end_inset - + \begin_inset Text \layout Standard @@ -6210,7 +455,7 @@ acute{a} bar{a} \end_inset - + \begin_inset Text \layout Standard @@ -6224,7 +469,7 @@ bar{a} \end_inset - + \begin_inset Text \layout Standard @@ -6236,7 +481,7 @@ bar{a} dot{a} \end_inset - + \begin_inset Text \layout Standard @@ -6250,7 +495,7 @@ dot{a} \end_inset - + \begin_inset Text \layout Standard @@ -6264,7 +509,7 @@ breve{a} - + \begin_inset Text \layout Standard @@ -6278,7 +523,7 @@ breve{a} \end_inset - + \begin_inset Text \layout Standard @@ -6290,7 +535,7 @@ breve{a} check{a} \end_inset - + \begin_inset Text \layout Standard @@ -6304,7 +549,7 @@ check{a} \end_inset - + \begin_inset Text \layout Standard @@ -6316,7 +561,7 @@ check{a} grave{a} \end_inset - + \begin_inset Text \layout Standard @@ -6330,7 +575,7 @@ grave{a} \end_inset - + \begin_inset Text \layout Standard @@ -6342,7 +587,7 @@ grave{a} vec{a} \end_inset - + \begin_inset Text \layout Standard @@ -6356,7 +601,7 @@ vec{a} \end_inset - + \begin_inset Text \layout Standard @@ -6368,7 +613,7 @@ vec{a} ddot{a} \end_inset - + \begin_inset Text \layout Standard @@ -6382,7 +627,7 @@ ddot{a} \end_inset - + \begin_inset Text \layout Standard @@ -6409,7 +654,7 @@ tilde{a} \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -6420,16 +665,16 @@ Greek letters \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -6441,7 +686,7 @@ Greek letters \end_inset - + \begin_inset Text \layout Standard @@ -6453,7 +698,7 @@ Greek letters alpha \end_inset - + \begin_inset Text \layout Standard @@ -6465,7 +710,7 @@ alpha \end_inset - + \begin_inset Text \layout Standard @@ -6477,7 +722,7 @@ alpha beta \end_inset - + \begin_inset Text \layout Standard @@ -6489,7 +734,7 @@ beta \end_inset - + \begin_inset Text \layout Standard @@ -6501,7 +746,7 @@ beta gamma \end_inset - + \begin_inset Text \layout Standard @@ -6513,7 +758,7 @@ gamma \end_inset - + \begin_inset Text \layout Standard @@ -6527,7 +772,7 @@ delta - + \begin_inset Text \layout Standard @@ -6539,7 +784,7 @@ delta \end_inset - + \begin_inset Text \layout Standard @@ -6551,7 +796,7 @@ delta epsilon \end_inset - + \begin_inset Text \layout Standard @@ -6563,7 +808,7 @@ epsilon \end_inset - + \begin_inset Text \layout Standard @@ -6575,7 +820,7 @@ epsilon varepsilon \end_inset - + \begin_inset Text \layout Standard @@ -6587,7 +832,7 @@ varepsilon \end_inset - + \begin_inset Text \layout Standard @@ -6599,7 +844,7 @@ varepsilon zeta \end_inset - + \begin_inset Text \layout Standard @@ -6611,7 +856,7 @@ zeta \end_inset - + \begin_inset Text \layout Standard @@ -6625,7 +870,7 @@ eta - + \begin_inset Text \layout Standard @@ -6637,7 +882,7 @@ eta \end_inset - + \begin_inset Text \layout Standard @@ -6649,7 +894,7 @@ eta theta \end_inset - + \begin_inset Text \layout Standard @@ -6661,7 +906,7 @@ theta \end_inset - + \begin_inset Text \layout Standard @@ -6673,7 +918,7 @@ theta vartheta \end_inset - + \begin_inset Text \layout Standard @@ -6685,7 +930,7 @@ vartheta \end_inset - + \begin_inset Text \layout Standard @@ -6697,7 +942,7 @@ vartheta iota \end_inset - + \begin_inset Text \layout Standard @@ -6709,7 +954,7 @@ iota \end_inset - + \begin_inset Text \layout Standard @@ -6723,7 +968,7 @@ kappa - + \begin_inset Text \layout Standard @@ -6735,7 +980,7 @@ kappa \end_inset - + \begin_inset Text \layout Standard @@ -6747,7 +992,7 @@ kappa lambda \end_inset - + \begin_inset Text \layout Standard @@ -6759,7 +1004,7 @@ lambda \end_inset - + \begin_inset Text \layout Standard @@ -6771,7 +1016,7 @@ lambda mu \end_inset - + \begin_inset Text \layout Standard @@ -6783,7 +1028,7 @@ mu \end_inset - + \begin_inset Text \layout Standard @@ -6795,7 +1040,7 @@ mu nu \end_inset - + \begin_inset Text \layout Standard @@ -6807,7 +1052,7 @@ nu \end_inset - + \begin_inset Text \layout Standard @@ -6821,7 +1066,7 @@ xi - + \begin_inset Text \layout Standard @@ -6833,7 +1078,7 @@ xi \end_inset - + \begin_inset Text \layout Standard @@ -6841,7 +1086,7 @@ xi o \end_inset - + \begin_inset Text \layout Standard @@ -6853,7 +1098,7 @@ o \end_inset - + \begin_inset Text \layout Standard @@ -6865,7 +1110,7 @@ o pi \end_inset - + \begin_inset Text \layout Standard @@ -6877,7 +1122,7 @@ pi \end_inset - + \begin_inset Text \layout Standard @@ -6889,7 +1134,7 @@ pi varpi \end_inset - + \begin_inset Text \layout Standard @@ -6901,7 +1146,7 @@ varpi \end_inset - + \begin_inset Text \layout Standard @@ -6915,7 +1160,7 @@ rho - + \begin_inset Text \layout Standard @@ -6927,7 +1172,7 @@ rho \end_inset - + \begin_inset Text \layout Standard @@ -6939,7 +1184,7 @@ rho varrho \end_inset - + \begin_inset Text \layout Standard @@ -6951,7 +1196,7 @@ varrho \end_inset - + \begin_inset Text \layout Standard @@ -6963,7 +1208,7 @@ varrho sigma \end_inset - + \begin_inset Text \layout Standard @@ -6975,7 +1220,7 @@ sigma \end_inset - + \begin_inset Text \layout Standard @@ -6987,7 +1232,7 @@ sigma varsigma \end_inset - + \begin_inset Text \layout Standard @@ -6999,7 +1244,7 @@ varsigma \end_inset - + \begin_inset Text \layout Standard @@ -7013,7 +1258,7 @@ tau - + \begin_inset Text \layout Standard @@ -7025,7 +1270,7 @@ tau \end_inset - + \begin_inset Text \layout Standard @@ -7037,7 +1282,7 @@ tau upsilon \end_inset - + \begin_inset Text \layout Standard @@ -7049,7 +1294,7 @@ upsilon \end_inset - + \begin_inset Text \layout Standard @@ -7061,7 +1306,7 @@ upsilon phi \end_inset - + \begin_inset Text \layout Standard @@ -7073,7 +1318,7 @@ phi \end_inset - + \begin_inset Text \layout Standard @@ -7085,7 +1330,7 @@ phi varphi \end_inset - + \begin_inset Text \layout Standard @@ -7097,7 +1342,7 @@ varphi \end_inset - + \begin_inset Text \layout Standard @@ -7111,7 +1356,7 @@ chi - + \begin_inset Text \layout Standard @@ -7123,7 +1368,7 @@ chi \end_inset - + \begin_inset Text \layout Standard @@ -7135,7 +1380,7 @@ chi psi \end_inset - + \begin_inset Text \layout Standard @@ -7147,7 +1392,7 @@ psi \end_inset - + \begin_inset Text \layout Standard @@ -7159,28 +1404,28 @@ psi omega \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -7189,7 +1434,7 @@ omega - + \begin_inset Text \layout Standard @@ -7201,7 +1446,7 @@ omega \end_inset - + \begin_inset Text \layout Standard @@ -7213,7 +1458,7 @@ omega Gamma \end_inset - + \begin_inset Text \layout Standard @@ -7225,7 +1470,7 @@ Gamma \end_inset - + \begin_inset Text \layout Standard @@ -7237,7 +1482,7 @@ Gamma Delta \end_inset - + \begin_inset Text \layout Standard @@ -7249,7 +1494,7 @@ Delta \end_inset - + \begin_inset Text \layout Standard @@ -7261,7 +1506,7 @@ Delta Theta \end_inset - + \begin_inset Text \layout Standard @@ -7273,7 +1518,7 @@ Theta \end_inset - + \begin_inset Text \layout Standard @@ -7287,7 +1532,7 @@ Lambda - + \begin_inset Text \layout Standard @@ -7299,7 +1544,7 @@ Lambda \end_inset - + \begin_inset Text \layout Standard @@ -7311,7 +1556,7 @@ Lambda Xi \end_inset - + \begin_inset Text \layout Standard @@ -7323,7 +1568,7 @@ Xi \end_inset - + \begin_inset Text \layout Standard @@ -7335,7 +1580,7 @@ Xi Pi \end_inset - + \begin_inset Text \layout Standard @@ -7347,7 +1592,7 @@ Pi \end_inset - + \begin_inset Text \layout Standard @@ -7359,7 +1604,7 @@ Pi Sigma \end_inset - + \begin_inset Text \layout Standard @@ -7371,7 +1616,7 @@ Sigma \end_inset - + \begin_inset Text \layout Standard @@ -7385,7 +1630,7 @@ Upsilon - + \begin_inset Text \layout Standard @@ -7397,7 +1642,7 @@ Upsilon \end_inset - + \begin_inset Text \layout Standard @@ -7409,7 +1654,7 @@ Upsilon Phi \end_inset - + \begin_inset Text \layout Standard @@ -7421,7 +1666,7 @@ Phi \end_inset - + \begin_inset Text \layout Standard @@ -7433,7 +1678,7 @@ Phi Psi \end_inset - + \begin_inset Text \layout Standard @@ -7445,7 +1690,7 @@ Psi \end_inset - + \begin_inset Text \layout Standard @@ -7457,14 +1702,14 @@ Psi Omega \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -7486,7 +1731,7 @@ Omega \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -7497,16 +1742,16 @@ Binary operation symbols \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -7518,7 +1763,7 @@ Binary operation symbols \end_inset - + \begin_inset Text \layout Standard @@ -7530,7 +1775,7 @@ Binary operation symbols pm \end_inset - + \begin_inset Text \layout Standard @@ -7542,7 +1787,7 @@ pm \end_inset - + \begin_inset Text \layout Standard @@ -7554,7 +1799,7 @@ pm cap \end_inset - + \begin_inset Text \layout Standard @@ -7566,7 +1811,7 @@ cap \end_inset - + \begin_inset Text \layout Standard @@ -7578,7 +1823,7 @@ cap diamond \end_inset - + \begin_inset Text \layout Standard @@ -7590,7 +1835,7 @@ diamond \end_inset - + \begin_inset Text \layout Standard @@ -7604,7 +1849,7 @@ oplus - + \begin_inset Text \layout Standard @@ -7616,7 +1861,7 @@ oplus \end_inset - + \begin_inset Text \layout Standard @@ -7628,7 +1873,7 @@ oplus mp \end_inset - + \begin_inset Text \layout Standard @@ -7640,7 +1885,7 @@ mp \end_inset - + \begin_inset Text \layout Standard @@ -7652,7 +1897,7 @@ mp cup \end_inset - + \begin_inset Text \layout Standard @@ -7664,7 +1909,7 @@ cup \end_inset - + \begin_inset Text \layout Standard @@ -7676,7 +1921,7 @@ cup bigtriangleup \end_inset - + \begin_inset Text \layout Standard @@ -7688,7 +1933,7 @@ bigtriangleup \end_inset - + \begin_inset Text \layout Standard @@ -7702,7 +1947,7 @@ ominus - + \begin_inset Text \layout Standard @@ -7714,7 +1959,7 @@ ominus \end_inset - + \begin_inset Text \layout Standard @@ -7726,7 +1971,7 @@ ominus times \end_inset - + \begin_inset Text \layout Standard @@ -7738,7 +1983,7 @@ times \end_inset - + \begin_inset Text \layout Standard @@ -7750,7 +1995,7 @@ times uplus \end_inset - + \begin_inset Text \layout Standard @@ -7762,7 +2007,7 @@ uplus \end_inset - + \begin_inset Text \layout Standard @@ -7774,7 +2019,7 @@ uplus bigtriangledown \end_inset - + \begin_inset Text \layout Standard @@ -7786,7 +2031,7 @@ bigtriangledown \end_inset - + \begin_inset Text \layout Standard @@ -7800,7 +2045,7 @@ otimes - + \begin_inset Text \layout Standard @@ -7812,7 +2057,7 @@ otimes \end_inset - + \begin_inset Text \layout Standard @@ -7824,7 +2069,7 @@ otimes div \end_inset - + \begin_inset Text \layout Standard @@ -7836,7 +2081,7 @@ div \end_inset - + \begin_inset Text \layout Standard @@ -7848,7 +2093,7 @@ div sqcap \end_inset - + \begin_inset Text \layout Standard @@ -7860,7 +2105,7 @@ sqcap \end_inset - + \begin_inset Text \layout Standard @@ -7872,7 +2117,7 @@ sqcap triangleleft \end_inset - + \begin_inset Text \layout Standard @@ -7884,7 +2129,7 @@ triangleleft \end_inset - + \begin_inset Text \layout Standard @@ -7898,7 +2143,7 @@ oslash - + \begin_inset Text \layout Standard @@ -7910,7 +2155,7 @@ oslash \end_inset - + \begin_inset Text \layout Standard @@ -7922,7 +2167,7 @@ oslash ast \end_inset - + \begin_inset Text \layout Standard @@ -7934,7 +2179,7 @@ ast \end_inset - + \begin_inset Text \layout Standard @@ -7946,7 +2191,7 @@ ast sqcup \end_inset - + \begin_inset Text \layout Standard @@ -7958,7 +2203,7 @@ sqcup \end_inset - + \begin_inset Text \layout Standard @@ -7970,7 +2215,7 @@ sqcup triangleright \end_inset - + \begin_inset Text \layout Standard @@ -7982,7 +2227,7 @@ triangleright \end_inset - + \begin_inset Text \layout Standard @@ -7996,7 +2241,7 @@ odot - + \begin_inset Text \layout Standard @@ -8008,7 +2253,7 @@ odot \end_inset - + \begin_inset Text \layout Standard @@ -8020,7 +2265,7 @@ odot star \end_inset - + \begin_inset Text \layout Standard @@ -8032,7 +2277,7 @@ star \end_inset - + \begin_inset Text \layout Standard @@ -8044,7 +2289,7 @@ star vee \end_inset - + \begin_inset Text \layout Standard @@ -8056,7 +2301,7 @@ vee \end_inset - + \begin_inset Text \layout Standard @@ -8068,7 +2313,7 @@ vee lhd \end_inset - + \begin_inset Text \layout Standard @@ -8080,7 +2325,7 @@ lhd \end_inset - + \begin_inset Text \layout Standard @@ -8094,7 +2339,7 @@ bigcirc - + \begin_inset Text \layout Standard @@ -8106,7 +2351,7 @@ bigcirc \end_inset - + \begin_inset Text \layout Standard @@ -8118,7 +2363,7 @@ bigcirc circ \end_inset - + \begin_inset Text \layout Standard @@ -8130,7 +2375,7 @@ circ \end_inset - + \begin_inset Text \layout Standard @@ -8142,7 +2387,7 @@ circ wedge \end_inset - + \begin_inset Text \layout Standard @@ -8154,7 +2399,7 @@ wedge \end_inset - + \begin_inset Text \layout Standard @@ -8166,7 +2411,7 @@ wedge rhd \end_inset - + \begin_inset Text \layout Standard @@ -8178,7 +2423,7 @@ rhd \end_inset - + \begin_inset Text \layout Standard @@ -8192,7 +2437,7 @@ dagger - + \begin_inset Text \layout Standard @@ -8204,7 +2449,7 @@ dagger \end_inset - + \begin_inset Text \layout Standard @@ -8216,7 +2461,7 @@ dagger bullet \end_inset - + \begin_inset Text \layout Standard @@ -8228,7 +2473,7 @@ bullet \end_inset - + \begin_inset Text \layout Standard @@ -8240,7 +2485,7 @@ bullet setminus \end_inset - + \begin_inset Text \layout Standard @@ -8252,7 +2497,7 @@ setminus \end_inset - + \begin_inset Text \layout Standard @@ -8264,7 +2509,7 @@ setminus unlhd \end_inset - + \begin_inset Text \layout Standard @@ -8276,7 +2521,7 @@ unlhd \end_inset - + \begin_inset Text \layout Standard @@ -8290,7 +2535,7 @@ ddagger - + \begin_inset Text \layout Standard @@ -8302,7 +2547,7 @@ ddagger \end_inset - + \begin_inset Text \layout Standard @@ -8314,7 +2559,7 @@ ddagger cdot \end_inset - + \begin_inset Text \layout Standard @@ -8326,7 +2571,7 @@ cdot \end_inset - + \begin_inset Text \layout Standard @@ -8338,7 +2583,7 @@ cdot wr \end_inset - + \begin_inset Text \layout Standard @@ -8350,7 +2595,7 @@ wr \end_inset - + \begin_inset Text \layout Standard @@ -8362,7 +2607,7 @@ wr unrhd \end_inset - + \begin_inset Text \layout Standard @@ -8374,7 +2619,7 @@ unrhd \end_inset - + \begin_inset Text \layout Standard @@ -8401,7 +2646,7 @@ amalg \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -8412,18 +2657,18 @@ Relation symbols \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + - + \begin_inset Text \layout Standard @@ -8435,7 +2680,7 @@ Relation symbols \end_inset - + \begin_inset Text \layout Standard @@ -8449,7 +2694,7 @@ leq le \end_inset - + \begin_inset Text \layout Standard @@ -8461,7 +2706,7 @@ le \end_inset - + \begin_inset Text \layout Standard @@ -8473,7 +2718,7 @@ le geq \end_inset - + \begin_inset Text \layout Standard @@ -8485,7 +2730,7 @@ geq \end_inset - + \begin_inset Text \layout Standard @@ -8497,7 +2742,7 @@ geq equiv \end_inset - + \begin_inset Text \layout Standard @@ -8509,7 +2754,7 @@ equiv \end_inset - + \begin_inset Text \layout Standard @@ -8521,7 +2766,7 @@ equiv models \end_inset - + \begin_inset Text \layout Standard @@ -8533,7 +2778,7 @@ models \end_inset - + \begin_inset Text \layout Standard @@ -8547,7 +2792,7 @@ prec - + \begin_inset Text \layout Standard @@ -8559,7 +2804,7 @@ prec \end_inset - + \begin_inset Text \layout Standard @@ -8571,7 +2816,7 @@ prec succ \end_inset - + \begin_inset Text \layout Standard @@ -8583,7 +2828,7 @@ succ \end_inset - + \begin_inset Text \layout Standard @@ -8595,7 +2840,7 @@ succ sim \end_inset - + \begin_inset Text \layout Standard @@ -8607,7 +2852,7 @@ sim \end_inset - + \begin_inset Text \layout Standard @@ -8619,7 +2864,7 @@ sim perp \end_inset - + \begin_inset Text \layout Standard @@ -8631,7 +2876,7 @@ perp \end_inset - + \begin_inset Text \layout Standard @@ -8643,7 +2888,7 @@ perp preceq \end_inset - + \begin_inset Text \layout Standard @@ -8655,7 +2900,7 @@ preceq \end_inset - + \begin_inset Text \layout Standard @@ -8669,7 +2914,7 @@ succeq - + \begin_inset Text \layout Standard @@ -8681,7 +2926,7 @@ succeq \end_inset - + \begin_inset Text \layout Standard @@ -8693,7 +2938,7 @@ succeq simeq \end_inset - + \begin_inset Text \layout Standard @@ -8705,7 +2950,7 @@ simeq \end_inset - + \begin_inset Text \layout Standard @@ -8717,7 +2962,7 @@ simeq mid \end_inset - + \begin_inset Text \layout Standard @@ -8729,7 +2974,7 @@ mid \end_inset - + \begin_inset Text \layout Standard @@ -8741,7 +2986,7 @@ mid ll \end_inset - + \begin_inset Text \layout Standard @@ -8753,7 +2998,7 @@ ll \end_inset - + \begin_inset Text \layout Standard @@ -8765,7 +3010,7 @@ ll gg \end_inset - + \begin_inset Text \layout Standard @@ -8777,7 +3022,7 @@ gg \end_inset - + \begin_inset Text \layout Standard @@ -8791,7 +3036,7 @@ asymp - + \begin_inset Text \layout Standard @@ -8803,7 +3048,7 @@ asymp \end_inset - + \begin_inset Text \layout Standard @@ -8815,7 +3060,7 @@ asymp parallel \end_inset - + \begin_inset Text \layout Standard @@ -8827,7 +3072,7 @@ parallel \end_inset - + \begin_inset Text \layout Standard @@ -8839,7 +3084,7 @@ parallel subset \end_inset - + \begin_inset Text \layout Standard @@ -8851,7 +3096,7 @@ subset \end_inset - + \begin_inset Text \layout Standard @@ -8863,7 +3108,7 @@ subset supset \end_inset - + \begin_inset Text \layout Standard @@ -8875,7 +3120,7 @@ supset \end_inset - + \begin_inset Text \layout Standard @@ -8887,7 +3132,7 @@ supset approx \end_inset - + \begin_inset Text \layout Standard @@ -8899,7 +3144,7 @@ approx \end_inset - + \begin_inset Text \layout Standard @@ -8913,7 +3158,7 @@ bowtie - + \begin_inset Text \layout Standard @@ -8925,7 +3170,7 @@ bowtie \end_inset - + \begin_inset Text \layout Standard @@ -8937,7 +3182,7 @@ bowtie subseteq \end_inset - + \begin_inset Text \layout Standard @@ -8949,7 +3194,7 @@ subseteq \end_inset - + \begin_inset Text \layout Standard @@ -8961,7 +3206,7 @@ subseteq supseteq \end_inset - + \begin_inset Text \layout Standard @@ -8973,7 +3218,7 @@ supseteq \end_inset - + \begin_inset Text \layout Standard @@ -8985,7 +3230,7 @@ supseteq cong \end_inset - + \begin_inset Text \layout Standard @@ -8997,7 +3242,7 @@ cong \end_inset - + \begin_inset Text \layout Standard @@ -9009,7 +3254,7 @@ cong Join \end_inset - + \begin_inset Text \layout Standard @@ -9021,7 +3266,7 @@ Join \end_inset - + \begin_inset Text \layout Standard @@ -9035,7 +3280,7 @@ sqsubset - + \begin_inset Text \layout Standard @@ -9047,7 +3292,7 @@ sqsubset \end_inset - + \begin_inset Text \layout Standard @@ -9059,7 +3304,7 @@ sqsubset sqsupset \end_inset - + \begin_inset Text \layout Standard @@ -9071,7 +3316,7 @@ sqsupset \end_inset - + \begin_inset Text \layout Standard @@ -9083,7 +3328,7 @@ sqsupset neq \end_inset - + \begin_inset Text \layout Standard @@ -9095,7 +3340,7 @@ neq \end_inset - + \begin_inset Text \layout Standard @@ -9107,7 +3352,7 @@ neq smile \end_inset - + \begin_inset Text \layout Standard @@ -9119,7 +3364,7 @@ smile \end_inset - + \begin_inset Text \layout Standard @@ -9131,7 +3376,7 @@ smile sqsubseteq \end_inset - + \begin_inset Text \layout Standard @@ -9143,7 +3388,7 @@ sqsubseteq \end_inset - + \begin_inset Text \layout Standard @@ -9157,7 +3402,7 @@ sqsupseteq - + \begin_inset Text \layout Standard @@ -9169,7 +3414,7 @@ sqsupseteq \end_inset - + \begin_inset Text \layout Standard @@ -9181,7 +3426,7 @@ sqsupseteq doteq \end_inset - + \begin_inset Text \layout Standard @@ -9193,7 +3438,7 @@ doteq \end_inset - + \begin_inset Text \layout Standard @@ -9205,7 +3450,7 @@ doteq frown \end_inset - + \begin_inset Text \layout Standard @@ -9217,7 +3462,7 @@ frown \end_inset - + \begin_inset Text \layout Standard @@ -9229,7 +3474,7 @@ frown in \end_inset - + \begin_inset Text \layout Standard @@ -9241,7 +3486,7 @@ in \end_inset - + \begin_inset Text \layout Standard @@ -9253,7 +3498,7 @@ in ni \end_inset - + \begin_inset Text \layout Standard @@ -9265,7 +3510,7 @@ ni \end_inset - + \begin_inset Text \layout Standard @@ -9279,7 +3524,7 @@ propto - + \begin_inset Text \layout Standard @@ -9291,7 +3536,7 @@ propto \end_inset - + \begin_inset Text \layout Standard @@ -9301,7 +3546,7 @@ propto = \end_inset - + \begin_inset Text \layout Standard @@ -9313,7 +3558,7 @@ propto \end_inset - + \begin_inset Text \layout Standard @@ -9325,7 +3570,7 @@ propto vdash \end_inset - + \begin_inset Text \layout Standard @@ -9337,7 +3582,7 @@ vdash \end_inset - + \begin_inset Text \layout Standard @@ -9349,7 +3594,7 @@ vdash dashv \end_inset - + \begin_inset Text \layout Standard @@ -9361,7 +3606,7 @@ dashv \end_inset - + \begin_inset Text \layout Standard @@ -9371,7 +3616,7 @@ dashv < \end_inset - + \begin_inset Text \layout Standard @@ -9383,7 +3628,7 @@ dashv \end_inset - + \begin_inset Text \layout Standard @@ -9408,7 +3653,7 @@ dashv \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -9419,14 +3664,14 @@ Arrow symbols \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -9438,7 +3683,7 @@ Arrow symbols \end_inset - + \begin_inset Text \layout Standard @@ -9450,7 +3695,7 @@ Arrow symbols leftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9462,7 +3707,7 @@ leftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9474,7 +3719,7 @@ leftarrow longleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9486,7 +3731,7 @@ longleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9500,7 +3745,7 @@ uparrow - + \begin_inset Text \layout Standard @@ -9512,7 +3757,7 @@ uparrow \end_inset - + \begin_inset Text \layout Standard @@ -9524,7 +3769,7 @@ uparrow Leftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9536,7 +3781,7 @@ Leftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9548,7 +3793,7 @@ Leftarrow Longleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9560,7 +3805,7 @@ Longleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9574,7 +3819,7 @@ Uparrow - + \begin_inset Text \layout Standard @@ -9586,7 +3831,7 @@ Uparrow \end_inset - + \begin_inset Text \layout Standard @@ -9598,7 +3843,7 @@ Uparrow rightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9610,7 +3855,7 @@ rightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9622,7 +3867,7 @@ rightarrow longrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9634,7 +3879,7 @@ longrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9648,7 +3893,7 @@ downarrow - + \begin_inset Text \layout Standard @@ -9660,7 +3905,7 @@ downarrow \end_inset - + \begin_inset Text \layout Standard @@ -9672,7 +3917,7 @@ downarrow Rightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9684,7 +3929,7 @@ Rightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9696,7 +3941,7 @@ Rightarrow Longrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9708,7 +3953,7 @@ Longrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9722,7 +3967,7 @@ Downarrow - + \begin_inset Text \layout Standard @@ -9734,7 +3979,7 @@ Downarrow \end_inset - + \begin_inset Text \layout Standard @@ -9746,7 +3991,7 @@ Downarrow leftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9758,7 +4003,7 @@ leftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9770,7 +4015,7 @@ leftrightarrow longleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9782,7 +4027,7 @@ longleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9796,7 +4041,7 @@ updownarrow - + \begin_inset Text \layout Standard @@ -9808,7 +4053,7 @@ updownarrow \end_inset - + \begin_inset Text \layout Standard @@ -9820,7 +4065,7 @@ updownarrow Leftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9832,7 +4077,7 @@ Leftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9844,7 +4089,7 @@ Leftrightarrow Longleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9856,7 +4101,7 @@ Longleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -9870,7 +4115,7 @@ Updownarrow - + \begin_inset Text \layout Standard @@ -9882,7 +4127,7 @@ Updownarrow \end_inset - + \begin_inset Text \layout Standard @@ -9894,7 +4139,7 @@ Updownarrow mapsto \end_inset - + \begin_inset Text \layout Standard @@ -9906,7 +4151,7 @@ mapsto \end_inset - + \begin_inset Text \layout Standard @@ -9918,7 +4163,7 @@ mapsto longmapsto \end_inset - + \begin_inset Text \layout Standard @@ -9930,7 +4175,7 @@ longmapsto \end_inset - + \begin_inset Text \layout Standard @@ -9944,7 +4189,7 @@ nearrow - + \begin_inset Text \layout Standard @@ -9956,7 +4201,7 @@ nearrow \end_inset - + \begin_inset Text \layout Standard @@ -9968,7 +4213,7 @@ nearrow hookleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9980,7 +4225,7 @@ hookleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -9992,7 +4237,7 @@ hookleftarrow hookrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -10004,7 +4249,7 @@ hookrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -10018,7 +4263,7 @@ searrow - + \begin_inset Text \layout Standard @@ -10030,7 +4275,7 @@ searrow \end_inset - + \begin_inset Text \layout Standard @@ -10042,7 +4287,7 @@ searrow leftharpoonup \end_inset - + \begin_inset Text \layout Standard @@ -10054,7 +4299,7 @@ leftharpoonup \end_inset - + \begin_inset Text \layout Standard @@ -10066,7 +4311,7 @@ leftharpoonup rightharpoonup \end_inset - + \begin_inset Text \layout Standard @@ -10078,7 +4323,7 @@ rightharpoonup \end_inset - + \begin_inset Text \layout Standard @@ -10092,7 +4337,7 @@ swarrow - + \begin_inset Text \layout Standard @@ -10104,7 +4349,7 @@ swarrow \end_inset - + \begin_inset Text \layout Standard @@ -10116,7 +4361,7 @@ swarrow leftharpoondown \end_inset - + \begin_inset Text \layout Standard @@ -10128,7 +4373,7 @@ leftharpoondown \end_inset - + \begin_inset Text \layout Standard @@ -10140,7 +4385,7 @@ leftharpoondown rightharpoondown \end_inset - + \begin_inset Text \layout Standard @@ -10152,7 +4397,7 @@ rightharpoondown \end_inset - + \begin_inset Text \layout Standard @@ -10179,7 +4424,7 @@ nwarrow \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -10190,18 +4435,18 @@ Miscellaneous symbols \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + - + \begin_inset Text \layout Standard @@ -10213,7 +4458,7 @@ Miscellaneous symbols \end_inset - + \begin_inset Text \layout Standard @@ -10225,7 +4470,7 @@ Miscellaneous symbols ldots \end_inset - + \begin_inset Text \layout Standard @@ -10237,7 +4482,7 @@ ldots \end_inset - + \begin_inset Text \layout Standard @@ -10249,7 +4494,7 @@ ldots cdots \end_inset - + \begin_inset Text \layout Standard @@ -10261,7 +4506,7 @@ cdots \end_inset - + \begin_inset Text \layout Standard @@ -10273,7 +4518,7 @@ cdots vdots \end_inset - + \begin_inset Text \layout Standard @@ -10285,7 +4530,7 @@ vdots \end_inset - + \begin_inset Text \layout Standard @@ -10297,7 +4542,7 @@ vdots ddots \end_inset - + \begin_inset Text \layout Standard @@ -10309,7 +4554,7 @@ ddots \end_inset - + \begin_inset Text \layout Standard @@ -10323,7 +4568,7 @@ aleph - + \begin_inset Text \layout Standard @@ -10335,7 +4580,7 @@ aleph \end_inset - + \begin_inset Text \layout Standard @@ -10347,7 +4592,7 @@ aleph prime \end_inset - + \begin_inset Text \layout Standard @@ -10359,7 +4604,7 @@ prime \end_inset - + \begin_inset Text \layout Standard @@ -10371,7 +4616,7 @@ prime forall \end_inset - + \begin_inset Text \layout Standard @@ -10383,7 +4628,7 @@ forall \end_inset - + \begin_inset Text \layout Standard @@ -10395,7 +4640,7 @@ forall infty \end_inset - + \begin_inset Text \layout Standard @@ -10407,7 +4652,7 @@ infty \end_inset - + \begin_inset Text \layout Standard @@ -10419,7 +4664,7 @@ infty hbar \end_inset - + \begin_inset Text \layout Standard @@ -10431,7 +4676,7 @@ hbar \end_inset - + \begin_inset Text \layout Standard @@ -10445,7 +4690,7 @@ emptyset - + \begin_inset Text \layout Standard @@ -10457,7 +4702,7 @@ emptyset \end_inset - + \begin_inset Text \layout Standard @@ -10469,7 +4714,7 @@ emptyset exists \end_inset - + \begin_inset Text \layout Standard @@ -10481,7 +4726,7 @@ exists \end_inset - + \begin_inset Text \layout Standard @@ -10493,7 +4738,7 @@ exists nabla \end_inset - + \begin_inset Text \layout Standard @@ -10505,7 +4750,7 @@ nabla \end_inset - + \begin_inset Text \layout Standard @@ -10517,7 +4762,7 @@ nabla surd \end_inset - + \begin_inset Text \layout Standard @@ -10529,7 +4774,7 @@ surd \end_inset - + \begin_inset Text \layout Standard @@ -10541,7 +4786,7 @@ surd Box \end_inset - + \begin_inset Text \layout Standard @@ -10553,7 +4798,7 @@ Box \end_inset - + \begin_inset Text \layout Standard @@ -10567,7 +4812,7 @@ triangle - + \begin_inset Text \layout Standard @@ -10579,7 +4824,7 @@ triangle \end_inset - + \begin_inset Text \layout Standard @@ -10591,7 +4836,7 @@ triangle Diamond \end_inset - + \begin_inset Text \layout Standard @@ -10603,7 +4848,7 @@ Diamond \end_inset - + \begin_inset Text \layout Standard @@ -10615,7 +4860,7 @@ Diamond imath \end_inset - + \begin_inset Text \layout Standard @@ -10627,7 +4872,7 @@ imath \end_inset - + \begin_inset Text \layout Standard @@ -10639,7 +4884,7 @@ imath jmath \end_inset - + \begin_inset Text \layout Standard @@ -10651,7 +4896,7 @@ jmath \end_inset - + \begin_inset Text \layout Standard @@ -10663,7 +4908,7 @@ jmath ell \end_inset - + \begin_inset Text \layout Standard @@ -10675,7 +4920,7 @@ ell \end_inset - + \begin_inset Text \layout Standard @@ -10689,7 +4934,7 @@ neg - + \begin_inset Text \layout Standard @@ -10701,7 +4946,7 @@ neg \end_inset - + \begin_inset Text \layout Standard @@ -10713,7 +4958,7 @@ neg top \end_inset - + \begin_inset Text \layout Standard @@ -10725,7 +4970,7 @@ top \end_inset - + \begin_inset Text \layout Standard @@ -10737,7 +4982,7 @@ top flat \end_inset - + \begin_inset Text \layout Standard @@ -10749,7 +4994,7 @@ flat \end_inset - + \begin_inset Text \layout Standard @@ -10761,7 +5006,7 @@ flat natural \end_inset - + \begin_inset Text \layout Standard @@ -10773,7 +5018,7 @@ natural \end_inset - + \begin_inset Text \layout Standard @@ -10785,7 +5030,7 @@ natural sharp \end_inset - + \begin_inset Text \layout Standard @@ -10797,7 +5042,7 @@ sharp \end_inset - + \begin_inset Text \layout Standard @@ -10811,7 +5056,7 @@ wp - + \begin_inset Text \layout Standard @@ -10823,7 +5068,7 @@ wp \end_inset - + \begin_inset Text \layout Standard @@ -10835,7 +5080,7 @@ wp bot \end_inset - + \begin_inset Text \layout Standard @@ -10847,7 +5092,7 @@ bot \end_inset - + \begin_inset Text \layout Standard @@ -10859,7 +5104,7 @@ bot clubsuit \end_inset - + \begin_inset Text \layout Standard @@ -10871,7 +5116,7 @@ clubsuit \end_inset - + \begin_inset Text \layout Standard @@ -10883,7 +5128,7 @@ clubsuit diamondsuit \end_inset - + \begin_inset Text \layout Standard @@ -10895,7 +5140,7 @@ diamondsuit \end_inset - + \begin_inset Text \layout Standard @@ -10907,7 +5152,7 @@ diamondsuit heartsuit \end_inset - + \begin_inset Text \layout Standard @@ -10919,7 +5164,7 @@ heartsuit \end_inset - + \begin_inset Text \layout Standard @@ -10933,7 +5178,7 @@ spadesuit - + \begin_inset Text \layout Standard @@ -10945,7 +5190,7 @@ spadesuit \end_inset - + \begin_inset Text \layout Standard @@ -10957,7 +5202,7 @@ spadesuit mho \end_inset - + \begin_inset Text \layout Standard @@ -10969,7 +5214,7 @@ mho \end_inset - + \begin_inset Text \layout Standard @@ -10981,7 +5226,7 @@ mho Re \end_inset - + \begin_inset Text \layout Standard @@ -10993,7 +5238,7 @@ Re \end_inset - + \begin_inset Text \layout Standard @@ -11005,7 +5250,7 @@ Re Im \end_inset - + \begin_inset Text \layout Standard @@ -11017,7 +5262,7 @@ Im \end_inset - + \begin_inset Text \layout Standard @@ -11029,7 +5274,7 @@ Im angle \end_inset - + \begin_inset Text \layout Standard @@ -11041,7 +5286,7 @@ angle \end_inset - + \begin_inset Text \layout Standard @@ -11068,7 +5313,7 @@ partial \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -11079,18 +5324,18 @@ Variable-sized symbols \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + - + \begin_inset Text \layout Standard @@ -11102,7 +5347,7 @@ Variable-sized symbols \end_inset - + \begin_inset Text \layout Standard @@ -11114,7 +5359,7 @@ Variable-sized symbols sum \end_inset - + \begin_inset Text \layout Standard @@ -11126,7 +5371,7 @@ sum \end_inset - + \begin_inset Text \layout Standard @@ -11138,7 +5383,7 @@ sum prod \end_inset - + \begin_inset Text \layout Standard @@ -11150,7 +5395,7 @@ prod \end_inset - + \begin_inset Text \layout Standard @@ -11162,7 +5407,7 @@ prod coprod \end_inset - + \begin_inset Text \layout Standard @@ -11174,7 +5419,7 @@ coprod \end_inset - + \begin_inset Text \layout Standard @@ -11186,7 +5431,7 @@ coprod int \end_inset - + \begin_inset Text \layout Standard @@ -11198,7 +5443,7 @@ int \end_inset - + \begin_inset Text \layout Standard @@ -11212,7 +5457,7 @@ oint - + \begin_inset Text \layout Standard @@ -11224,7 +5469,7 @@ oint \end_inset - + \begin_inset Text \layout Standard @@ -11236,7 +5481,7 @@ oint bigcap \end_inset - + \begin_inset Text \layout Standard @@ -11248,7 +5493,7 @@ bigcap \end_inset - + \begin_inset Text \layout Standard @@ -11260,7 +5505,7 @@ bigcap bigcup \end_inset - + \begin_inset Text \layout Standard @@ -11272,7 +5517,7 @@ bigcup \end_inset - + \begin_inset Text \layout Standard @@ -11284,7 +5529,7 @@ bigcup bigsqcup \end_inset - + \begin_inset Text \layout Standard @@ -11296,7 +5541,7 @@ bigsqcup \end_inset - + \begin_inset Text \layout Standard @@ -11308,7 +5553,7 @@ bigsqcup bigvee \end_inset - + \begin_inset Text \layout Standard @@ -11320,7 +5565,7 @@ bigvee \end_inset - + \begin_inset Text \layout Standard @@ -11334,7 +5579,7 @@ bigwedge - + \begin_inset Text \layout Standard @@ -11346,7 +5591,7 @@ bigwedge \end_inset - + \begin_inset Text \layout Standard @@ -11358,7 +5603,7 @@ bigwedge bigodot \end_inset - + \begin_inset Text \layout Standard @@ -11370,7 +5615,7 @@ bigodot \end_inset - + \begin_inset Text \layout Standard @@ -11382,7 +5627,7 @@ bigodot bigotimes \end_inset - + \begin_inset Text \layout Standard @@ -11394,7 +5639,7 @@ bigotimes \end_inset - + \begin_inset Text \layout Standard @@ -11406,7 +5651,7 @@ bigotimes bigoplus \end_inset - + \begin_inset Text \layout Standard @@ -11418,7 +5663,7 @@ bigoplus \end_inset - + \begin_inset Text \layout Standard @@ -11430,14 +5675,14 @@ bigoplus biguplus \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -11459,7 +5704,7 @@ biguplus \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -11470,16 +5715,16 @@ Log-like symbols \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -11491,7 +5736,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11503,7 +5748,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11515,7 +5760,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11527,7 +5772,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11539,7 +5784,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11551,7 +5796,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11563,7 +5808,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11577,7 +5822,7 @@ Log-like symbols - + \begin_inset Text \layout Standard @@ -11589,7 +5834,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11601,7 +5846,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11613,7 +5858,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11625,7 +5870,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11637,7 +5882,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11649,7 +5894,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11661,7 +5906,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11675,7 +5920,7 @@ Log-like symbols - + \begin_inset Text \layout Standard @@ -11687,7 +5932,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11699,7 +5944,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11711,7 +5956,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11723,7 +5968,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11735,7 +5980,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11747,7 +5992,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11759,7 +6004,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11773,7 +6018,7 @@ Log-like symbols - + \begin_inset Text \layout Standard @@ -11785,7 +6030,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11797,7 +6042,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11809,7 +6054,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11821,7 +6066,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11833,7 +6078,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11845,7 +6090,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11857,7 +6102,7 @@ Log-like symbols \end_inset - + \begin_inset Text \layout Standard @@ -11884,7 +6129,7 @@ Log-like symbols \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -11895,16 +6140,16 @@ Delimiters \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -11916,7 +6161,7 @@ Delimiters \end_inset - + \begin_inset Text \layout Standard @@ -11928,7 +6173,7 @@ Delimiters uparrow \end_inset - + \begin_inset Text \layout Standard @@ -11940,7 +6185,7 @@ uparrow \end_inset - + \begin_inset Text \layout Standard @@ -11952,7 +6197,7 @@ uparrow Uparrow \end_inset - + \begin_inset Text \layout Standard @@ -11964,7 +6209,7 @@ Uparrow \end_inset - + \begin_inset Text \layout Standard @@ -11976,7 +6221,7 @@ Uparrow downarrow \end_inset - + \begin_inset Text \layout Standard @@ -11988,7 +6233,7 @@ downarrow \end_inset - + \begin_inset Text \layout Standard @@ -12002,7 +6247,7 @@ Downarrow - + \begin_inset Text \layout Standard @@ -12014,7 +6259,7 @@ Downarrow \end_inset - + \begin_inset Text \layout Standard @@ -12026,7 +6271,7 @@ Downarrow { \end_inset - + \begin_inset Text \layout Standard @@ -12038,7 +6283,7 @@ Downarrow \end_inset - + \begin_inset Text \layout Standard @@ -12050,7 +6295,7 @@ Downarrow } \end_inset - + \begin_inset Text \layout Standard @@ -12062,7 +6307,7 @@ Downarrow \end_inset - + \begin_inset Text \layout Standard @@ -12074,7 +6319,7 @@ Downarrow updownarrow \end_inset - + \begin_inset Text \layout Standard @@ -12086,7 +6331,7 @@ updownarrow \end_inset - + \begin_inset Text \layout Standard @@ -12100,7 +6345,7 @@ Updownarrow - + \begin_inset Text \layout Standard @@ -12112,7 +6357,7 @@ Updownarrow \end_inset - + \begin_inset Text \layout Standard @@ -12124,7 +6369,7 @@ Updownarrow lfloor \end_inset - + \begin_inset Text \layout Standard @@ -12136,7 +6381,7 @@ lfloor \end_inset - + \begin_inset Text \layout Standard @@ -12148,7 +6393,7 @@ lfloor rfloor \end_inset - + \begin_inset Text \layout Standard @@ -12160,7 +6405,7 @@ rfloor \end_inset - + \begin_inset Text \layout Standard @@ -12172,7 +6417,7 @@ rfloor lceil \end_inset - + \begin_inset Text \layout Standard @@ -12184,7 +6429,7 @@ lceil \end_inset - + \begin_inset Text \layout Standard @@ -12198,7 +6443,7 @@ rceil - + \begin_inset Text \layout Standard @@ -12210,7 +6455,7 @@ rceil \end_inset - + \begin_inset Text \layout Standard @@ -12222,7 +6467,7 @@ rceil langle \end_inset - + \begin_inset Text \layout Standard @@ -12234,7 +6479,7 @@ langle \end_inset - + \begin_inset Text \layout Standard @@ -12246,7 +6491,7 @@ langle rangle \end_inset - + \begin_inset Text \layout Standard @@ -12258,7 +6503,7 @@ rangle \end_inset - + \begin_inset Text \layout Standard @@ -12268,7 +6513,7 @@ rangle / \end_inset - + \begin_inset Text \layout Standard @@ -12280,7 +6525,7 @@ rangle \end_inset - + \begin_inset Text \layout Standard @@ -12294,7 +6539,7 @@ backslash - + \begin_inset Text \layout Standard @@ -12306,7 +6551,7 @@ backslash \end_inset - + \begin_inset Text \layout Standard @@ -12316,7 +6561,7 @@ backslash | \end_inset - + \begin_inset Text \layout Standard @@ -12328,7 +6573,7 @@ backslash \end_inset - + \begin_inset Text \layout Standard @@ -12340,28 +6585,28 @@ backslash | \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -12383,7 +6628,7 @@ backslash \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -12394,16 +6639,16 @@ Large delimiters \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -12415,7 +6660,7 @@ Large delimiters \end_inset - + \begin_inset Text \layout Standard @@ -12427,7 +6672,7 @@ Large delimiters rmoustache \end_inset - + \begin_inset Text \layout Standard @@ -12439,7 +6684,7 @@ rmoustache \end_inset - + \begin_inset Text \layout Standard @@ -12451,7 +6696,7 @@ rmoustache lmoustache \end_inset - + \begin_inset Text \layout Standard @@ -12463,7 +6708,7 @@ lmoustache \end_inset - + \begin_inset Text \layout Standard @@ -12475,7 +6720,7 @@ lmoustache rgroup \end_inset - + \begin_inset Text \layout Standard @@ -12487,7 +6732,7 @@ rgroup \end_inset - + \begin_inset Text \layout Standard @@ -12501,7 +6746,7 @@ lgroup - + \begin_inset Text \layout Standard @@ -12513,7 +6758,7 @@ lgroup \end_inset - + \begin_inset Text \layout Standard @@ -12525,7 +6770,7 @@ lgroup arrowvert \end_inset - + \begin_inset Text \layout Standard @@ -12537,7 +6782,7 @@ arrowvert \end_inset - + \begin_inset Text \layout Standard @@ -12549,7 +6794,7 @@ arrowvert Arrowvert \end_inset - + \begin_inset Text \layout Standard @@ -12561,7 +6806,7 @@ Arrowvert \end_inset - + \begin_inset Text \layout Standard @@ -12573,14 +6818,14 @@ Arrowvert bracevert \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -12602,7 +6847,7 @@ bracevert \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -12613,12 +6858,12 @@ LaTeX math constructs \begin_inset Tabular - - - - + + + + - + \begin_inset Text \layout Standard @@ -12630,7 +6875,7 @@ LaTeX math constructs \end_inset - + \begin_inset Text \layout Standard @@ -12642,7 +6887,7 @@ LaTeX math constructs widetilde{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12654,7 +6899,7 @@ widetilde{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12668,7 +6913,7 @@ widehat{abc} - + \begin_inset Text \layout Standard @@ -12680,7 +6925,7 @@ widehat{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12692,7 +6937,7 @@ widehat{abc} overleftarrow{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12704,7 +6949,7 @@ overleftarrow{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12718,7 +6963,7 @@ overrightarrow{abc} - + \begin_inset Text \layout Standard @@ -12730,7 +6975,7 @@ overrightarrow{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12742,7 +6987,7 @@ overrightarrow{abc} overline{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12754,7 +6999,7 @@ overline{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12768,7 +7013,7 @@ underline{abc} - + \begin_inset Text \layout Standard @@ -12780,7 +7025,7 @@ underline{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12792,7 +7037,7 @@ underline{abc} overbrace{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12804,7 +7049,7 @@ overbrace{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12818,7 +7063,7 @@ underbrace{abc} - + \begin_inset Text \layout Standard @@ -12830,7 +7075,7 @@ underbrace{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12842,7 +7087,7 @@ underbrace{abc} sqrt{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12854,7 +7099,7 @@ sqrt{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12870,7 +7115,7 @@ root3{abc} - + \begin_inset Text \layout Standard @@ -12882,7 +7127,7 @@ root3{abc} \end_inset - + \begin_inset Text \layout Standard @@ -12892,7 +7137,7 @@ root3{abc} f' \end_inset - + \begin_inset Text \layout Standard @@ -12904,7 +7149,7 @@ f' \end_inset - + \begin_inset Text \layout Standard @@ -12928,27 +7173,10 @@ frac{abc}{xyz} \layout Standard -\begin_inset Note -collapsed false - -\layout Standard - -If the floats in this note are taken out of it, then you'll get LaTeX errors - when trying to print the document. - If the -\emph on -contents -\emph default - of the floats below are taken out, all is fine. - I conclude, therefore, that the problem lies with this many floats not - the contents. -\layout Standard - - \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -12959,18 +7187,18 @@ AMS Greek and Hebrew \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + - + \begin_inset Text \layout Standard @@ -12982,7 +7210,7 @@ AMS Greek and Hebrew \end_inset - + \begin_inset Text \layout Standard @@ -12994,7 +7222,7 @@ AMS Greek and Hebrew digamma \end_inset - + \begin_inset Text \layout Standard @@ -13006,7 +7234,7 @@ digamma \end_inset - + \begin_inset Text \layout Standard @@ -13018,7 +7246,7 @@ digamma varkappa \end_inset - + \begin_inset Text \layout Standard @@ -13030,7 +7258,7 @@ varkappa \end_inset - + \begin_inset Text \layout Standard @@ -13042,7 +7270,7 @@ varkappa beth \end_inset - + \begin_inset Text \layout Standard @@ -13054,7 +7282,7 @@ beth \end_inset - + \begin_inset Text \layout Standard @@ -13066,7 +7294,7 @@ beth daleth \end_inset - + \begin_inset Text \layout Standard @@ -13078,7 +7306,7 @@ daleth \end_inset - + \begin_inset Text \layout Standard @@ -13105,7 +7333,7 @@ gimel \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -13116,16 +7344,16 @@ AMS delimiters \begin_inset Tabular - - - - - - - - + + + + + + + + - + \begin_inset Text \layout Standard @@ -13137,7 +7365,7 @@ AMS delimiters \end_inset - + \begin_inset Text \layout Standard @@ -13149,7 +7377,7 @@ AMS delimiters ulcorner \end_inset - + \begin_inset Text \layout Standard @@ -13161,7 +7389,7 @@ ulcorner \end_inset - + \begin_inset Text \layout Standard @@ -13173,7 +7401,7 @@ ulcorner urcorner \end_inset - + \begin_inset Text \layout Standard @@ -13185,7 +7413,7 @@ urcorner \end_inset - + \begin_inset Text \layout Standard @@ -13197,7 +7425,7 @@ urcorner llcorner \end_inset - + \begin_inset Text \layout Standard @@ -13209,7 +7437,7 @@ llcorner \end_inset - + \begin_inset Text \layout Standard @@ -13236,7 +7464,7 @@ lrcorner \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -13247,14 +7475,14 @@ AMS arrows \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -13266,7 +7494,7 @@ AMS arrows \end_inset - + \begin_inset Text \layout Standard @@ -13278,7 +7506,7 @@ AMS arrows dashrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -13290,7 +7518,7 @@ dashrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -13302,7 +7530,7 @@ dashrightarrow dashleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -13314,7 +7542,7 @@ dashleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -13328,7 +7556,7 @@ leftleftarrows - + \begin_inset Text \layout Standard @@ -13340,7 +7568,7 @@ leftleftarrows \end_inset - + \begin_inset Text \layout Standard @@ -13352,7 +7580,7 @@ leftleftarrows leftrightarrows \end_inset - + \begin_inset Text \layout Standard @@ -13364,7 +7592,7 @@ leftrightarrows \end_inset - + \begin_inset Text \layout Standard @@ -13376,7 +7604,7 @@ leftrightarrows Lleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -13388,7 +7616,7 @@ Lleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -13402,19 +7630,19 @@ twoheadleftarrow - + \begin_inset Text \layout Standard -\begin_inset Formula $\leftarrowall $ +\begin_inset Formula $\leftarrowtail $ \end_inset \end_inset - + \begin_inset Text \layout Standard @@ -13423,10 +7651,10 @@ twoheadleftarrow \family typewriter \backslash -leftarrowall +leftarrowtail \end_inset - + \begin_inset Text \layout Standard @@ -13438,7 +7666,7 @@ leftarrowall \end_inset - + \begin_inset Text \layout Standard @@ -13450,7 +7678,7 @@ leftarrowall looparrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13462,7 +7690,7 @@ looparrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13476,7 +7704,7 @@ leftrightharpoons - + \begin_inset Text \layout Standard @@ -13488,7 +7716,7 @@ leftrightharpoons \end_inset - + \begin_inset Text \layout Standard @@ -13500,7 +7728,7 @@ leftrightharpoons curvearrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13512,7 +7740,7 @@ curvearrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13524,7 +7752,7 @@ curvearrowleft circlearrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13536,7 +7764,7 @@ circlearrowleft \end_inset - + \begin_inset Text \layout Standard @@ -13550,7 +7778,7 @@ Lsh - + \begin_inset Text \layout Standard @@ -13562,7 +7790,7 @@ Lsh \end_inset - + \begin_inset Text \layout Standard @@ -13574,7 +7802,7 @@ Lsh upuparrows \end_inset - + \begin_inset Text \layout Standard @@ -13586,7 +7814,7 @@ upuparrows \end_inset - + \begin_inset Text \layout Standard @@ -13598,7 +7826,7 @@ upuparrows upharpoonleft \end_inset - + \begin_inset Text \layout Standard @@ -13610,7 +7838,7 @@ upharpoonleft \end_inset - + \begin_inset Text \layout Standard @@ -13624,7 +7852,7 @@ downharpoonleft - + \begin_inset Text \layout Standard @@ -13636,7 +7864,7 @@ downharpoonleft \end_inset - + \begin_inset Text \layout Standard @@ -13648,7 +7876,7 @@ downharpoonleft multimap \end_inset - + \begin_inset Text \layout Standard @@ -13660,7 +7888,7 @@ multimap \end_inset - + \begin_inset Text \layout Standard @@ -13672,7 +7900,7 @@ multimap leftrightsquigarrow \end_inset - + \begin_inset Text \layout Standard @@ -13684,7 +7912,7 @@ leftrightsquigarrow \end_inset - + \begin_inset Text \layout Standard @@ -13698,7 +7926,7 @@ rightrightarrows - + \begin_inset Text \layout Standard @@ -13710,7 +7938,7 @@ rightrightarrows \end_inset - + \begin_inset Text \layout Standard @@ -13722,7 +7950,7 @@ rightrightarrows rightleftarrows \end_inset - + \begin_inset Text \layout Standard @@ -13734,7 +7962,7 @@ rightleftarrows \end_inset - + \begin_inset Text \layout Standard @@ -13746,7 +7974,7 @@ rightleftarrows rightrightarrows \end_inset - + \begin_inset Text \layout Standard @@ -13758,7 +7986,7 @@ rightrightarrows \end_inset - + \begin_inset Text \layout Standard @@ -13772,7 +8000,7 @@ rightleftarrows - + \begin_inset Text \layout Standard @@ -13784,7 +8012,7 @@ rightleftarrows \end_inset - + \begin_inset Text \layout Standard @@ -13796,7 +8024,7 @@ rightleftarrows twoheadrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -13808,7 +8036,7 @@ twoheadrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -13820,7 +8048,7 @@ twoheadrightarrow rightarrowtail \end_inset - + \begin_inset Text \layout Standard @@ -13832,7 +8060,7 @@ rightarrowtail \end_inset - + \begin_inset Text \layout Standard @@ -13846,7 +8074,7 @@ looparrowright - + \begin_inset Text \layout Standard @@ -13858,7 +8086,7 @@ looparrowright \end_inset - + \begin_inset Text \layout Standard @@ -13870,7 +8098,7 @@ looparrowright rightleftharpoons \end_inset - + \begin_inset Text \layout Standard @@ -13882,7 +8110,7 @@ rightleftharpoons \end_inset - + \begin_inset Text \layout Standard @@ -13894,7 +8122,7 @@ rightleftharpoons curvearrowright \end_inset - + \begin_inset Text \layout Standard @@ -13906,7 +8134,7 @@ curvearrowright \end_inset - + \begin_inset Text \layout Standard @@ -13920,7 +8148,7 @@ circlearrowright - + \begin_inset Text \layout Standard @@ -13932,7 +8160,7 @@ circlearrowright \end_inset - + \begin_inset Text \layout Standard @@ -13944,7 +8172,7 @@ circlearrowright Rsh \end_inset - + \begin_inset Text \layout Standard @@ -13956,7 +8184,7 @@ Rsh \end_inset - + \begin_inset Text \layout Standard @@ -13968,7 +8196,7 @@ Rsh downdownarrows \end_inset - + \begin_inset Text \layout Standard @@ -13980,7 +8208,7 @@ downdownarrows \end_inset - + \begin_inset Text \layout Standard @@ -13994,7 +8222,7 @@ upharpoonright - + \begin_inset Text \layout Standard @@ -14006,7 +8234,7 @@ upharpoonright \end_inset - + \begin_inset Text \layout Standard @@ -14018,7 +8246,7 @@ upharpoonright downharpoonright \end_inset - + \begin_inset Text \layout Standard @@ -14030,7 +8258,7 @@ downharpoonright \end_inset - + \begin_inset Text \layout Standard @@ -14042,14 +8270,14 @@ downharpoonright rightsquigarrow \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -14071,7 +8299,7 @@ rightsquigarrow \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -14082,14 +8310,14 @@ AMS negated arrows \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -14101,7 +8329,7 @@ AMS negated arrows \end_inset - + \begin_inset Text \layout Standard @@ -14113,7 +8341,7 @@ AMS negated arrows nleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -14125,7 +8353,7 @@ nleftarrow \end_inset - + \begin_inset Text \layout Standard @@ -14137,7 +8365,7 @@ nleftarrow nrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14149,7 +8377,7 @@ nrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14163,7 +8391,7 @@ nLeftarrow - + \begin_inset Text \layout Standard @@ -14175,7 +8403,7 @@ nLeftarrow \end_inset - + \begin_inset Text \layout Standard @@ -14187,7 +8415,7 @@ nLeftarrow nRightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14199,7 +8427,7 @@ nRightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14211,7 +8439,7 @@ nRightarrow nleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14223,7 +8451,7 @@ nleftrightarrow \end_inset - + \begin_inset Text \layout Standard @@ -14250,7 +8478,7 @@ nLeftrightarrow \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -14261,14 +8489,14 @@ AMS binary relations \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -14280,7 +8508,7 @@ AMS binary relations \end_inset - + \begin_inset Text \layout Standard @@ -14292,7 +8520,7 @@ AMS binary relations leqq \end_inset - + \begin_inset Text \layout Standard @@ -14304,7 +8532,7 @@ leqq \end_inset - + \begin_inset Text \layout Standard @@ -14316,7 +8544,7 @@ leqq leqslant \end_inset - + \begin_inset Text \layout Standard @@ -14328,7 +8556,7 @@ leqslant \end_inset - + \begin_inset Text \layout Standard @@ -14342,7 +8570,7 @@ eqslantless - + \begin_inset Text \layout Standard @@ -14354,7 +8582,7 @@ eqslantless \end_inset - + \begin_inset Text \layout Standard @@ -14366,7 +8594,7 @@ eqslantless lesssim \end_inset - + \begin_inset Text \layout Standard @@ -14378,7 +8606,7 @@ lesssim \end_inset - + \begin_inset Text \layout Standard @@ -14390,7 +8618,7 @@ lesssim lessapprox \end_inset - + \begin_inset Text \layout Standard @@ -14402,7 +8630,7 @@ lessapprox \end_inset - + \begin_inset Text \layout Standard @@ -14416,7 +8644,7 @@ approxeq - + \begin_inset Text \layout Standard @@ -14428,7 +8656,7 @@ approxeq \end_inset - + \begin_inset Text \layout Standard @@ -14440,7 +8668,7 @@ approxeq lessdot \end_inset - + \begin_inset Text \layout Standard @@ -14452,7 +8680,7 @@ lessdot \end_inset - + \begin_inset Text \layout Standard @@ -14464,7 +8692,7 @@ lessdot lll \end_inset - + \begin_inset Text \layout Standard @@ -14476,7 +8704,7 @@ lll \end_inset - + \begin_inset Text \layout Standard @@ -14490,7 +8718,7 @@ lessgtr - + \begin_inset Text \layout Standard @@ -14502,7 +8730,7 @@ lessgtr \end_inset - + \begin_inset Text \layout Standard @@ -14514,7 +8742,7 @@ lessgtr lesseqgtr \end_inset - + \begin_inset Text \layout Standard @@ -14526,7 +8754,7 @@ lesseqgtr \end_inset - + \begin_inset Text \layout Standard @@ -14538,7 +8766,7 @@ lesseqgtr lesseqqgtr \end_inset - + \begin_inset Text \layout Standard @@ -14550,7 +8778,7 @@ lesseqqgtr \end_inset - + \begin_inset Text \layout Standard @@ -14564,7 +8792,7 @@ doteqdot - + \begin_inset Text \layout Standard @@ -14576,7 +8804,7 @@ doteqdot \end_inset - + \begin_inset Text \layout Standard @@ -14588,7 +8816,7 @@ doteqdot risingdotseq \end_inset - + \begin_inset Text \layout Standard @@ -14600,7 +8828,7 @@ risingdotseq \end_inset - + \begin_inset Text \layout Standard @@ -14612,7 +8840,7 @@ risingdotseq fallingdotseq \end_inset - + \begin_inset Text \layout Standard @@ -14624,7 +8852,7 @@ fallingdotseq \end_inset - + \begin_inset Text \layout Standard @@ -14638,7 +8866,7 @@ backsim - + \begin_inset Text \layout Standard @@ -14650,7 +8878,7 @@ backsim \end_inset - + \begin_inset Text \layout Standard @@ -14662,7 +8890,7 @@ backsim backsimeq \end_inset - + \begin_inset Text \layout Standard @@ -14674,7 +8902,7 @@ backsimeq \end_inset - + \begin_inset Text \layout Standard @@ -14686,7 +8914,7 @@ backsimeq subseteqq \end_inset - + \begin_inset Text \layout Standard @@ -14698,7 +8926,7 @@ subseteqq \end_inset - + \begin_inset Text \layout Standard @@ -14712,7 +8940,7 @@ Subset - + \begin_inset Text \layout Standard @@ -14724,7 +8952,7 @@ Subset \end_inset - + \begin_inset Text \layout Standard @@ -14736,7 +8964,7 @@ Subset sqsubset \end_inset - + \begin_inset Text \layout Standard @@ -14748,7 +8976,7 @@ sqsubset \end_inset - + \begin_inset Text \layout Standard @@ -14760,7 +8988,7 @@ sqsubset preccurlyeq \end_inset - + \begin_inset Text \layout Standard @@ -14772,7 +9000,7 @@ preccurlyeq \end_inset - + \begin_inset Text \layout Standard @@ -14786,7 +9014,7 @@ curlyeqprec - + \begin_inset Text \layout Standard @@ -14798,7 +9026,7 @@ curlyeqprec \end_inset - + \begin_inset Text \layout Standard @@ -14810,7 +9038,7 @@ curlyeqprec precsim \end_inset - + \begin_inset Text \layout Standard @@ -14822,7 +9050,7 @@ precsim \end_inset - + \begin_inset Text \layout Standard @@ -14834,7 +9062,7 @@ precsim precapprox \end_inset - + \begin_inset Text \layout Standard @@ -14846,7 +9074,7 @@ precapprox \end_inset - + \begin_inset Text \layout Standard @@ -14860,7 +9088,7 @@ vartriangleleft - + \begin_inset Text \layout Standard @@ -14872,7 +9100,7 @@ vartriangleleft \end_inset - + \begin_inset Text \layout Standard @@ -14884,7 +9112,7 @@ vartriangleleft trianglelefteq \end_inset - + \begin_inset Text \layout Standard @@ -14896,7 +9124,7 @@ trianglelefteq \end_inset - + \begin_inset Text \layout Standard @@ -14908,7 +9136,7 @@ trianglelefteq vDash \end_inset - + \begin_inset Text \layout Standard @@ -14920,7 +9148,7 @@ vDash \end_inset - + \begin_inset Text \layout Standard @@ -14934,7 +9162,7 @@ Vvdash - + \begin_inset Text \layout Standard @@ -14946,7 +9174,7 @@ Vvdash \end_inset - + \begin_inset Text \layout Standard @@ -14958,7 +9186,7 @@ Vvdash smallsmile \end_inset - + \begin_inset Text \layout Standard @@ -14970,7 +9198,7 @@ smallsmile \end_inset - + \begin_inset Text \layout Standard @@ -14982,7 +9210,7 @@ smallsmile smallfrown \end_inset - + \begin_inset Text \layout Standard @@ -14994,7 +9222,7 @@ smallfrown \end_inset - + \begin_inset Text \layout Standard @@ -15008,7 +9236,7 @@ bumpeq - + \begin_inset Text \layout Standard @@ -15020,7 +9248,7 @@ bumpeq \end_inset - + \begin_inset Text \layout Standard @@ -15032,7 +9260,7 @@ bumpeq Bumpeq \end_inset - + \begin_inset Text \layout Standard @@ -15044,7 +9272,7 @@ Bumpeq \end_inset - + \begin_inset Text \layout Standard @@ -15056,7 +9284,7 @@ Bumpeq geqq \end_inset - + \begin_inset Text \layout Standard @@ -15068,7 +9296,7 @@ geqq \end_inset - + \begin_inset Text \layout Standard @@ -15082,7 +9310,7 @@ geqslant - + \begin_inset Text \layout Standard @@ -15094,7 +9322,7 @@ geqslant \end_inset - + \begin_inset Text \layout Standard @@ -15106,7 +9334,7 @@ geqslant eqslantgtr \end_inset - + \begin_inset Text \layout Standard @@ -15118,7 +9346,7 @@ eqslantgtr \end_inset - + \begin_inset Text \layout Standard @@ -15130,7 +9358,7 @@ eqslantgtr gtrsim \end_inset - + \begin_inset Text \layout Standard @@ -15142,7 +9370,7 @@ gtrsim \end_inset - + \begin_inset Text \layout Standard @@ -15156,7 +9384,7 @@ gtrapprox - + \begin_inset Text \layout Standard @@ -15168,7 +9396,7 @@ gtrapprox \end_inset - + \begin_inset Text \layout Standard @@ -15180,7 +9408,7 @@ gtrapprox gtrdot \end_inset - + \begin_inset Text \layout Standard @@ -15192,7 +9420,7 @@ gtrdot \end_inset - + \begin_inset Text \layout Standard @@ -15204,7 +9432,7 @@ gtrdot ggg \end_inset - + \begin_inset Text \layout Standard @@ -15216,7 +9444,7 @@ ggg \end_inset - + \begin_inset Text \layout Standard @@ -15230,7 +9458,7 @@ gtrless - + \begin_inset Text \layout Standard @@ -15242,7 +9470,7 @@ gtrless \end_inset - + \begin_inset Text \layout Standard @@ -15254,7 +9482,7 @@ gtrless gtreqless \end_inset - + \begin_inset Text \layout Standard @@ -15266,7 +9494,7 @@ gtreqless \end_inset - + \begin_inset Text \layout Standard @@ -15278,7 +9506,7 @@ gtreqless gtreqqless \end_inset - + \begin_inset Text \layout Standard @@ -15290,7 +9518,7 @@ gtreqqless \end_inset - + \begin_inset Text \layout Standard @@ -15304,7 +9532,7 @@ eqcirc - + \begin_inset Text \layout Standard @@ -15316,7 +9544,7 @@ eqcirc \end_inset - + \begin_inset Text \layout Standard @@ -15328,7 +9556,7 @@ eqcirc circeq \end_inset - + \begin_inset Text \layout Standard @@ -15340,7 +9568,7 @@ circeq \end_inset - + \begin_inset Text \layout Standard @@ -15352,7 +9580,7 @@ circeq triangleq \end_inset - + \begin_inset Text \layout Standard @@ -15364,7 +9592,7 @@ triangleq \end_inset - + \begin_inset Text \layout Standard @@ -15378,7 +9606,7 @@ thicksim - + \begin_inset Text \layout Standard @@ -15390,7 +9618,7 @@ thicksim \end_inset - + \begin_inset Text \layout Standard @@ -15402,7 +9630,7 @@ thicksim thickapprox \end_inset - + \begin_inset Text \layout Standard @@ -15414,7 +9642,7 @@ thickapprox \end_inset - + \begin_inset Text \layout Standard @@ -15426,7 +9654,7 @@ thickapprox supseteqq \end_inset - + \begin_inset Text \layout Standard @@ -15438,7 +9666,7 @@ supseteqq \end_inset - + \begin_inset Text \layout Standard @@ -15452,7 +9680,7 @@ Supset - + \begin_inset Text \layout Standard @@ -15464,7 +9692,7 @@ Supset \end_inset - + \begin_inset Text \layout Standard @@ -15476,7 +9704,7 @@ Supset sqsupset \end_inset - + \begin_inset Text \layout Standard @@ -15488,7 +9716,7 @@ sqsupset \end_inset - + \begin_inset Text \layout Standard @@ -15500,7 +9728,7 @@ sqsupset succcurlyeq \end_inset - + \begin_inset Text \layout Standard @@ -15512,7 +9740,7 @@ succcurlyeq \end_inset - + \begin_inset Text \layout Standard @@ -15526,7 +9754,7 @@ curlyeqsucc - + \begin_inset Text \layout Standard @@ -15538,7 +9766,7 @@ curlyeqsucc \end_inset - + \begin_inset Text \layout Standard @@ -15550,7 +9778,7 @@ curlyeqsucc succsim \end_inset - + \begin_inset Text \layout Standard @@ -15562,7 +9790,7 @@ succsim \end_inset - + \begin_inset Text \layout Standard @@ -15574,7 +9802,7 @@ succsim succapprox \end_inset - + \begin_inset Text \layout Standard @@ -15586,7 +9814,7 @@ succapprox \end_inset - + \begin_inset Text \layout Standard @@ -15600,7 +9828,7 @@ vartriangleright - + \begin_inset Text \layout Standard @@ -15612,7 +9840,7 @@ vartriangleright \end_inset - + \begin_inset Text \layout Standard @@ -15624,7 +9852,7 @@ vartriangleright trianglerighteq \end_inset - + \begin_inset Text \layout Standard @@ -15636,7 +9864,7 @@ trianglerighteq \end_inset - + \begin_inset Text \layout Standard @@ -15648,7 +9876,7 @@ trianglerighteq Vdash \end_inset - + \begin_inset Text \layout Standard @@ -15660,7 +9888,7 @@ Vdash \end_inset - + \begin_inset Text \layout Standard @@ -15674,7 +9902,7 @@ shortmid - + \begin_inset Text \layout Standard @@ -15686,7 +9914,7 @@ shortmid \end_inset - + \begin_inset Text \layout Standard @@ -15698,7 +9926,7 @@ shortmid shortparallel \end_inset - + \begin_inset Text \layout Standard @@ -15710,7 +9938,7 @@ shortparallel \end_inset - + \begin_inset Text \layout Standard @@ -15722,7 +9950,7 @@ shortparallel between \end_inset - + \begin_inset Text \layout Standard @@ -15734,7 +9962,7 @@ between \end_inset - + \begin_inset Text \layout Standard @@ -15748,7 +9976,7 @@ pitchfork - + \begin_inset Text \layout Standard @@ -15760,7 +9988,7 @@ pitchfork \end_inset - + \begin_inset Text \layout Standard @@ -15772,7 +10000,7 @@ pitchfork varpropto \end_inset - + \begin_inset Text \layout Standard @@ -15784,7 +10012,7 @@ varpropto \end_inset - + \begin_inset Text \layout Standard @@ -15796,7 +10024,7 @@ varpropto blacktriangleleft \end_inset - + \begin_inset Text \layout Standard @@ -15808,7 +10036,7 @@ blacktriangleleft \end_inset - + \begin_inset Text \layout Standard @@ -15822,7 +10050,7 @@ therefore - + \begin_inset Text \layout Standard @@ -15834,7 +10062,7 @@ therefore \end_inset - + \begin_inset Text \layout Standard @@ -15846,7 +10074,7 @@ therefore backepsilon \end_inset - + \begin_inset Text \layout Standard @@ -15858,7 +10086,7 @@ backepsilon \end_inset - + \begin_inset Text \layout Standard @@ -15870,7 +10098,7 @@ backepsilon blacktriangleright \end_inset - + \begin_inset Text \layout Standard @@ -15882,7 +10110,7 @@ blacktriangleright \end_inset - + \begin_inset Text \layout Standard @@ -15909,7 +10137,7 @@ because \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -15920,14 +10148,14 @@ AMS negated binary relations \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -15939,7 +10167,7 @@ AMS negated binary relations \end_inset - + \begin_inset Text \layout Standard @@ -15951,7 +10179,7 @@ AMS negated binary relations nless \end_inset - + \begin_inset Text \layout Standard @@ -15963,7 +10191,7 @@ nless \end_inset - + \begin_inset Text \layout Standard @@ -15975,7 +10203,7 @@ nless nleq \end_inset - + \begin_inset Text \layout Standard @@ -15987,7 +10215,7 @@ nleq \end_inset - + \begin_inset Text \layout Standard @@ -16001,7 +10229,7 @@ nleqslant - + \begin_inset Text \layout Standard @@ -16013,7 +10241,7 @@ nleqslant \end_inset - + \begin_inset Text \layout Standard @@ -16025,7 +10253,7 @@ nleqslant nleqq \end_inset - + \begin_inset Text \layout Standard @@ -16037,7 +10265,7 @@ nleqq \end_inset - + \begin_inset Text \layout Standard @@ -16049,7 +10277,7 @@ nleqq lneq \end_inset - + \begin_inset Text \layout Standard @@ -16061,7 +10289,7 @@ lneq \end_inset - + \begin_inset Text \layout Standard @@ -16075,7 +10303,7 @@ lneqq - + \begin_inset Text \layout Standard @@ -16087,7 +10315,7 @@ lneqq \end_inset - + \begin_inset Text \layout Standard @@ -16099,7 +10327,7 @@ lneqq lvertneqq \end_inset - + \begin_inset Text \layout Standard @@ -16111,7 +10339,7 @@ lvertneqq \end_inset - + \begin_inset Text \layout Standard @@ -16123,7 +10351,7 @@ lvertneqq lnsim \end_inset - + \begin_inset Text \layout Standard @@ -16135,7 +10363,7 @@ lnsim \end_inset - + \begin_inset Text \layout Standard @@ -16149,7 +10377,7 @@ lnapprox - + \begin_inset Text \layout Standard @@ -16161,7 +10389,7 @@ lnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16173,7 +10401,7 @@ lnapprox nprec \end_inset - + \begin_inset Text \layout Standard @@ -16185,7 +10413,7 @@ nprec \end_inset - + \begin_inset Text \layout Standard @@ -16197,7 +10425,7 @@ nprec npreceq \end_inset - + \begin_inset Text \layout Standard @@ -16209,7 +10437,7 @@ npreceq \end_inset - + \begin_inset Text \layout Standard @@ -16223,7 +10451,7 @@ precnsim - + \begin_inset Text \layout Standard @@ -16235,7 +10463,7 @@ precnsim \end_inset - + \begin_inset Text \layout Standard @@ -16247,7 +10475,7 @@ precnsim precnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16259,7 +10487,7 @@ precnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16271,7 +10499,7 @@ precnapprox nsim \end_inset - + \begin_inset Text \layout Standard @@ -16283,7 +10511,7 @@ nsim \end_inset - + \begin_inset Text \layout Standard @@ -16297,7 +10525,7 @@ nshortmid - + \begin_inset Text \layout Standard @@ -16309,7 +10537,7 @@ nshortmid \end_inset - + \begin_inset Text \layout Standard @@ -16321,7 +10549,7 @@ nshortmid nmid \end_inset - + \begin_inset Text \layout Standard @@ -16333,7 +10561,7 @@ nmid \end_inset - + \begin_inset Text \layout Standard @@ -16345,7 +10573,7 @@ nmid nvdash \end_inset - + \begin_inset Text \layout Standard @@ -16357,7 +10585,7 @@ nvdash \end_inset - + \begin_inset Text \layout Standard @@ -16371,7 +10599,7 @@ nvDash - + \begin_inset Text \layout Standard @@ -16383,7 +10611,7 @@ nvDash \end_inset - + \begin_inset Text \layout Standard @@ -16395,7 +10623,7 @@ nvDash ntriangleleft \end_inset - + \begin_inset Text \layout Standard @@ -16407,7 +10635,7 @@ ntriangleleft \end_inset - + \begin_inset Text \layout Standard @@ -16419,7 +10647,7 @@ ntriangleleft ntrianglelefteq \end_inset - + \begin_inset Text \layout Standard @@ -16431,7 +10659,7 @@ ntrianglelefteq \end_inset - + \begin_inset Text \layout Standard @@ -16445,7 +10673,7 @@ nsubseteq - + \begin_inset Text \layout Standard @@ -16457,7 +10685,7 @@ nsubseteq \end_inset - + \begin_inset Text \layout Standard @@ -16469,7 +10697,7 @@ nsubseteq subsetneq \end_inset - + \begin_inset Text \layout Standard @@ -16481,7 +10709,7 @@ subsetneq \end_inset - + \begin_inset Text \layout Standard @@ -16493,7 +10721,7 @@ subsetneq varsubsetneq \end_inset - + \begin_inset Text \layout Standard @@ -16505,7 +10733,7 @@ varsubsetneq \end_inset - + \begin_inset Text \layout Standard @@ -16519,7 +10747,7 @@ subsetneqq - + \begin_inset Text \layout Standard @@ -16531,7 +10759,7 @@ subsetneqq \end_inset - + \begin_inset Text \layout Standard @@ -16543,7 +10771,7 @@ subsetneqq varsubsetneqq \end_inset - + \begin_inset Text \layout Standard @@ -16555,7 +10783,7 @@ varsubsetneqq \end_inset - + \begin_inset Text \layout Standard @@ -16567,7 +10795,7 @@ varsubsetneqq ngtr \end_inset - + \begin_inset Text \layout Standard @@ -16579,7 +10807,7 @@ ngtr \end_inset - + \begin_inset Text \layout Standard @@ -16593,7 +10821,7 @@ ngeq - + \begin_inset Text \layout Standard @@ -16605,7 +10833,7 @@ ngeq \end_inset - + \begin_inset Text \layout Standard @@ -16617,7 +10845,7 @@ ngeq ngeqslant \end_inset - + \begin_inset Text \layout Standard @@ -16629,7 +10857,7 @@ ngeqslant \end_inset - + \begin_inset Text \layout Standard @@ -16641,7 +10869,7 @@ ngeqslant ngeqq \end_inset - + \begin_inset Text \layout Standard @@ -16653,7 +10881,7 @@ ngeqq \end_inset - + \begin_inset Text \layout Standard @@ -16667,7 +10895,7 @@ gneq - + \begin_inset Text \layout Standard @@ -16679,7 +10907,7 @@ gneq \end_inset - + \begin_inset Text \layout Standard @@ -16691,7 +10919,7 @@ gneq gneqq \end_inset - + \begin_inset Text \layout Standard @@ -16703,7 +10931,7 @@ gneqq \end_inset - + \begin_inset Text \layout Standard @@ -16715,7 +10943,7 @@ gneqq gvertneqq \end_inset - + \begin_inset Text \layout Standard @@ -16727,7 +10955,7 @@ gvertneqq \end_inset - + \begin_inset Text \layout Standard @@ -16741,7 +10969,7 @@ gnsim - + \begin_inset Text \layout Standard @@ -16753,7 +10981,7 @@ gnsim \end_inset - + \begin_inset Text \layout Standard @@ -16765,7 +10993,7 @@ gnsim gnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16777,7 +11005,7 @@ gnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16789,7 +11017,7 @@ gnapprox nsucc \end_inset - + \begin_inset Text \layout Standard @@ -16801,7 +11029,7 @@ nsucc \end_inset - + \begin_inset Text \layout Standard @@ -16815,7 +11043,7 @@ nsucceq - + \begin_inset Text \layout Standard @@ -16827,7 +11055,7 @@ nsucceq \end_inset - + \begin_inset Text \layout Standard @@ -16839,7 +11067,7 @@ nsucceq succnsim \end_inset - + \begin_inset Text \layout Standard @@ -16851,7 +11079,7 @@ succnsim \end_inset - + \begin_inset Text \layout Standard @@ -16863,7 +11091,7 @@ succnsim succnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16875,7 +11103,7 @@ succnapprox \end_inset - + \begin_inset Text \layout Standard @@ -16889,7 +11117,7 @@ ncong - + \begin_inset Text \layout Standard @@ -16901,7 +11129,7 @@ ncong \end_inset - + \begin_inset Text \layout Standard @@ -16913,7 +11141,7 @@ ncong nshortparallel \end_inset - + \begin_inset Text \layout Standard @@ -16925,7 +11153,7 @@ nshortparallel \end_inset - + \begin_inset Text \layout Standard @@ -16937,7 +11165,7 @@ nshortparallel nparallel \end_inset - + \begin_inset Text \layout Standard @@ -16949,7 +11177,7 @@ nparallel \end_inset - + \begin_inset Text \layout Standard @@ -16963,7 +11191,7 @@ nvDash - + \begin_inset Text \layout Standard @@ -16975,7 +11203,7 @@ nvDash \end_inset - + \begin_inset Text \layout Standard @@ -16987,7 +11215,7 @@ nvDash nVDash \end_inset - + \begin_inset Text \layout Standard @@ -16999,7 +11227,7 @@ nVDash \end_inset - + \begin_inset Text \layout Standard @@ -17011,7 +11239,7 @@ nVDash ntriangleright \end_inset - + \begin_inset Text \layout Standard @@ -17023,7 +11251,7 @@ ntriangleright \end_inset - + \begin_inset Text \layout Standard @@ -17037,7 +11265,7 @@ ntrianglerighteq - + \begin_inset Text \layout Standard @@ -17049,7 +11277,7 @@ ntrianglerighteq \end_inset - + \begin_inset Text \layout Standard @@ -17061,7 +11289,7 @@ ntrianglerighteq nsupseteq \end_inset - + \begin_inset Text \layout Standard @@ -17073,7 +11301,7 @@ nsupseteq \end_inset - + \begin_inset Text \layout Standard @@ -17085,7 +11313,7 @@ nsupseteq nsupseteqq \end_inset - + \begin_inset Text \layout Standard @@ -17097,7 +11325,7 @@ nsupseteqq \end_inset - + \begin_inset Text \layout Standard @@ -17111,7 +11339,7 @@ supsetneq - + \begin_inset Text \layout Standard @@ -17123,7 +11351,7 @@ supsetneq \end_inset - + \begin_inset Text \layout Standard @@ -17135,7 +11363,7 @@ supsetneq varsupsetneq \end_inset - + \begin_inset Text \layout Standard @@ -17147,7 +11375,7 @@ varsupsetneq \end_inset - + \begin_inset Text \layout Standard @@ -17159,7 +11387,7 @@ varsupsetneq supsetneqq \end_inset - + \begin_inset Text \layout Standard @@ -17171,7 +11399,7 @@ supsetneqq \end_inset - + \begin_inset Text \layout Standard @@ -17198,7 +11426,7 @@ varsupsetneqq \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -17209,14 +11437,14 @@ AMS binary operators \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -17228,7 +11456,7 @@ AMS binary operators \end_inset - + \begin_inset Text \layout Standard @@ -17240,7 +11468,7 @@ AMS binary operators dotplus \end_inset - + \begin_inset Text \layout Standard @@ -17252,7 +11480,7 @@ dotplus \end_inset - + \begin_inset Text \layout Standard @@ -17264,7 +11492,7 @@ dotplus smallsetminus \end_inset - + \begin_inset Text \layout Standard @@ -17276,7 +11504,7 @@ smallsetminus \end_inset - + \begin_inset Text \layout Standard @@ -17290,7 +11518,7 @@ Cap - + \begin_inset Text \layout Standard @@ -17302,7 +11530,7 @@ Cap \end_inset - + \begin_inset Text \layout Standard @@ -17314,7 +11542,7 @@ Cap Cup \end_inset - + \begin_inset Text \layout Standard @@ -17326,7 +11554,7 @@ Cup \end_inset - + \begin_inset Text \layout Standard @@ -17338,7 +11566,7 @@ Cup barwedge \end_inset - + \begin_inset Text \layout Standard @@ -17350,7 +11578,7 @@ barwedge \end_inset - + \begin_inset Text \layout Standard @@ -17364,7 +11592,7 @@ veebar - + \begin_inset Text \layout Standard @@ -17376,7 +11604,7 @@ veebar \end_inset - + \begin_inset Text \layout Standard @@ -17388,7 +11616,7 @@ veebar doublebarwedge \end_inset - + \begin_inset Text \layout Standard @@ -17400,7 +11628,7 @@ doublebarwedge \end_inset - + \begin_inset Text \layout Standard @@ -17412,7 +11640,7 @@ doublebarwedge boxminus \end_inset - + \begin_inset Text \layout Standard @@ -17424,7 +11652,7 @@ boxminus \end_inset - + \begin_inset Text \layout Standard @@ -17438,7 +11666,7 @@ boxtimes - + \begin_inset Text \layout Standard @@ -17450,7 +11678,7 @@ boxtimes \end_inset - + \begin_inset Text \layout Standard @@ -17462,7 +11690,7 @@ boxtimes boxdot \end_inset - + \begin_inset Text \layout Standard @@ -17474,7 +11702,7 @@ boxdot \end_inset - + \begin_inset Text \layout Standard @@ -17486,7 +11714,7 @@ boxdot boxplus \end_inset - + \begin_inset Text \layout Standard @@ -17498,7 +11726,7 @@ boxplus \end_inset - + \begin_inset Text \layout Standard @@ -17512,7 +11740,7 @@ divideontimes - + \begin_inset Text \layout Standard @@ -17524,7 +11752,7 @@ divideontimes \end_inset - + \begin_inset Text \layout Standard @@ -17536,7 +11764,7 @@ divideontimes ltimes \end_inset - + \begin_inset Text \layout Standard @@ -17548,7 +11776,7 @@ ltimes \end_inset - + \begin_inset Text \layout Standard @@ -17560,7 +11788,7 @@ ltimes rtimes \end_inset - + \begin_inset Text \layout Standard @@ -17572,7 +11800,7 @@ rtimes \end_inset - + \begin_inset Text \layout Standard @@ -17586,7 +11814,7 @@ leftthreetimes - + \begin_inset Text \layout Standard @@ -17598,7 +11826,7 @@ leftthreetimes \end_inset - + \begin_inset Text \layout Standard @@ -17610,7 +11838,7 @@ leftthreetimes rightthreetimes \end_inset - + \begin_inset Text \layout Standard @@ -17622,7 +11850,7 @@ rightthreetimes \end_inset - + \begin_inset Text \layout Standard @@ -17634,7 +11862,7 @@ rightthreetimes curlywedge \end_inset - + \begin_inset Text \layout Standard @@ -17646,7 +11874,7 @@ curlywedge \end_inset - + \begin_inset Text \layout Standard @@ -17660,7 +11888,7 @@ curlyvee - + \begin_inset Text \layout Standard @@ -17672,7 +11900,7 @@ curlyvee \end_inset - + \begin_inset Text \layout Standard @@ -17684,7 +11912,7 @@ curlyvee circleddash \end_inset - + \begin_inset Text \layout Standard @@ -17696,7 +11924,7 @@ circleddash \end_inset - + \begin_inset Text \layout Standard @@ -17708,7 +11936,7 @@ circleddash circledast \end_inset - + \begin_inset Text \layout Standard @@ -17720,7 +11948,7 @@ circledast \end_inset - + \begin_inset Text \layout Standard @@ -17734,7 +11962,7 @@ circledcirc - + \begin_inset Text \layout Standard @@ -17746,7 +11974,7 @@ circledcirc \end_inset - + \begin_inset Text \layout Standard @@ -17758,7 +11986,7 @@ circledcirc centerdot \end_inset - + \begin_inset Text \layout Standard @@ -17770,7 +11998,7 @@ centerdot \end_inset - + \begin_inset Text \layout Standard @@ -17782,14 +12010,14 @@ centerdot intercal \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -17811,7 +12039,7 @@ intercal \begin_inset Float table placement htbp wide false -collapsed true +collapsed false \layout Caption @@ -17822,14 +12050,14 @@ AMS miscellaneous \begin_inset Tabular - - - - - - + + + + + + - + \begin_inset Text \layout Standard @@ -17841,7 +12069,7 @@ AMS miscellaneous \end_inset - + \begin_inset Text \layout Standard @@ -17853,7 +12081,7 @@ AMS miscellaneous hbar \end_inset - + \begin_inset Text \layout Standard @@ -17865,7 +12093,7 @@ hbar \end_inset - + \begin_inset Text \layout Standard @@ -17877,7 +12105,7 @@ hbar hslash \end_inset - + \begin_inset Text \layout Standard @@ -17889,7 +12117,7 @@ hslash \end_inset - + \begin_inset Text \layout Standard @@ -17903,7 +12131,7 @@ vartriangle - + \begin_inset Text \layout Standard @@ -17915,7 +12143,7 @@ vartriangle \end_inset - + \begin_inset Text \layout Standard @@ -17927,7 +12155,7 @@ vartriangle triangledown \end_inset - + \begin_inset Text \layout Standard @@ -17939,7 +12167,7 @@ triangledown \end_inset - + \begin_inset Text \layout Standard @@ -17951,7 +12179,7 @@ triangledown square \end_inset - + \begin_inset Text \layout Standard @@ -17963,7 +12191,7 @@ square \end_inset - + \begin_inset Text \layout Standard @@ -17977,7 +12205,7 @@ lozenge - + \begin_inset Text \layout Standard @@ -17989,7 +12217,7 @@ lozenge \end_inset - + \begin_inset Text \layout Standard @@ -18001,7 +12229,7 @@ lozenge circledS \end_inset - + \begin_inset Text \layout Standard @@ -18013,7 +12241,7 @@ circledS \end_inset - + \begin_inset Text \layout Standard @@ -18025,7 +12253,7 @@ circledS angle \end_inset - + \begin_inset Text \layout Standard @@ -18037,7 +12265,7 @@ angle \end_inset - + \begin_inset Text \layout Standard @@ -18051,7 +12279,7 @@ measuredangle - + \begin_inset Text \layout Standard @@ -18063,7 +12291,7 @@ measuredangle \end_inset - + \begin_inset Text \layout Standard @@ -18075,7 +12303,7 @@ measuredangle nexists \end_inset - + \begin_inset Text \layout Standard @@ -18087,7 +12315,7 @@ nexists \end_inset - + \begin_inset Text \layout Standard @@ -18099,7 +12327,7 @@ nexists mho \end_inset - + \begin_inset Text \layout Standard @@ -18111,7 +12339,7 @@ mho \end_inset - + \begin_inset Text \layout Standard @@ -18125,7 +12353,7 @@ Finv - + \begin_inset Text \layout Standard @@ -18137,7 +12365,7 @@ Finv \end_inset - + \begin_inset Text \layout Standard @@ -18149,7 +12377,7 @@ Finv Game \end_inset - + \begin_inset Text \layout Standard @@ -18161,7 +12389,7 @@ Game \end_inset - + \begin_inset Text \layout Standard @@ -18173,7 +12401,7 @@ Game Bbbk \end_inset - + \begin_inset Text \layout Standard @@ -18185,7 +12413,7 @@ Bbbk \end_inset - + \begin_inset Text \layout Standard @@ -18199,7 +12427,7 @@ backprime - + \begin_inset Text \layout Standard @@ -18211,7 +12439,7 @@ backprime \end_inset - + \begin_inset Text \layout Standard @@ -18223,7 +12451,7 @@ backprime varnothing \end_inset - + \begin_inset Text \layout Standard @@ -18235,7 +12463,7 @@ varnothing \end_inset - + \begin_inset Text \layout Standard @@ -18247,7 +12475,7 @@ varnothing blacktriangle \end_inset - + \begin_inset Text \layout Standard @@ -18259,7 +12487,7 @@ blacktriangle \end_inset - + \begin_inset Text \layout Standard @@ -18273,7 +12501,7 @@ blacktriangledown - + \begin_inset Text \layout Standard @@ -18285,7 +12513,7 @@ blacktriangledown \end_inset - + \begin_inset Text \layout Standard @@ -18297,7 +12525,7 @@ blacktriangledown blacksquare \end_inset - + \begin_inset Text \layout Standard @@ -18309,7 +12537,7 @@ blacksquare \end_inset - + \begin_inset Text \layout Standard @@ -18321,7 +12549,7 @@ blacksquare blacklozenge \end_inset - + \begin_inset Text \layout Standard @@ -18333,7 +12561,7 @@ blacklozenge \end_inset - + \begin_inset Text \layout Standard @@ -18347,7 +12575,7 @@ bigstar - + \begin_inset Text \layout Standard @@ -18359,7 +12587,7 @@ bigstar \end_inset - + \begin_inset Text \layout Standard @@ -18371,7 +12599,7 @@ bigstar sphericalangle \end_inset - + \begin_inset Text \layout Standard @@ -18383,7 +12611,7 @@ sphericalangle \end_inset - + \begin_inset Text \layout Standard @@ -18395,7 +12623,7 @@ sphericalangle complement \end_inset - + \begin_inset Text \layout Standard @@ -18407,7 +12635,7 @@ complement \end_inset - + \begin_inset Text \layout Standard @@ -18421,7 +12649,7 @@ eth - + \begin_inset Text \layout Standard @@ -18433,7 +12661,7 @@ eth \end_inset - + \begin_inset Text \layout Standard @@ -18445,7 +12673,7 @@ eth diagup \end_inset - + \begin_inset Text \layout Standard @@ -18457,7 +12685,7 @@ diagup \end_inset - + \begin_inset Text \layout Standard @@ -18469,14 +12697,14 @@ diagup diagdown \end_inset - + \begin_inset Text \layout Standard \end_inset - + \begin_inset Text \layout Standard @@ -18492,7 +12720,4 @@ diagdown \end_inset -\end_inset - - \the_end -- 2.39.2