]> git.lyx.org Git - lyx.git/blobdiff - lib/examples/mathed.lyx
Add Jean-Pierre Chr��tien to our list of contributers
[lyx.git] / lib / examples / mathed.lyx
index 5c04672877f8360cd2559d5516f744bc4aeef514..b95824704cf3b6e96b724ae68a0be352950c0391 100644 (file)
@@ -1,5 +1,5 @@
-#LyX 1.2 created this file. For more info see http://www.lyx.org/
-\lyxformat 220
+#LyX 1.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 221
 \textclass article
 \language english
 \inputencoding auto
@@ -7,7 +7,7 @@
 \graphics default
 \float_placement H
 \paperfontsize default
-\spacing single 
+\spacing single
 \papersize Default
 \paperpackage widemarginsa4
 \use_geometry 0
@@ -133,8 +133,8 @@ will convert it to:
 \layout Standard
 
 
-\begin_inset Formula \[
-\frac{abc}{xyz}\]
+\begin_inset Formula \begin{equation}
+\frac{abc}{xyz}\end{equation}
 
 \end_inset 
 
@@ -175,175 +175,12 @@ all
  the extra ones defined by the AMS.
  For completeness, the tables of symbols in Lamport's and in Goosen's books
  are presented below.
-\layout Standard
-
-In order to display these extra symbols, however, the extra fonts that LyX
- requires must be made available to it.
- That can be done by creating a directory containing symbolic links to the
- fonts that LyX requires using the following script
-\layout LyX-Code
-
-#!/bin/sh
-\layout LyX-Code
-
-\layout LyX-Code
-
-LYXDIR=`pwd`
-\layout LyX-Code
-
-LYX_XFONTS=$LYXDIR/xfonts
-\layout LyX-Code
-
-\layout LyX-Code
-
-if [ ! -d $LYX_XFONTS ]; then
-\layout LyX-Code
-
-    mkdir $LYX_XFONTS || exit
-\layout LyX-Code
-
-fi
-\layout LyX-Code
-
-\layout LyX-Code
-
-rm -f $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
-\layout LyX-Code
-
-\layout LyX-Code
-
-for file in `sed -e 's/^
-\backslash 
-(.*
-\backslash 
-.pf[ab]
-\backslash 
-) .*$/
-\backslash 
-1/' < fonts-xlfd`; do
-\layout LyX-Code
-
-    filepath=`kpsewhich $file`
-\layout LyX-Code
-
-    if [ $? -eq 0 ]; then
-\layout LyX-Code
-
-        if [ ! -e $LYX_XFONTS/$file ]; then
-\layout LyX-Code
-
-            ln -s $filepath $LYX_XFONTS/$file
-\layout LyX-Code
-
-        fi
-\layout LyX-Code
-
-        echo `grep -e $file fonts-xlfd` >> $LYX_XFONTS/fonts.scale
-\layout LyX-Code
-
-        echo "$file found."
-\layout LyX-Code
-
-    fi
-\layout LyX-Code
-
-done
-\layout LyX-Code
-
-\layout LyX-Code
-
-awk "/
-\backslash 
-.pf/ { nlines++ }
-\backslash 
-
-\layout LyX-Code
-
-END { print nlines }" < $LYX_XFONTS/fonts.scale > $LYX_XFONTS/fonts.dir
-\layout LyX-Code
-
-\layout LyX-Code
-
-cat $LYX_XFONTS/fonts.scale >> $LYX_XFONTS/fonts.dir
-\layout LyX-Code
-
-cp $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
-\layout Standard
-
-where the file 
-\family typewriter 
-fonts-xlfd
-\family default 
- contains
-\layout LyX-Code
-
-cmr10.pfb -bluesky-cmr-medium-r-normal--0-0-0-0-m-0-adobe-fontspecific
-\layout LyX-Code
-
-cmmi10.pfb -bluesky-cmmi-medium-i-normal--0-0-0-0-m-0-adobe-fontspecific
-  cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eufr10.pfb -bluesky-eufrak--medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eufb10.pfb -bluesky-eufrak-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eusr10.pfb -bluesky-eus-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eusb10.pfb -bluesky-eus-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-msam10.pfb -bluesky-msam-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-msbm10.pfb -bluesky-msbm-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-marvosym.pfb -marvo-marvosym-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-wasy10.pfb -hoekwater-wasy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-wasyb10.pfb -hoekwater-wasy-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-logo10.pfb -hoekwater-logo-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-logobf10.pfb -hoekwater-logo-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcrm.pfa -adobe-lcrm-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcry.pfa -adobe-lcry-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout Standard
-
-Thereafter, you must tell X where to find this directory and the fonts therein.
- Type
-\layout LyX-Code
-
-xset +fp LYX_XFONTS; xset fp rehash
-\layout Standard
-
-at the console, start LyX, load up this document and enjoy!
 \layout Section
 
 Some example math tables
 \layout Standard
 
-If you've followed the instructions above successfully, then the following
- tables from Goossen et al.'s 
+The following tables from Goossen et al.'s 
 \begin_inset Quotes eld
 \end_inset 
 
@@ -352,16 +189,11 @@ The LaTeX companion
 \end_inset 
 
  should appear on the screen in all their glory.
- Otherwise you'll have a 
-\emph on 
-lot
-\emph default 
- of red text!
 \layout Standard
 
 
 \begin_inset ERT
-status Open
+status Collapsed
 
 \layout Standard
 
@@ -384,7 +216,7 @@ arabic{table}}
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -683,7 +515,7 @@ Math mode accents
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -706,7 +538,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\alpha $
+\begin_inset Formula $\alpha$
 \end_inset 
 
 
@@ -730,7 +562,7 @@ alpha
 \layout Standard
 
 
-\begin_inset Formula $\beta $
+\begin_inset Formula $\beta$
 \end_inset 
 
 
@@ -754,7 +586,7 @@ beta
 \layout Standard
 
 
-\begin_inset Formula $\gamma $
+\begin_inset Formula $\gamma$
 \end_inset 
 
 
@@ -778,7 +610,7 @@ gamma
 \layout Standard
 
 
-\begin_inset Formula $\delta $
+\begin_inset Formula $\delta$
 \end_inset 
 
 
@@ -804,7 +636,7 @@ delta
 \layout Standard
 
 
-\begin_inset Formula $\epsilon $
+\begin_inset Formula $\epsilon$
 \end_inset 
 
 
@@ -828,7 +660,7 @@ epsilon
 \layout Standard
 
 
-\begin_inset Formula $\varepsilon $
+\begin_inset Formula $\varepsilon$
 \end_inset 
 
 
@@ -852,7 +684,7 @@ varepsilon
 \layout Standard
 
 
-\begin_inset Formula $\zeta $
+\begin_inset Formula $\zeta$
 \end_inset 
 
 
@@ -876,7 +708,7 @@ zeta
 \layout Standard
 
 
-\begin_inset Formula $\eta $
+\begin_inset Formula $\eta$
 \end_inset 
 
 
@@ -902,7 +734,7 @@ eta
 \layout Standard
 
 
-\begin_inset Formula $\theta $
+\begin_inset Formula $\theta$
 \end_inset 
 
 
@@ -926,7 +758,7 @@ theta
 \layout Standard
 
 
-\begin_inset Formula $\vartheta $
+\begin_inset Formula $\vartheta$
 \end_inset 
 
 
@@ -950,7 +782,7 @@ vartheta
 \layout Standard
 
 
-\begin_inset Formula $\iota $
+\begin_inset Formula $\iota$
 \end_inset 
 
 
@@ -974,7 +806,7 @@ iota
 \layout Standard
 
 
-\begin_inset Formula $\kappa $
+\begin_inset Formula $\kappa$
 \end_inset 
 
 
@@ -1000,7 +832,7 @@ kappa
 \layout Standard
 
 
-\begin_inset Formula $\lambda $
+\begin_inset Formula $\lambda$
 \end_inset 
 
 
@@ -1024,7 +856,7 @@ lambda
 \layout Standard
 
 
-\begin_inset Formula $\mu $
+\begin_inset Formula $\mu$
 \end_inset 
 
 
@@ -1048,7 +880,7 @@ mu
 \layout Standard
 
 
-\begin_inset Formula $\nu $
+\begin_inset Formula $\nu$
 \end_inset 
 
 
@@ -1072,7 +904,7 @@ nu
 \layout Standard
 
 
-\begin_inset Formula $\xi $
+\begin_inset Formula $\xi$
 \end_inset 
 
 
@@ -1118,7 +950,7 @@ o
 \layout Standard
 
 
-\begin_inset Formula $\pi $
+\begin_inset Formula $\pi$
 \end_inset 
 
 
@@ -1142,7 +974,7 @@ pi
 \layout Standard
 
 
-\begin_inset Formula $\varpi $
+\begin_inset Formula $\varpi$
 \end_inset 
 
 
@@ -1166,7 +998,7 @@ varpi
 \layout Standard
 
 
-\begin_inset Formula $\rho $
+\begin_inset Formula $\rho$
 \end_inset 
 
 
@@ -1192,7 +1024,7 @@ rho
 \layout Standard
 
 
-\begin_inset Formula $\varrho $
+\begin_inset Formula $\varrho$
 \end_inset 
 
 
@@ -1216,7 +1048,7 @@ varrho
 \layout Standard
 
 
-\begin_inset Formula $\sigma $
+\begin_inset Formula $\sigma$
 \end_inset 
 
 
@@ -1240,7 +1072,7 @@ sigma
 \layout Standard
 
 
-\begin_inset Formula $\varsigma $
+\begin_inset Formula $\varsigma$
 \end_inset 
 
 
@@ -1264,7 +1096,7 @@ varsigma
 \layout Standard
 
 
-\begin_inset Formula $\tau $
+\begin_inset Formula $\tau$
 \end_inset 
 
 
@@ -1290,7 +1122,7 @@ tau
 \layout Standard
 
 
-\begin_inset Formula $\upsilon $
+\begin_inset Formula $\upsilon$
 \end_inset 
 
 
@@ -1314,7 +1146,7 @@ upsilon
 \layout Standard
 
 
-\begin_inset Formula $\phi $
+\begin_inset Formula $\phi$
 \end_inset 
 
 
@@ -1338,7 +1170,7 @@ phi
 \layout Standard
 
 
-\begin_inset Formula $\varphi $
+\begin_inset Formula $\varphi$
 \end_inset 
 
 
@@ -1362,7 +1194,7 @@ varphi
 \layout Standard
 
 
-\begin_inset Formula $\chi $
+\begin_inset Formula $\chi$
 \end_inset 
 
 
@@ -1388,7 +1220,7 @@ chi
 \layout Standard
 
 
-\begin_inset Formula $\psi $
+\begin_inset Formula $\psi$
 \end_inset 
 
 
@@ -1412,7 +1244,7 @@ psi
 \layout Standard
 
 
-\begin_inset Formula $\omega $
+\begin_inset Formula $\omega$
 \end_inset 
 
 
@@ -1466,7 +1298,7 @@ omega
 \layout Standard
 
 
-\begin_inset Formula $\Gamma $
+\begin_inset Formula $\Gamma$
 \end_inset 
 
 
@@ -1490,7 +1322,7 @@ Gamma
 \layout Standard
 
 
-\begin_inset Formula $\Delta $
+\begin_inset Formula $\Delta$
 \end_inset 
 
 
@@ -1514,7 +1346,7 @@ Delta
 \layout Standard
 
 
-\begin_inset Formula $\Theta $
+\begin_inset Formula $\Theta$
 \end_inset 
 
 
@@ -1538,7 +1370,7 @@ Theta
 \layout Standard
 
 
-\begin_inset Formula $\Lambda $
+\begin_inset Formula $\Lambda$
 \end_inset 
 
 
@@ -1564,7 +1396,7 @@ Lambda
 \layout Standard
 
 
-\begin_inset Formula $\Xi $
+\begin_inset Formula $\Xi$
 \end_inset 
 
 
@@ -1588,7 +1420,7 @@ Xi
 \layout Standard
 
 
-\begin_inset Formula $\Pi $
+\begin_inset Formula $\Pi$
 \end_inset 
 
 
@@ -1612,7 +1444,7 @@ Pi
 \layout Standard
 
 
-\begin_inset Formula $\Sigma $
+\begin_inset Formula $\Sigma$
 \end_inset 
 
 
@@ -1636,7 +1468,7 @@ Sigma
 \layout Standard
 
 
-\begin_inset Formula $\Upsilon $
+\begin_inset Formula $\Upsilon$
 \end_inset 
 
 
@@ -1662,7 +1494,7 @@ Upsilon
 \layout Standard
 
 
-\begin_inset Formula $\Phi $
+\begin_inset Formula $\Phi$
 \end_inset 
 
 
@@ -1686,7 +1518,7 @@ Phi
 \layout Standard
 
 
-\begin_inset Formula $\Psi $
+\begin_inset Formula $\Psi$
 \end_inset 
 
 
@@ -1710,7 +1542,7 @@ Psi
 \layout Standard
 
 
-\begin_inset Formula $\Omega $
+\begin_inset Formula $\Omega$
 \end_inset 
 
 
@@ -1760,7 +1592,7 @@ Greek letters
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -1783,7 +1615,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\pm $
+\begin_inset Formula $\pm$
 \end_inset 
 
 
@@ -1807,7 +1639,7 @@ pm
 \layout Standard
 
 
-\begin_inset Formula $\cap $
+\begin_inset Formula $\cap$
 \end_inset 
 
 
@@ -1831,7 +1663,7 @@ cap
 \layout Standard
 
 
-\begin_inset Formula $\diamond $
+\begin_inset Formula $\diamond$
 \end_inset 
 
 
@@ -1855,7 +1687,7 @@ diamond
 \layout Standard
 
 
-\begin_inset Formula $\oplus $
+\begin_inset Formula $\oplus$
 \end_inset 
 
 
@@ -1881,7 +1713,7 @@ oplus
 \layout Standard
 
 
-\begin_inset Formula $\mp $
+\begin_inset Formula $\mp$
 \end_inset 
 
 
@@ -1905,7 +1737,7 @@ mp
 \layout Standard
 
 
-\begin_inset Formula $\cup $
+\begin_inset Formula $\cup$
 \end_inset 
 
 
@@ -1929,7 +1761,7 @@ cup
 \layout Standard
 
 
-\begin_inset Formula $\bigtriangleup $
+\begin_inset Formula $\bigtriangleup$
 \end_inset 
 
 
@@ -1953,7 +1785,7 @@ bigtriangleup
 \layout Standard
 
 
-\begin_inset Formula $\ominus $
+\begin_inset Formula $\ominus$
 \end_inset 
 
 
@@ -1979,7 +1811,7 @@ ominus
 \layout Standard
 
 
-\begin_inset Formula $\times $
+\begin_inset Formula $\times$
 \end_inset 
 
 
@@ -2003,7 +1835,7 @@ times
 \layout Standard
 
 
-\begin_inset Formula $\uplus $
+\begin_inset Formula $\uplus$
 \end_inset 
 
 
@@ -2027,7 +1859,7 @@ uplus
 \layout Standard
 
 
-\begin_inset Formula $\bigtriangledown $
+\begin_inset Formula $\bigtriangledown$
 \end_inset 
 
 
@@ -2051,7 +1883,7 @@ bigtriangledown
 \layout Standard
 
 
-\begin_inset Formula $\otimes $
+\begin_inset Formula $\otimes$
 \end_inset 
 
 
@@ -2077,7 +1909,7 @@ otimes
 \layout Standard
 
 
-\begin_inset Formula $\div $
+\begin_inset Formula $\div$
 \end_inset 
 
 
@@ -2101,7 +1933,7 @@ div
 \layout Standard
 
 
-\begin_inset Formula $\sqcap $
+\begin_inset Formula $\sqcap$
 \end_inset 
 
 
@@ -2125,7 +1957,7 @@ sqcap
 \layout Standard
 
 
-\begin_inset Formula $\triangleleft $
+\begin_inset Formula $\triangleleft$
 \end_inset 
 
 
@@ -2149,7 +1981,7 @@ triangleleft
 \layout Standard
 
 
-\begin_inset Formula $\oslash $
+\begin_inset Formula $\oslash$
 \end_inset 
 
 
@@ -2175,7 +2007,7 @@ oslash
 \layout Standard
 
 
-\begin_inset Formula $\ast $
+\begin_inset Formula $\ast$
 \end_inset 
 
 
@@ -2199,7 +2031,7 @@ ast
 \layout Standard
 
 
-\begin_inset Formula $\sqcup $
+\begin_inset Formula $\sqcup$
 \end_inset 
 
 
@@ -2223,7 +2055,7 @@ sqcup
 \layout Standard
 
 
-\begin_inset Formula $\triangleright $
+\begin_inset Formula $\triangleright$
 \end_inset 
 
 
@@ -2247,7 +2079,7 @@ triangleright
 \layout Standard
 
 
-\begin_inset Formula $\odot $
+\begin_inset Formula $\odot$
 \end_inset 
 
 
@@ -2273,7 +2105,7 @@ odot
 \layout Standard
 
 
-\begin_inset Formula $\star $
+\begin_inset Formula $\star$
 \end_inset 
 
 
@@ -2297,7 +2129,7 @@ star
 \layout Standard
 
 
-\begin_inset Formula $\vee $
+\begin_inset Formula $\vee$
 \end_inset 
 
 
@@ -2321,7 +2153,7 @@ vee
 \layout Standard
 
 
-\begin_inset Formula $\lhd $
+\begin_inset Formula $\lhd$
 \end_inset 
 
 
@@ -2345,7 +2177,7 @@ lhd
 \layout Standard
 
 
-\begin_inset Formula $\bigcirc $
+\begin_inset Formula $\bigcirc$
 \end_inset 
 
 
@@ -2371,7 +2203,7 @@ bigcirc
 \layout Standard
 
 
-\begin_inset Formula $\circ $
+\begin_inset Formula $\circ$
 \end_inset 
 
 
@@ -2395,7 +2227,7 @@ circ
 \layout Standard
 
 
-\begin_inset Formula $\wedge $
+\begin_inset Formula $\wedge$
 \end_inset 
 
 
@@ -2419,7 +2251,7 @@ wedge
 \layout Standard
 
 
-\begin_inset Formula $\rhd $
+\begin_inset Formula $\rhd$
 \end_inset 
 
 
@@ -2443,7 +2275,7 @@ rhd
 \layout Standard
 
 
-\begin_inset Formula $\dagger $
+\begin_inset Formula $\dagger$
 \end_inset 
 
 
@@ -2469,7 +2301,7 @@ dagger
 \layout Standard
 
 
-\begin_inset Formula $\bullet $
+\begin_inset Formula $\bullet$
 \end_inset 
 
 
@@ -2493,7 +2325,7 @@ bullet
 \layout Standard
 
 
-\begin_inset Formula $\setminus $
+\begin_inset Formula $\setminus$
 \end_inset 
 
 
@@ -2517,7 +2349,7 @@ setminus
 \layout Standard
 
 
-\begin_inset Formula $\unlhd $
+\begin_inset Formula $\unlhd$
 \end_inset 
 
 
@@ -2541,7 +2373,7 @@ unlhd
 \layout Standard
 
 
-\begin_inset Formula $\ddagger $
+\begin_inset Formula $\ddagger$
 \end_inset 
 
 
@@ -2567,7 +2399,7 @@ ddagger
 \layout Standard
 
 
-\begin_inset Formula $\cdot $
+\begin_inset Formula $\cdot$
 \end_inset 
 
 
@@ -2591,7 +2423,7 @@ cdot
 \layout Standard
 
 
-\begin_inset Formula $\wr $
+\begin_inset Formula $\wr$
 \end_inset 
 
 
@@ -2615,7 +2447,7 @@ wr
 \layout Standard
 
 
-\begin_inset Formula $\unrhd $
+\begin_inset Formula $\unrhd$
 \end_inset 
 
 
@@ -2639,7 +2471,7 @@ unrhd
 \layout Standard
 
 
-\begin_inset Formula $\amalg $
+\begin_inset Formula $\amalg$
 \end_inset 
 
 
@@ -2675,7 +2507,7 @@ Binary operation symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -2700,7 +2532,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\leq $
+\begin_inset Formula $\leq$
 \end_inset 
 
 
@@ -2726,7 +2558,7 @@ le
 \layout Standard
 
 
-\begin_inset Formula $\geq $
+\begin_inset Formula $\geq$
 \end_inset 
 
 
@@ -2750,7 +2582,7 @@ geq
 \layout Standard
 
 
-\begin_inset Formula $\equiv $
+\begin_inset Formula $\equiv$
 \end_inset 
 
 
@@ -2774,7 +2606,7 @@ equiv
 \layout Standard
 
 
-\begin_inset Formula $\models $
+\begin_inset Formula $\models$
 \end_inset 
 
 
@@ -2798,7 +2630,7 @@ models
 \layout Standard
 
 
-\begin_inset Formula $\prec $
+\begin_inset Formula $\prec$
 \end_inset 
 
 
@@ -2824,7 +2656,7 @@ prec
 \layout Standard
 
 
-\begin_inset Formula $\succ $
+\begin_inset Formula $\succ$
 \end_inset 
 
 
@@ -2848,7 +2680,7 @@ succ
 \layout Standard
 
 
-\begin_inset Formula $\sim $
+\begin_inset Formula $\sim$
 \end_inset 
 
 
@@ -2872,7 +2704,7 @@ sim
 \layout Standard
 
 
-\begin_inset Formula $\perp $
+\begin_inset Formula $\perp$
 \end_inset 
 
 
@@ -2896,7 +2728,7 @@ perp
 \layout Standard
 
 
-\begin_inset Formula $\preceq $
+\begin_inset Formula $\preceq$
 \end_inset 
 
 
@@ -2920,7 +2752,7 @@ preceq
 \layout Standard
 
 
-\begin_inset Formula $\succeq $
+\begin_inset Formula $\succeq$
 \end_inset 
 
 
@@ -2946,7 +2778,7 @@ succeq
 \layout Standard
 
 
-\begin_inset Formula $\simeq $
+\begin_inset Formula $\simeq$
 \end_inset 
 
 
@@ -2970,7 +2802,7 @@ simeq
 \layout Standard
 
 
-\begin_inset Formula $\mid $
+\begin_inset Formula $\mid$
 \end_inset 
 
 
@@ -2994,7 +2826,7 @@ mid
 \layout Standard
 
 
-\begin_inset Formula $\ll $
+\begin_inset Formula $\ll$
 \end_inset 
 
 
@@ -3018,7 +2850,7 @@ ll
 \layout Standard
 
 
-\begin_inset Formula $\gg $
+\begin_inset Formula $\gg$
 \end_inset 
 
 
@@ -3042,7 +2874,7 @@ gg
 \layout Standard
 
 
-\begin_inset Formula $\asymp $
+\begin_inset Formula $\asymp$
 \end_inset 
 
 
@@ -3068,7 +2900,7 @@ asymp
 \layout Standard
 
 
-\begin_inset Formula $\parallel $
+\begin_inset Formula $\parallel$
 \end_inset 
 
 
@@ -3092,7 +2924,7 @@ parallel
 \layout Standard
 
 
-\begin_inset Formula $\subset $
+\begin_inset Formula $\subset$
 \end_inset 
 
 
@@ -3116,7 +2948,7 @@ subset
 \layout Standard
 
 
-\begin_inset Formula $\supset $
+\begin_inset Formula $\supset$
 \end_inset 
 
 
@@ -3140,7 +2972,7 @@ supset
 \layout Standard
 
 
-\begin_inset Formula $\approx $
+\begin_inset Formula $\approx$
 \end_inset 
 
 
@@ -3164,7 +2996,7 @@ approx
 \layout Standard
 
 
-\begin_inset Formula $\bowtie $
+\begin_inset Formula $\bowtie$
 \end_inset 
 
 
@@ -3190,7 +3022,7 @@ bowtie
 \layout Standard
 
 
-\begin_inset Formula $\subseteq $
+\begin_inset Formula $\subseteq$
 \end_inset 
 
 
@@ -3214,7 +3046,7 @@ subseteq
 \layout Standard
 
 
-\begin_inset Formula $\supseteq $
+\begin_inset Formula $\supseteq$
 \end_inset 
 
 
@@ -3238,7 +3070,7 @@ supseteq
 \layout Standard
 
 
-\begin_inset Formula $\cong $
+\begin_inset Formula $\cong$
 \end_inset 
 
 
@@ -3262,7 +3094,7 @@ cong
 \layout Standard
 
 
-\begin_inset Formula $\Join $
+\begin_inset Formula $\Join$
 \end_inset 
 
 
@@ -3286,7 +3118,7 @@ Join
 \layout Standard
 
 
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
 \end_inset 
 
 
@@ -3312,7 +3144,7 @@ sqsubset
 \layout Standard
 
 
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
 \end_inset 
 
 
@@ -3336,7 +3168,7 @@ sqsupset
 \layout Standard
 
 
-\begin_inset Formula $\neq $
+\begin_inset Formula $\neq$
 \end_inset 
 
 
@@ -3360,7 +3192,7 @@ neq
 \layout Standard
 
 
-\begin_inset Formula $\smile $
+\begin_inset Formula $\smile$
 \end_inset 
 
 
@@ -3384,7 +3216,7 @@ smile
 \layout Standard
 
 
-\begin_inset Formula $\sqsubseteq $
+\begin_inset Formula $\sqsubseteq$
 \end_inset 
 
 
@@ -3408,7 +3240,7 @@ sqsubseteq
 \layout Standard
 
 
-\begin_inset Formula $\sqsupseteq $
+\begin_inset Formula $\sqsupseteq$
 \end_inset 
 
 
@@ -3434,7 +3266,7 @@ sqsupseteq
 \layout Standard
 
 
-\begin_inset Formula $\doteq $
+\begin_inset Formula $\doteq$
 \end_inset 
 
 
@@ -3458,7 +3290,7 @@ doteq
 \layout Standard
 
 
-\begin_inset Formula $\frown $
+\begin_inset Formula $\frown$
 \end_inset 
 
 
@@ -3482,7 +3314,7 @@ frown
 \layout Standard
 
 
-\begin_inset Formula $\in $
+\begin_inset Formula $\in$
 \end_inset 
 
 
@@ -3506,7 +3338,7 @@ in
 \layout Standard
 
 
-\begin_inset Formula $\ni $
+\begin_inset Formula $\ni$
 \end_inset 
 
 
@@ -3530,7 +3362,7 @@ ni
 \layout Standard
 
 
-\begin_inset Formula $\propto $
+\begin_inset Formula $\propto$
 \end_inset 
 
 
@@ -3578,7 +3410,7 @@ propto
 \layout Standard
 
 
-\begin_inset Formula $\vdash $
+\begin_inset Formula $\vdash$
 \end_inset 
 
 
@@ -3602,7 +3434,7 @@ vdash
 \layout Standard
 
 
-\begin_inset Formula $\dashv $
+\begin_inset Formula $\dashv$
 \end_inset 
 
 
@@ -3682,7 +3514,7 @@ Relation symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -3703,7 +3535,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\leftarrow $
+\begin_inset Formula $\leftarrow$
 \end_inset 
 
 
@@ -3727,7 +3559,7 @@ leftarrow
 \layout Standard
 
 
-\begin_inset Formula $\longleftarrow $
+\begin_inset Formula $\longleftarrow$
 \end_inset 
 
 
@@ -3751,7 +3583,7 @@ longleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
 \end_inset 
 
 
@@ -3777,7 +3609,7 @@ uparrow
 \layout Standard
 
 
-\begin_inset Formula $\Leftarrow $
+\begin_inset Formula $\Leftarrow$
 \end_inset 
 
 
@@ -3801,7 +3633,7 @@ Leftarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longleftarrow $
+\begin_inset Formula $\Longleftarrow$
 \end_inset 
 
 
@@ -3825,7 +3657,7 @@ Longleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
 \end_inset 
 
 
@@ -3851,7 +3683,7 @@ Uparrow
 \layout Standard
 
 
-\begin_inset Formula $\rightarrow $
+\begin_inset Formula $\rightarrow$
 \end_inset 
 
 
@@ -3875,7 +3707,7 @@ rightarrow
 \layout Standard
 
 
-\begin_inset Formula $\longrightarrow $
+\begin_inset Formula $\longrightarrow$
 \end_inset 
 
 
@@ -3899,7 +3731,7 @@ longrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
 \end_inset 
 
 
@@ -3925,7 +3757,7 @@ downarrow
 \layout Standard
 
 
-\begin_inset Formula $\Rightarrow $
+\begin_inset Formula $\Rightarrow$
 \end_inset 
 
 
@@ -3949,7 +3781,7 @@ Rightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longrightarrow $
+\begin_inset Formula $\Longrightarrow$
 \end_inset 
 
 
@@ -3973,7 +3805,7 @@ Longrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
 \end_inset 
 
 
@@ -3999,7 +3831,7 @@ Downarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftrightarrow $
+\begin_inset Formula $\leftrightarrow$
 \end_inset 
 
 
@@ -4023,7 +3855,7 @@ leftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\longleftrightarrow $
+\begin_inset Formula $\longleftrightarrow$
 \end_inset 
 
 
@@ -4047,7 +3879,7 @@ longleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
 \end_inset 
 
 
@@ -4073,7 +3905,7 @@ updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\Leftrightarrow $
+\begin_inset Formula $\Leftrightarrow$
 \end_inset 
 
 
@@ -4097,7 +3929,7 @@ Leftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longleftrightarrow $
+\begin_inset Formula $\Longleftrightarrow$
 \end_inset 
 
 
@@ -4121,7 +3953,7 @@ Longleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
 \end_inset 
 
 
@@ -4147,7 +3979,7 @@ Updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\mapsto $
+\begin_inset Formula $\mapsto$
 \end_inset 
 
 
@@ -4171,7 +4003,7 @@ mapsto
 \layout Standard
 
 
-\begin_inset Formula $\longmapsto $
+\begin_inset Formula $\longmapsto$
 \end_inset 
 
 
@@ -4195,7 +4027,7 @@ longmapsto
 \layout Standard
 
 
-\begin_inset Formula $\nearrow $
+\begin_inset Formula $\nearrow$
 \end_inset 
 
 
@@ -4221,7 +4053,7 @@ nearrow
 \layout Standard
 
 
-\begin_inset Formula $\hookleftarrow $
+\begin_inset Formula $\hookleftarrow$
 \end_inset 
 
 
@@ -4245,7 +4077,7 @@ hookleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\hookrightarrow $
+\begin_inset Formula $\hookrightarrow$
 \end_inset 
 
 
@@ -4269,7 +4101,7 @@ hookrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\searrow $
+\begin_inset Formula $\searrow$
 \end_inset 
 
 
@@ -4295,7 +4127,7 @@ searrow
 \layout Standard
 
 
-\begin_inset Formula $\leftharpoonup $
+\begin_inset Formula $\leftharpoonup$
 \end_inset 
 
 
@@ -4319,7 +4151,7 @@ leftharpoonup
 \layout Standard
 
 
-\begin_inset Formula $\rightharpoonup $
+\begin_inset Formula $\rightharpoonup$
 \end_inset 
 
 
@@ -4343,7 +4175,7 @@ rightharpoonup
 \layout Standard
 
 
-\begin_inset Formula $\swarrow $
+\begin_inset Formula $\swarrow$
 \end_inset 
 
 
@@ -4369,7 +4201,7 @@ swarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftharpoondown $
+\begin_inset Formula $\leftharpoondown$
 \end_inset 
 
 
@@ -4393,7 +4225,7 @@ leftharpoondown
 \layout Standard
 
 
-\begin_inset Formula $\rightharpoondown $
+\begin_inset Formula $\rightharpoondown$
 \end_inset 
 
 
@@ -4417,7 +4249,7 @@ rightharpoondown
 \layout Standard
 
 
-\begin_inset Formula $\nwarrow $
+\begin_inset Formula $\nwarrow$
 \end_inset 
 
 
@@ -4453,7 +4285,7 @@ Arrow symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -4478,7 +4310,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\ldots $
+\begin_inset Formula $\ldots$
 \end_inset 
 
 
@@ -4502,7 +4334,7 @@ ldots
 \layout Standard
 
 
-\begin_inset Formula $\cdots $
+\begin_inset Formula $\cdots$
 \end_inset 
 
 
@@ -4526,7 +4358,7 @@ cdots
 \layout Standard
 
 
-\begin_inset Formula $\vdots $
+\begin_inset Formula $\vdots$
 \end_inset 
 
 
@@ -4550,7 +4382,7 @@ vdots
 \layout Standard
 
 
-\begin_inset Formula $\ddots $
+\begin_inset Formula $\ddots$
 \end_inset 
 
 
@@ -4574,7 +4406,7 @@ ddots
 \layout Standard
 
 
-\begin_inset Formula $\aleph $
+\begin_inset Formula $\aleph$
 \end_inset 
 
 
@@ -4600,7 +4432,7 @@ aleph
 \layout Standard
 
 
-\begin_inset Formula $\prime $
+\begin_inset Formula $\prime$
 \end_inset 
 
 
@@ -4624,7 +4456,7 @@ prime
 \layout Standard
 
 
-\begin_inset Formula $\forall $
+\begin_inset Formula $\forall$
 \end_inset 
 
 
@@ -4648,7 +4480,7 @@ forall
 \layout Standard
 
 
-\begin_inset Formula $\infty $
+\begin_inset Formula $\infty$
 \end_inset 
 
 
@@ -4672,7 +4504,7 @@ infty
 \layout Standard
 
 
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
 \end_inset 
 
 
@@ -4696,7 +4528,7 @@ hbar
 \layout Standard
 
 
-\begin_inset Formula $\emptyset $
+\begin_inset Formula $\emptyset$
 \end_inset 
 
 
@@ -4722,7 +4554,7 @@ emptyset
 \layout Standard
 
 
-\begin_inset Formula $\exists $
+\begin_inset Formula $\exists$
 \end_inset 
 
 
@@ -4746,7 +4578,7 @@ exists
 \layout Standard
 
 
-\begin_inset Formula $\nabla $
+\begin_inset Formula $\nabla$
 \end_inset 
 
 
@@ -4770,7 +4602,7 @@ nabla
 \layout Standard
 
 
-\begin_inset Formula $\surd $
+\begin_inset Formula $\surd$
 \end_inset 
 
 
@@ -4794,7 +4626,7 @@ surd
 \layout Standard
 
 
-\begin_inset Formula $\Box $
+\begin_inset Formula $\Box$
 \end_inset 
 
 
@@ -4818,7 +4650,7 @@ Box
 \layout Standard
 
 
-\begin_inset Formula $\triangle $
+\begin_inset Formula $\triangle$
 \end_inset 
 
 
@@ -4844,7 +4676,7 @@ triangle
 \layout Standard
 
 
-\begin_inset Formula $\Diamond $
+\begin_inset Formula $\Diamond$
 \end_inset 
 
 
@@ -4868,7 +4700,7 @@ Diamond
 \layout Standard
 
 
-\begin_inset Formula $\imath $
+\begin_inset Formula $\imath$
 \end_inset 
 
 
@@ -4892,7 +4724,7 @@ imath
 \layout Standard
 
 
-\begin_inset Formula $\jmath $
+\begin_inset Formula $\jmath$
 \end_inset 
 
 
@@ -4916,7 +4748,7 @@ jmath
 \layout Standard
 
 
-\begin_inset Formula $\ell $
+\begin_inset Formula $\ell$
 \end_inset 
 
 
@@ -4940,7 +4772,7 @@ ell
 \layout Standard
 
 
-\begin_inset Formula $\neg $
+\begin_inset Formula $\neg$
 \end_inset 
 
 
@@ -4966,7 +4798,7 @@ neg
 \layout Standard
 
 
-\begin_inset Formula $\top $
+\begin_inset Formula $\top$
 \end_inset 
 
 
@@ -4990,7 +4822,7 @@ top
 \layout Standard
 
 
-\begin_inset Formula $\flat $
+\begin_inset Formula $\flat$
 \end_inset 
 
 
@@ -5014,7 +4846,7 @@ flat
 \layout Standard
 
 
-\begin_inset Formula $\natural $
+\begin_inset Formula $\natural$
 \end_inset 
 
 
@@ -5038,7 +4870,7 @@ natural
 \layout Standard
 
 
-\begin_inset Formula $\sharp $
+\begin_inset Formula $\sharp$
 \end_inset 
 
 
@@ -5062,7 +4894,7 @@ sharp
 \layout Standard
 
 
-\begin_inset Formula $\wp $
+\begin_inset Formula $\wp$
 \end_inset 
 
 
@@ -5088,7 +4920,7 @@ wp
 \layout Standard
 
 
-\begin_inset Formula $\bot $
+\begin_inset Formula $\bot$
 \end_inset 
 
 
@@ -5112,7 +4944,7 @@ bot
 \layout Standard
 
 
-\begin_inset Formula $\clubsuit $
+\begin_inset Formula $\clubsuit$
 \end_inset 
 
 
@@ -5136,7 +4968,7 @@ clubsuit
 \layout Standard
 
 
-\begin_inset Formula $\diamondsuit $
+\begin_inset Formula $\diamondsuit$
 \end_inset 
 
 
@@ -5160,7 +4992,7 @@ diamondsuit
 \layout Standard
 
 
-\begin_inset Formula $\heartsuit $
+\begin_inset Formula $\heartsuit$
 \end_inset 
 
 
@@ -5184,7 +5016,7 @@ heartsuit
 \layout Standard
 
 
-\begin_inset Formula $\spadesuit $
+\begin_inset Formula $\spadesuit$
 \end_inset 
 
 
@@ -5210,7 +5042,7 @@ spadesuit
 \layout Standard
 
 
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
 \end_inset 
 
 
@@ -5234,7 +5066,7 @@ mho
 \layout Standard
 
 
-\begin_inset Formula $\Re $
+\begin_inset Formula $\Re$
 \end_inset 
 
 
@@ -5258,7 +5090,7 @@ Re
 \layout Standard
 
 
-\begin_inset Formula $\Im $
+\begin_inset Formula $\Im$
 \end_inset 
 
 
@@ -5282,7 +5114,7 @@ Im
 \layout Standard
 
 
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
 \end_inset 
 
 
@@ -5306,7 +5138,7 @@ angle
 \layout Standard
 
 
-\begin_inset Formula $\partial $
+\begin_inset Formula $\partial$
 \end_inset 
 
 
@@ -5342,7 +5174,7 @@ Miscellaneous symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -5367,7 +5199,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\sum $
+\begin_inset Formula $\sum$
 \end_inset 
 
 
@@ -5391,7 +5223,7 @@ sum
 \layout Standard
 
 
-\begin_inset Formula $\prod $
+\begin_inset Formula $\prod$
 \end_inset 
 
 
@@ -5415,7 +5247,7 @@ prod
 \layout Standard
 
 
-\begin_inset Formula $\coprod $
+\begin_inset Formula $\coprod$
 \end_inset 
 
 
@@ -5439,7 +5271,7 @@ coprod
 \layout Standard
 
 
-\begin_inset Formula $\int $
+\begin_inset Formula $\int$
 \end_inset 
 
 
@@ -5463,7 +5295,7 @@ int
 \layout Standard
 
 
-\begin_inset Formula $\oint $
+\begin_inset Formula $\oint$
 \end_inset 
 
 
@@ -5489,7 +5321,7 @@ oint
 \layout Standard
 
 
-\begin_inset Formula $\bigcap $
+\begin_inset Formula $\bigcap$
 \end_inset 
 
 
@@ -5513,7 +5345,7 @@ bigcap
 \layout Standard
 
 
-\begin_inset Formula $\bigcup $
+\begin_inset Formula $\bigcup$
 \end_inset 
 
 
@@ -5537,7 +5369,7 @@ bigcup
 \layout Standard
 
 
-\begin_inset Formula $\bigsqcup $
+\begin_inset Formula $\bigsqcup$
 \end_inset 
 
 
@@ -5561,7 +5393,7 @@ bigsqcup
 \layout Standard
 
 
-\begin_inset Formula $\bigvee $
+\begin_inset Formula $\bigvee$
 \end_inset 
 
 
@@ -5585,7 +5417,7 @@ bigvee
 \layout Standard
 
 
-\begin_inset Formula $\bigwedge $
+\begin_inset Formula $\bigwedge$
 \end_inset 
 
 
@@ -5611,7 +5443,7 @@ bigwedge
 \layout Standard
 
 
-\begin_inset Formula $\bigodot $
+\begin_inset Formula $\bigodot$
 \end_inset 
 
 
@@ -5635,7 +5467,7 @@ bigodot
 \layout Standard
 
 
-\begin_inset Formula $\bigotimes $
+\begin_inset Formula $\bigotimes$
 \end_inset 
 
 
@@ -5659,7 +5491,7 @@ bigotimes
 \layout Standard
 
 
-\begin_inset Formula $\bigoplus $
+\begin_inset Formula $\bigoplus$
 \end_inset 
 
 
@@ -5683,7 +5515,7 @@ bigoplus
 \layout Standard
 
 
-\begin_inset Formula $\biguplus $
+\begin_inset Formula $\biguplus$
 \end_inset 
 
 
@@ -5733,7 +5565,7 @@ Variable-sized symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -5756,7 +5588,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\arccos $
+\begin_inset Formula $\arccos$
 \end_inset 
 
 
@@ -5768,7 +5600,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\cos $
+\begin_inset Formula $\cos$
 \end_inset 
 
 
@@ -5780,7 +5612,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\csc $
+\begin_inset Formula $\csc$
 \end_inset 
 
 
@@ -5792,7 +5624,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\exp $
+\begin_inset Formula $\exp$
 \end_inset 
 
 
@@ -5804,7 +5636,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\ker $
+\begin_inset Formula $\ker$
 \end_inset 
 
 
@@ -5816,7 +5648,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\limsup $
+\begin_inset Formula $\limsup$
 \end_inset 
 
 
@@ -5828,7 +5660,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\min $
+\begin_inset Formula $\min$
 \end_inset 
 
 
@@ -5840,7 +5672,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\sinh $
+\begin_inset Formula $\sinh$
 \end_inset 
 
 
@@ -5854,7 +5686,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\arcsin $
+\begin_inset Formula $\arcsin$
 \end_inset 
 
 
@@ -5866,7 +5698,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\cosh $
+\begin_inset Formula $\cosh$
 \end_inset 
 
 
@@ -5878,7 +5710,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\deg $
+\begin_inset Formula $\deg$
 \end_inset 
 
 
@@ -5890,7 +5722,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\gcd $
+\begin_inset Formula $\gcd$
 \end_inset 
 
 
@@ -5902,7 +5734,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\lg $
+\begin_inset Formula $\lg$
 \end_inset 
 
 
@@ -5914,7 +5746,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\ln $
+\begin_inset Formula $\ln$
 \end_inset 
 
 
@@ -5926,7 +5758,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\Pr $
+\begin_inset Formula $\Pr$
 \end_inset 
 
 
@@ -5938,7 +5770,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\sup $
+\begin_inset Formula $\sup$
 \end_inset 
 
 
@@ -5952,7 +5784,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\arctan $
+\begin_inset Formula $\arctan$
 \end_inset 
 
 
@@ -5964,7 +5796,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\cot $
+\begin_inset Formula $\cot$
 \end_inset 
 
 
@@ -5976,7 +5808,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\det $
+\begin_inset Formula $\det$
 \end_inset 
 
 
@@ -5988,7 +5820,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\hom $
+\begin_inset Formula $\hom$
 \end_inset 
 
 
@@ -6000,7 +5832,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\lim $
+\begin_inset Formula $\lim$
 \end_inset 
 
 
@@ -6012,7 +5844,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\log $
+\begin_inset Formula $\log$
 \end_inset 
 
 
@@ -6024,7 +5856,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\sec $
+\begin_inset Formula $\sec$
 \end_inset 
 
 
@@ -6036,7 +5868,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\tan $
+\begin_inset Formula $\tan$
 \end_inset 
 
 
@@ -6050,7 +5882,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\arg $
+\begin_inset Formula $\arg$
 \end_inset 
 
 
@@ -6062,7 +5894,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\coth $
+\begin_inset Formula $\coth$
 \end_inset 
 
 
@@ -6074,7 +5906,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\dim $
+\begin_inset Formula $\dim$
 \end_inset 
 
 
@@ -6086,7 +5918,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\inf $
+\begin_inset Formula $\inf$
 \end_inset 
 
 
@@ -6098,7 +5930,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\liminf $
+\begin_inset Formula $\liminf$
 \end_inset 
 
 
@@ -6110,7 +5942,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\max $
+\begin_inset Formula $\max$
 \end_inset 
 
 
@@ -6122,7 +5954,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\sin $
+\begin_inset Formula $\sin$
 \end_inset 
 
 
@@ -6134,7 +5966,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\tanh $
+\begin_inset Formula $\tanh$
 \end_inset 
 
 
@@ -6158,7 +5990,7 @@ Log-like symbols
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -6181,7 +6013,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
 \end_inset 
 
 
@@ -6205,7 +6037,7 @@ uparrow
 \layout Standard
 
 
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
 \end_inset 
 
 
@@ -6229,7 +6061,7 @@ Uparrow
 \layout Standard
 
 
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
 \end_inset 
 
 
@@ -6253,7 +6085,7 @@ downarrow
 \layout Standard
 
 
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
 \end_inset 
 
 
@@ -6327,7 +6159,7 @@ Downarrow
 \layout Standard
 
 
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
 \end_inset 
 
 
@@ -6351,7 +6183,7 @@ updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
 \end_inset 
 
 
@@ -6377,7 +6209,7 @@ Updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\lfloor $
+\begin_inset Formula $\lfloor$
 \end_inset 
 
 
@@ -6401,7 +6233,7 @@ lfloor
 \layout Standard
 
 
-\begin_inset Formula $\rfloor $
+\begin_inset Formula $\rfloor$
 \end_inset 
 
 
@@ -6425,7 +6257,7 @@ rfloor
 \layout Standard
 
 
-\begin_inset Formula $\lceil $
+\begin_inset Formula $\lceil$
 \end_inset 
 
 
@@ -6449,7 +6281,7 @@ lceil
 \layout Standard
 
 
-\begin_inset Formula $\rceil $
+\begin_inset Formula $\rceil$
 \end_inset 
 
 
@@ -6475,7 +6307,7 @@ rceil
 \layout Standard
 
 
-\begin_inset Formula $\langle $
+\begin_inset Formula $\langle$
 \end_inset 
 
 
@@ -6499,7 +6331,7 @@ langle
 \layout Standard
 
 
-\begin_inset Formula $\rangle $
+\begin_inset Formula $\rangle$
 \end_inset 
 
 
@@ -6545,7 +6377,7 @@ rangle
 \layout Standard
 
 
-\begin_inset Formula $\backslash $
+\begin_inset Formula $\backslash$
 \end_inset 
 
 
@@ -6593,7 +6425,7 @@ backslash
 \layout Standard
 
 
-\begin_inset Formula $\| $
+\begin_inset Formula $\|$
 \end_inset 
 
 
@@ -6657,226 +6489,7 @@ Delimiters
 \begin_inset Float table
 placement H
 wide false
-collapsed true
-
-\layout Standard
-
-
-\begin_inset  Tabular
-<lyxtabular version="3" rows="2" columns="8">
-<features>
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\rmoustache $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-rmoustache
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\lmoustache $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-lmoustache
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\rgroup $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-rgroup
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\lgroup $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-lgroup
-\end_inset 
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\arrowvert $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-arrowvert
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\Arrowvert $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-Arrowvert
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\bracevert $
-\end_inset 
-
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter 
-
-\backslash 
-bracevert
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-\end_inset 
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-\end_inset 
-</cell>
-</row>
-</lyxtabular>
-
-\end_inset 
-
-
-\layout Caption
-
-Large delimiters
-\end_inset 
-
-
-\layout Standard
-
-
-\begin_inset Float table
-placement H
-wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -7205,7 +6818,7 @@ LaTeX math constructs
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -7230,7 +6843,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\digamma $
+\begin_inset Formula $\digamma$
 \end_inset 
 
 
@@ -7254,7 +6867,7 @@ digamma
 \layout Standard
 
 
-\begin_inset Formula $\varkappa $
+\begin_inset Formula $\varkappa$
 \end_inset 
 
 
@@ -7278,7 +6891,7 @@ varkappa
 \layout Standard
 
 
-\begin_inset Formula $\beth $
+\begin_inset Formula $\beth$
 \end_inset 
 
 
@@ -7302,7 +6915,7 @@ beth
 \layout Standard
 
 
-\begin_inset Formula $\daleth $
+\begin_inset Formula $\daleth$
 \end_inset 
 
 
@@ -7326,7 +6939,7 @@ daleth
 \layout Standard
 
 
-\begin_inset Formula $\gimel $
+\begin_inset Formula $\gimel$
 \end_inset 
 
 
@@ -7362,7 +6975,7 @@ AMS Greek and Hebrew
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -7385,7 +6998,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\ulcorner $
+\begin_inset Formula $\ulcorner$
 \end_inset 
 
 
@@ -7409,7 +7022,7 @@ ulcorner
 \layout Standard
 
 
-\begin_inset Formula $\urcorner $
+\begin_inset Formula $\urcorner$
 \end_inset 
 
 
@@ -7433,7 +7046,7 @@ urcorner
 \layout Standard
 
 
-\begin_inset Formula $\llcorner $
+\begin_inset Formula $\llcorner$
 \end_inset 
 
 
@@ -7457,7 +7070,7 @@ llcorner
 \layout Standard
 
 
-\begin_inset Formula $\lrcorner $
+\begin_inset Formula $\lrcorner$
 \end_inset 
 
 
@@ -7493,7 +7106,7 @@ AMS delimiters
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -7514,7 +7127,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\dashrightarrow $
+\begin_inset Formula $\dashrightarrow$
 \end_inset 
 
 
@@ -7538,7 +7151,7 @@ dashrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\dashleftarrow $
+\begin_inset Formula $\dashleftarrow$
 \end_inset 
 
 
@@ -7562,7 +7175,7 @@ dashleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftleftarrows $
+\begin_inset Formula $\leftleftarrows$
 \end_inset 
 
 
@@ -7588,7 +7201,7 @@ leftleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\leftrightarrows $
+\begin_inset Formula $\leftrightarrows$
 \end_inset 
 
 
@@ -7612,7 +7225,7 @@ leftrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\Lleftarrow $
+\begin_inset Formula $\Lleftarrow$
 \end_inset 
 
 
@@ -7636,7 +7249,7 @@ Lleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\twoheadleftarrow $
+\begin_inset Formula $\twoheadleftarrow$
 \end_inset 
 
 
@@ -7662,7 +7275,7 @@ twoheadleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftarrowtail $
+\begin_inset Formula $\leftarrowtail$
 \end_inset 
 
 
@@ -7686,7 +7299,7 @@ leftarrowtail
 \layout Standard
 
 
-\begin_inset Formula $\looparrowleft $
+\begin_inset Formula $\looparrowleft$
 \end_inset 
 
 
@@ -7710,7 +7323,7 @@ looparrowleft
 \layout Standard
 
 
-\begin_inset Formula $\leftrightharpoons $
+\begin_inset Formula $\leftrightharpoons$
 \end_inset 
 
 
@@ -7736,7 +7349,7 @@ leftrightharpoons
 \layout Standard
 
 
-\begin_inset Formula $\curvearrowleft $
+\begin_inset Formula $\curvearrowleft$
 \end_inset 
 
 
@@ -7760,7 +7373,7 @@ curvearrowleft
 \layout Standard
 
 
-\begin_inset Formula $\circlearrowleft $
+\begin_inset Formula $\circlearrowleft$
 \end_inset 
 
 
@@ -7784,7 +7397,7 @@ circlearrowleft
 \layout Standard
 
 
-\begin_inset Formula $\Lsh $
+\begin_inset Formula $\Lsh$
 \end_inset 
 
 
@@ -7810,7 +7423,7 @@ Lsh
 \layout Standard
 
 
-\begin_inset Formula $\upuparrows $
+\begin_inset Formula $\upuparrows$
 \end_inset 
 
 
@@ -7834,7 +7447,7 @@ upuparrows
 \layout Standard
 
 
-\begin_inset Formula $\upharpoonleft $
+\begin_inset Formula $\upharpoonleft$
 \end_inset 
 
 
@@ -7858,7 +7471,7 @@ upharpoonleft
 \layout Standard
 
 
-\begin_inset Formula $\downharpoonleft $
+\begin_inset Formula $\downharpoonleft$
 \end_inset 
 
 
@@ -7884,7 +7497,7 @@ downharpoonleft
 \layout Standard
 
 
-\begin_inset Formula $\multimap $
+\begin_inset Formula $\multimap$
 \end_inset 
 
 
@@ -7908,7 +7521,7 @@ multimap
 \layout Standard
 
 
-\begin_inset Formula $\leftrightsquigarrow $
+\begin_inset Formula $\leftrightsquigarrow$
 \end_inset 
 
 
@@ -7932,7 +7545,7 @@ leftrightsquigarrow
 \layout Standard
 
 
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
 \end_inset 
 
 
@@ -7958,7 +7571,7 @@ rightrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
 \end_inset 
 
 
@@ -7982,7 +7595,7 @@ rightleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
 \end_inset 
 
 
@@ -8006,7 +7619,7 @@ rightrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
 \end_inset 
 
 
@@ -8032,7 +7645,7 @@ rightleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\twoheadrightarrow $
+\begin_inset Formula $\twoheadrightarrow$
 \end_inset 
 
 
@@ -8056,7 +7669,7 @@ twoheadrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\rightarrowtail $
+\begin_inset Formula $\rightarrowtail$
 \end_inset 
 
 
@@ -8080,7 +7693,7 @@ rightarrowtail
 \layout Standard
 
 
-\begin_inset Formula $\looparrowright $
+\begin_inset Formula $\looparrowright$
 \end_inset 
 
 
@@ -8106,7 +7719,7 @@ looparrowright
 \layout Standard
 
 
-\begin_inset Formula $\rightleftharpoons $
+\begin_inset Formula $\rightleftharpoons$
 \end_inset 
 
 
@@ -8130,7 +7743,7 @@ rightleftharpoons
 \layout Standard
 
 
-\begin_inset Formula $\curvearrowright $
+\begin_inset Formula $\curvearrowright$
 \end_inset 
 
 
@@ -8154,7 +7767,7 @@ curvearrowright
 \layout Standard
 
 
-\begin_inset Formula $\circlearrowright $
+\begin_inset Formula $\circlearrowright$
 \end_inset 
 
 
@@ -8180,7 +7793,7 @@ circlearrowright
 \layout Standard
 
 
-\begin_inset Formula $\Rsh $
+\begin_inset Formula $\Rsh$
 \end_inset 
 
 
@@ -8204,7 +7817,7 @@ Rsh
 \layout Standard
 
 
-\begin_inset Formula $\downdownarrows $
+\begin_inset Formula $\downdownarrows$
 \end_inset 
 
 
@@ -8228,7 +7841,7 @@ downdownarrows
 \layout Standard
 
 
-\begin_inset Formula $\upharpoonright $
+\begin_inset Formula $\upharpoonright$
 \end_inset 
 
 
@@ -8254,7 +7867,7 @@ upharpoonright
 \layout Standard
 
 
-\begin_inset Formula $\downharpoonright $
+\begin_inset Formula $\downharpoonright$
 \end_inset 
 
 
@@ -8278,7 +7891,7 @@ downharpoonright
 \layout Standard
 
 
-\begin_inset Formula $\rightsquigarrow $
+\begin_inset Formula $\rightsquigarrow$
 \end_inset 
 
 
@@ -8328,7 +7941,7 @@ AMS arrows
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -8349,7 +7962,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\nleftarrow $
+\begin_inset Formula $\nleftarrow$
 \end_inset 
 
 
@@ -8373,7 +7986,7 @@ nleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\nrightarrow $
+\begin_inset Formula $\nrightarrow$
 \end_inset 
 
 
@@ -8397,7 +8010,7 @@ nrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nLeftarrow $
+\begin_inset Formula $\nLeftarrow$
 \end_inset 
 
 
@@ -8423,7 +8036,7 @@ nLeftarrow
 \layout Standard
 
 
-\begin_inset Formula $\nRightarrow $
+\begin_inset Formula $\nRightarrow$
 \end_inset 
 
 
@@ -8447,7 +8060,7 @@ nRightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nleftrightarrow $
+\begin_inset Formula $\nleftrightarrow$
 \end_inset 
 
 
@@ -8471,7 +8084,7 @@ nleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nLeftrightarrow $
+\begin_inset Formula $\nLeftrightarrow$
 \end_inset 
 
 
@@ -8507,7 +8120,7 @@ AMS negated arrows
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -8528,7 +8141,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\leqq $
+\begin_inset Formula $\leqq$
 \end_inset 
 
 
@@ -8552,7 +8165,7 @@ leqq
 \layout Standard
 
 
-\begin_inset Formula $\leqslant $
+\begin_inset Formula $\leqslant$
 \end_inset 
 
 
@@ -8576,7 +8189,7 @@ leqslant
 \layout Standard
 
 
-\begin_inset Formula $\eqslantless $
+\begin_inset Formula $\eqslantless$
 \end_inset 
 
 
@@ -8602,7 +8215,7 @@ eqslantless
 \layout Standard
 
 
-\begin_inset Formula $\lesssim $
+\begin_inset Formula $\lesssim$
 \end_inset 
 
 
@@ -8626,7 +8239,7 @@ lesssim
 \layout Standard
 
 
-\begin_inset Formula $\lessapprox $
+\begin_inset Formula $\lessapprox$
 \end_inset 
 
 
@@ -8650,7 +8263,7 @@ lessapprox
 \layout Standard
 
 
-\begin_inset Formula $\approxeq $
+\begin_inset Formula $\approxeq$
 \end_inset 
 
 
@@ -8676,7 +8289,7 @@ approxeq
 \layout Standard
 
 
-\begin_inset Formula $\lessdot $
+\begin_inset Formula $\lessdot$
 \end_inset 
 
 
@@ -8700,7 +8313,7 @@ lessdot
 \layout Standard
 
 
-\begin_inset Formula $\lll $
+\begin_inset Formula $\lll$
 \end_inset 
 
 
@@ -8724,7 +8337,7 @@ lll
 \layout Standard
 
 
-\begin_inset Formula $\lessgtr $
+\begin_inset Formula $\lessgtr$
 \end_inset 
 
 
@@ -8750,7 +8363,7 @@ lessgtr
 \layout Standard
 
 
-\begin_inset Formula $\lesseqgtr $
+\begin_inset Formula $\lesseqgtr$
 \end_inset 
 
 
@@ -8774,7 +8387,7 @@ lesseqgtr
 \layout Standard
 
 
-\begin_inset Formula $\lesseqqgtr $
+\begin_inset Formula $\lesseqqgtr$
 \end_inset 
 
 
@@ -8798,7 +8411,7 @@ lesseqqgtr
 \layout Standard
 
 
-\begin_inset Formula $\doteqdot $
+\begin_inset Formula $\doteqdot$
 \end_inset 
 
 
@@ -8824,7 +8437,7 @@ doteqdot
 \layout Standard
 
 
-\begin_inset Formula $\risingdotseq $
+\begin_inset Formula $\risingdotseq$
 \end_inset 
 
 
@@ -8848,7 +8461,7 @@ risingdotseq
 \layout Standard
 
 
-\begin_inset Formula $\fallingdotseq $
+\begin_inset Formula $\fallingdotseq$
 \end_inset 
 
 
@@ -8872,7 +8485,7 @@ fallingdotseq
 \layout Standard
 
 
-\begin_inset Formula $\backsim $
+\begin_inset Formula $\backsim$
 \end_inset 
 
 
@@ -8898,7 +8511,7 @@ backsim
 \layout Standard
 
 
-\begin_inset Formula $\backsimeq $
+\begin_inset Formula $\backsimeq$
 \end_inset 
 
 
@@ -8922,7 +8535,7 @@ backsimeq
 \layout Standard
 
 
-\begin_inset Formula $\subseteqq $
+\begin_inset Formula $\subseteqq$
 \end_inset 
 
 
@@ -8946,7 +8559,7 @@ subseteqq
 \layout Standard
 
 
-\begin_inset Formula $\Subset $
+\begin_inset Formula $\Subset$
 \end_inset 
 
 
@@ -8972,7 +8585,7 @@ Subset
 \layout Standard
 
 
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
 \end_inset 
 
 
@@ -8996,7 +8609,7 @@ sqsubset
 \layout Standard
 
 
-\begin_inset Formula $\preccurlyeq $
+\begin_inset Formula $\preccurlyeq$
 \end_inset 
 
 
@@ -9020,7 +8633,7 @@ preccurlyeq
 \layout Standard
 
 
-\begin_inset Formula $\curlyeqprec $
+\begin_inset Formula $\curlyeqprec$
 \end_inset 
 
 
@@ -9046,7 +8659,7 @@ curlyeqprec
 \layout Standard
 
 
-\begin_inset Formula $\precsim $
+\begin_inset Formula $\precsim$
 \end_inset 
 
 
@@ -9070,7 +8683,7 @@ precsim
 \layout Standard
 
 
-\begin_inset Formula $\precapprox $
+\begin_inset Formula $\precapprox$
 \end_inset 
 
 
@@ -9094,7 +8707,7 @@ precapprox
 \layout Standard
 
 
-\begin_inset Formula $\vartriangleleft $
+\begin_inset Formula $\vartriangleleft$
 \end_inset 
 
 
@@ -9120,7 +8733,7 @@ vartriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\trianglelefteq $
+\begin_inset Formula $\trianglelefteq$
 \end_inset 
 
 
@@ -9144,7 +8757,7 @@ trianglelefteq
 \layout Standard
 
 
-\begin_inset Formula $\vDash $
+\begin_inset Formula $\vDash$
 \end_inset 
 
 
@@ -9168,7 +8781,7 @@ vDash
 \layout Standard
 
 
-\begin_inset Formula $\Vvdash $
+\begin_inset Formula $\Vvdash$
 \end_inset 
 
 
@@ -9194,7 +8807,7 @@ Vvdash
 \layout Standard
 
 
-\begin_inset Formula $\smallsmile $
+\begin_inset Formula $\smallsmile$
 \end_inset 
 
 
@@ -9218,7 +8831,7 @@ smallsmile
 \layout Standard
 
 
-\begin_inset Formula $\smallfrown $
+\begin_inset Formula $\smallfrown$
 \end_inset 
 
 
@@ -9242,7 +8855,7 @@ smallfrown
 \layout Standard
 
 
-\begin_inset Formula $\bumpeq $
+\begin_inset Formula $\bumpeq$
 \end_inset 
 
 
@@ -9268,7 +8881,7 @@ bumpeq
 \layout Standard
 
 
-\begin_inset Formula $\Bumpeq $
+\begin_inset Formula $\Bumpeq$
 \end_inset 
 
 
@@ -9292,7 +8905,7 @@ Bumpeq
 \layout Standard
 
 
-\begin_inset Formula $\geqq $
+\begin_inset Formula $\geqq$
 \end_inset 
 
 
@@ -9316,7 +8929,7 @@ geqq
 \layout Standard
 
 
-\begin_inset Formula $\geqslant $
+\begin_inset Formula $\geqslant$
 \end_inset 
 
 
@@ -9342,7 +8955,7 @@ geqslant
 \layout Standard
 
 
-\begin_inset Formula $\eqslantgtr $
+\begin_inset Formula $\eqslantgtr$
 \end_inset 
 
 
@@ -9366,7 +8979,7 @@ eqslantgtr
 \layout Standard
 
 
-\begin_inset Formula $\gtrsim $
+\begin_inset Formula $\gtrsim$
 \end_inset 
 
 
@@ -9390,7 +9003,7 @@ gtrsim
 \layout Standard
 
 
-\begin_inset Formula $\gtrapprox $
+\begin_inset Formula $\gtrapprox$
 \end_inset 
 
 
@@ -9416,7 +9029,7 @@ gtrapprox
 \layout Standard
 
 
-\begin_inset Formula $\gtrdot $
+\begin_inset Formula $\gtrdot$
 \end_inset 
 
 
@@ -9440,7 +9053,7 @@ gtrdot
 \layout Standard
 
 
-\begin_inset Formula $\ggg $
+\begin_inset Formula $\ggg$
 \end_inset 
 
 
@@ -9464,7 +9077,7 @@ ggg
 \layout Standard
 
 
-\begin_inset Formula $\gtrless $
+\begin_inset Formula $\gtrless$
 \end_inset 
 
 
@@ -9490,7 +9103,7 @@ gtrless
 \layout Standard
 
 
-\begin_inset Formula $\gtreqless $
+\begin_inset Formula $\gtreqless$
 \end_inset 
 
 
@@ -9514,7 +9127,7 @@ gtreqless
 \layout Standard
 
 
-\begin_inset Formula $\gtreqqless $
+\begin_inset Formula $\gtreqqless$
 \end_inset 
 
 
@@ -9538,7 +9151,7 @@ gtreqqless
 \layout Standard
 
 
-\begin_inset Formula $\eqcirc $
+\begin_inset Formula $\eqcirc$
 \end_inset 
 
 
@@ -9564,7 +9177,7 @@ eqcirc
 \layout Standard
 
 
-\begin_inset Formula $\circeq $
+\begin_inset Formula $\circeq$
 \end_inset 
 
 
@@ -9588,7 +9201,7 @@ circeq
 \layout Standard
 
 
-\begin_inset Formula $\triangleq $
+\begin_inset Formula $\triangleq$
 \end_inset 
 
 
@@ -9612,7 +9225,7 @@ triangleq
 \layout Standard
 
 
-\begin_inset Formula $\thicksim $
+\begin_inset Formula $\thicksim$
 \end_inset 
 
 
@@ -9638,7 +9251,7 @@ thicksim
 \layout Standard
 
 
-\begin_inset Formula $\thickapprox $
+\begin_inset Formula $\thickapprox$
 \end_inset 
 
 
@@ -9662,7 +9275,7 @@ thickapprox
 \layout Standard
 
 
-\begin_inset Formula $\supseteqq $
+\begin_inset Formula $\supseteqq$
 \end_inset 
 
 
@@ -9686,7 +9299,7 @@ supseteqq
 \layout Standard
 
 
-\begin_inset Formula $\Supset $
+\begin_inset Formula $\Supset$
 \end_inset 
 
 
@@ -9712,7 +9325,7 @@ Supset
 \layout Standard
 
 
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
 \end_inset 
 
 
@@ -9736,7 +9349,7 @@ sqsupset
 \layout Standard
 
 
-\begin_inset Formula $\succcurlyeq $
+\begin_inset Formula $\succcurlyeq$
 \end_inset 
 
 
@@ -9760,7 +9373,7 @@ succcurlyeq
 \layout Standard
 
 
-\begin_inset Formula $\curlyeqsucc $
+\begin_inset Formula $\curlyeqsucc$
 \end_inset 
 
 
@@ -9786,7 +9399,7 @@ curlyeqsucc
 \layout Standard
 
 
-\begin_inset Formula $\succsim $
+\begin_inset Formula $\succsim$
 \end_inset 
 
 
@@ -9810,7 +9423,7 @@ succsim
 \layout Standard
 
 
-\begin_inset Formula $\succapprox $
+\begin_inset Formula $\succapprox$
 \end_inset 
 
 
@@ -9834,7 +9447,7 @@ succapprox
 \layout Standard
 
 
-\begin_inset Formula $\vartriangleright $
+\begin_inset Formula $\vartriangleright$
 \end_inset 
 
 
@@ -9860,7 +9473,7 @@ vartriangleright
 \layout Standard
 
 
-\begin_inset Formula $\trianglerighteq $
+\begin_inset Formula $\trianglerighteq$
 \end_inset 
 
 
@@ -9884,7 +9497,7 @@ trianglerighteq
 \layout Standard
 
 
-\begin_inset Formula $\Vdash $
+\begin_inset Formula $\Vdash$
 \end_inset 
 
 
@@ -9908,7 +9521,7 @@ Vdash
 \layout Standard
 
 
-\begin_inset Formula $\shortmid $
+\begin_inset Formula $\shortmid$
 \end_inset 
 
 
@@ -9934,7 +9547,7 @@ shortmid
 \layout Standard
 
 
-\begin_inset Formula $\shortparallel $
+\begin_inset Formula $\shortparallel$
 \end_inset 
 
 
@@ -9958,7 +9571,7 @@ shortparallel
 \layout Standard
 
 
-\begin_inset Formula $\between $
+\begin_inset Formula $\between$
 \end_inset 
 
 
@@ -9982,7 +9595,7 @@ between
 \layout Standard
 
 
-\begin_inset Formula $\pitchfork $
+\begin_inset Formula $\pitchfork$
 \end_inset 
 
 
@@ -10008,7 +9621,7 @@ pitchfork
 \layout Standard
 
 
-\begin_inset Formula $\varpropto $
+\begin_inset Formula $\varpropto$
 \end_inset 
 
 
@@ -10032,7 +9645,7 @@ varpropto
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangleleft $
+\begin_inset Formula $\blacktriangleleft$
 \end_inset 
 
 
@@ -10056,7 +9669,7 @@ blacktriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\therefore $
+\begin_inset Formula $\therefore$
 \end_inset 
 
 
@@ -10082,7 +9695,7 @@ therefore
 \layout Standard
 
 
-\begin_inset Formula $\backepsilon $
+\begin_inset Formula $\backepsilon$
 \end_inset 
 
 
@@ -10106,7 +9719,7 @@ backepsilon
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangleright $
+\begin_inset Formula $\blacktriangleright$
 \end_inset 
 
 
@@ -10130,7 +9743,7 @@ blacktriangleright
 \layout Standard
 
 
-\begin_inset Formula $\because $
+\begin_inset Formula $\because$
 \end_inset 
 
 
@@ -10166,7 +9779,7 @@ AMS binary relations
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -10187,7 +9800,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\nless $
+\begin_inset Formula $\nless$
 \end_inset 
 
 
@@ -10211,7 +9824,7 @@ nless
 \layout Standard
 
 
-\begin_inset Formula $\nleq $
+\begin_inset Formula $\nleq$
 \end_inset 
 
 
@@ -10235,7 +9848,7 @@ nleq
 \layout Standard
 
 
-\begin_inset Formula $\nleqslant $
+\begin_inset Formula $\nleqslant$
 \end_inset 
 
 
@@ -10261,7 +9874,7 @@ nleqslant
 \layout Standard
 
 
-\begin_inset Formula $\nleqq $
+\begin_inset Formula $\nleqq$
 \end_inset 
 
 
@@ -10285,7 +9898,7 @@ nleqq
 \layout Standard
 
 
-\begin_inset Formula $\lneq $
+\begin_inset Formula $\lneq$
 \end_inset 
 
 
@@ -10309,7 +9922,7 @@ lneq
 \layout Standard
 
 
-\begin_inset Formula $\lneqq $
+\begin_inset Formula $\lneqq$
 \end_inset 
 
 
@@ -10335,7 +9948,7 @@ lneqq
 \layout Standard
 
 
-\begin_inset Formula $\lvertneqq $
+\begin_inset Formula $\lvertneqq$
 \end_inset 
 
 
@@ -10359,7 +9972,7 @@ lvertneqq
 \layout Standard
 
 
-\begin_inset Formula $\lnsim $
+\begin_inset Formula $\lnsim$
 \end_inset 
 
 
@@ -10383,7 +9996,7 @@ lnsim
 \layout Standard
 
 
-\begin_inset Formula $\lnapprox $
+\begin_inset Formula $\lnapprox$
 \end_inset 
 
 
@@ -10409,7 +10022,7 @@ lnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nprec $
+\begin_inset Formula $\nprec$
 \end_inset 
 
 
@@ -10433,7 +10046,7 @@ nprec
 \layout Standard
 
 
-\begin_inset Formula $\npreceq $
+\begin_inset Formula $\npreceq$
 \end_inset 
 
 
@@ -10457,7 +10070,7 @@ npreceq
 \layout Standard
 
 
-\begin_inset Formula $\precnsim $
+\begin_inset Formula $\precnsim$
 \end_inset 
 
 
@@ -10483,7 +10096,7 @@ precnsim
 \layout Standard
 
 
-\begin_inset Formula $\precnapprox $
+\begin_inset Formula $\precnapprox$
 \end_inset 
 
 
@@ -10507,7 +10120,7 @@ precnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nsim $
+\begin_inset Formula $\nsim$
 \end_inset 
 
 
@@ -10531,7 +10144,7 @@ nsim
 \layout Standard
 
 
-\begin_inset Formula $\nshortmid $
+\begin_inset Formula $\nshortmid$
 \end_inset 
 
 
@@ -10557,7 +10170,7 @@ nshortmid
 \layout Standard
 
 
-\begin_inset Formula $\nmid $
+\begin_inset Formula $\nmid$
 \end_inset 
 
 
@@ -10581,7 +10194,7 @@ nmid
 \layout Standard
 
 
-\begin_inset Formula $\nvdash $
+\begin_inset Formula $\nvdash$
 \end_inset 
 
 
@@ -10605,7 +10218,7 @@ nvdash
 \layout Standard
 
 
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
 \end_inset 
 
 
@@ -10631,7 +10244,7 @@ nvDash
 \layout Standard
 
 
-\begin_inset Formula $\ntriangleleft $
+\begin_inset Formula $\ntriangleleft$
 \end_inset 
 
 
@@ -10655,7 +10268,7 @@ ntriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\ntrianglelefteq $
+\begin_inset Formula $\ntrianglelefteq$
 \end_inset 
 
 
@@ -10679,7 +10292,7 @@ ntrianglelefteq
 \layout Standard
 
 
-\begin_inset Formula $\nsubseteq $
+\begin_inset Formula $\nsubseteq$
 \end_inset 
 
 
@@ -10705,7 +10318,7 @@ nsubseteq
 \layout Standard
 
 
-\begin_inset Formula $\subsetneq $
+\begin_inset Formula $\subsetneq$
 \end_inset 
 
 
@@ -10729,7 +10342,7 @@ subsetneq
 \layout Standard
 
 
-\begin_inset Formula $\varsubsetneq $
+\begin_inset Formula $\varsubsetneq$
 \end_inset 
 
 
@@ -10753,7 +10366,7 @@ varsubsetneq
 \layout Standard
 
 
-\begin_inset Formula $\subsetneqq $
+\begin_inset Formula $\subsetneqq$
 \end_inset 
 
 
@@ -10779,7 +10392,7 @@ subsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\varsubsetneqq $
+\begin_inset Formula $\varsubsetneqq$
 \end_inset 
 
 
@@ -10803,7 +10416,7 @@ varsubsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\ngtr $
+\begin_inset Formula $\ngtr$
 \end_inset 
 
 
@@ -10827,7 +10440,7 @@ ngtr
 \layout Standard
 
 
-\begin_inset Formula $\ngeq $
+\begin_inset Formula $\ngeq$
 \end_inset 
 
 
@@ -10853,7 +10466,7 @@ ngeq
 \layout Standard
 
 
-\begin_inset Formula $\ngeqslant $
+\begin_inset Formula $\ngeqslant$
 \end_inset 
 
 
@@ -10877,7 +10490,7 @@ ngeqslant
 \layout Standard
 
 
-\begin_inset Formula $\ngeqq $
+\begin_inset Formula $\ngeqq$
 \end_inset 
 
 
@@ -10901,7 +10514,7 @@ ngeqq
 \layout Standard
 
 
-\begin_inset Formula $\gneq $
+\begin_inset Formula $\gneq$
 \end_inset 
 
 
@@ -10927,7 +10540,7 @@ gneq
 \layout Standard
 
 
-\begin_inset Formula $\gneqq $
+\begin_inset Formula $\gneqq$
 \end_inset 
 
 
@@ -10951,7 +10564,7 @@ gneqq
 \layout Standard
 
 
-\begin_inset Formula $\gvertneqq $
+\begin_inset Formula $\gvertneqq$
 \end_inset 
 
 
@@ -10975,7 +10588,7 @@ gvertneqq
 \layout Standard
 
 
-\begin_inset Formula $\gnsim $
+\begin_inset Formula $\gnsim$
 \end_inset 
 
 
@@ -11001,7 +10614,7 @@ gnsim
 \layout Standard
 
 
-\begin_inset Formula $\gnapprox $
+\begin_inset Formula $\gnapprox$
 \end_inset 
 
 
@@ -11025,7 +10638,7 @@ gnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nsucc $
+\begin_inset Formula $\nsucc$
 \end_inset 
 
 
@@ -11049,7 +10662,7 @@ nsucc
 \layout Standard
 
 
-\begin_inset Formula $\nsucceq $
+\begin_inset Formula $\nsucceq$
 \end_inset 
 
 
@@ -11075,7 +10688,7 @@ nsucceq
 \layout Standard
 
 
-\begin_inset Formula $\succnsim $
+\begin_inset Formula $\succnsim$
 \end_inset 
 
 
@@ -11099,7 +10712,7 @@ succnsim
 \layout Standard
 
 
-\begin_inset Formula $\succnapprox $
+\begin_inset Formula $\succnapprox$
 \end_inset 
 
 
@@ -11123,7 +10736,7 @@ succnapprox
 \layout Standard
 
 
-\begin_inset Formula $\ncong $
+\begin_inset Formula $\ncong$
 \end_inset 
 
 
@@ -11149,7 +10762,7 @@ ncong
 \layout Standard
 
 
-\begin_inset Formula $\nshortparallel $
+\begin_inset Formula $\nshortparallel$
 \end_inset 
 
 
@@ -11173,7 +10786,7 @@ nshortparallel
 \layout Standard
 
 
-\begin_inset Formula $\nparallel $
+\begin_inset Formula $\nparallel$
 \end_inset 
 
 
@@ -11197,7 +10810,7 @@ nparallel
 \layout Standard
 
 
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
 \end_inset 
 
 
@@ -11223,7 +10836,7 @@ nvDash
 \layout Standard
 
 
-\begin_inset Formula $\nVDash $
+\begin_inset Formula $\nVDash$
 \end_inset 
 
 
@@ -11247,7 +10860,7 @@ nVDash
 \layout Standard
 
 
-\begin_inset Formula $\ntriangleright $
+\begin_inset Formula $\ntriangleright$
 \end_inset 
 
 
@@ -11271,7 +10884,7 @@ ntriangleright
 \layout Standard
 
 
-\begin_inset Formula $\ntrianglerighteq $
+\begin_inset Formula $\ntrianglerighteq$
 \end_inset 
 
 
@@ -11297,7 +10910,7 @@ ntrianglerighteq
 \layout Standard
 
 
-\begin_inset Formula $\nsupseteq $
+\begin_inset Formula $\nsupseteq$
 \end_inset 
 
 
@@ -11321,7 +10934,7 @@ nsupseteq
 \layout Standard
 
 
-\begin_inset Formula $\nsupseteqq $
+\begin_inset Formula $\nsupseteqq$
 \end_inset 
 
 
@@ -11345,7 +10958,7 @@ nsupseteqq
 \layout Standard
 
 
-\begin_inset Formula $\supsetneq $
+\begin_inset Formula $\supsetneq$
 \end_inset 
 
 
@@ -11371,7 +10984,7 @@ supsetneq
 \layout Standard
 
 
-\begin_inset Formula $\varsupsetneq $
+\begin_inset Formula $\varsupsetneq$
 \end_inset 
 
 
@@ -11395,7 +11008,7 @@ varsupsetneq
 \layout Standard
 
 
-\begin_inset Formula $\supsetneqq $
+\begin_inset Formula $\supsetneqq$
 \end_inset 
 
 
@@ -11419,7 +11032,7 @@ supsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\varsupsetneqq $
+\begin_inset Formula $\varsupsetneqq$
 \end_inset 
 
 
@@ -11455,7 +11068,7 @@ AMS negated binary relations
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -11476,7 +11089,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\dotplus $
+\begin_inset Formula $\dotplus$
 \end_inset 
 
 
@@ -11500,7 +11113,7 @@ dotplus
 \layout Standard
 
 
-\begin_inset Formula $\smallsetminus $
+\begin_inset Formula $\smallsetminus$
 \end_inset 
 
 
@@ -11524,7 +11137,7 @@ smallsetminus
 \layout Standard
 
 
-\begin_inset Formula $\Cap $
+\begin_inset Formula $\Cap$
 \end_inset 
 
 
@@ -11550,7 +11163,7 @@ Cap
 \layout Standard
 
 
-\begin_inset Formula $\Cup $
+\begin_inset Formula $\Cup$
 \end_inset 
 
 
@@ -11574,7 +11187,7 @@ Cup
 \layout Standard
 
 
-\begin_inset Formula $\barwedge $
+\begin_inset Formula $\barwedge$
 \end_inset 
 
 
@@ -11598,7 +11211,7 @@ barwedge
 \layout Standard
 
 
-\begin_inset Formula $\veebar $
+\begin_inset Formula $\veebar$
 \end_inset 
 
 
@@ -11624,7 +11237,7 @@ veebar
 \layout Standard
 
 
-\begin_inset Formula $\doublebarwedge $
+\begin_inset Formula $\doublebarwedge$
 \end_inset 
 
 
@@ -11648,7 +11261,7 @@ doublebarwedge
 \layout Standard
 
 
-\begin_inset Formula $\boxminus $
+\begin_inset Formula $\boxminus$
 \end_inset 
 
 
@@ -11672,7 +11285,7 @@ boxminus
 \layout Standard
 
 
-\begin_inset Formula $\boxtimes $
+\begin_inset Formula $\boxtimes$
 \end_inset 
 
 
@@ -11698,7 +11311,7 @@ boxtimes
 \layout Standard
 
 
-\begin_inset Formula $\boxdot $
+\begin_inset Formula $\boxdot$
 \end_inset 
 
 
@@ -11722,7 +11335,7 @@ boxdot
 \layout Standard
 
 
-\begin_inset Formula $\boxplus $
+\begin_inset Formula $\boxplus$
 \end_inset 
 
 
@@ -11746,7 +11359,7 @@ boxplus
 \layout Standard
 
 
-\begin_inset Formula $\divideontimes $
+\begin_inset Formula $\divideontimes$
 \end_inset 
 
 
@@ -11772,7 +11385,7 @@ divideontimes
 \layout Standard
 
 
-\begin_inset Formula $\ltimes $
+\begin_inset Formula $\ltimes$
 \end_inset 
 
 
@@ -11796,7 +11409,7 @@ ltimes
 \layout Standard
 
 
-\begin_inset Formula $\rtimes $
+\begin_inset Formula $\rtimes$
 \end_inset 
 
 
@@ -11820,7 +11433,7 @@ rtimes
 \layout Standard
 
 
-\begin_inset Formula $\leftthreetimes $
+\begin_inset Formula $\leftthreetimes$
 \end_inset 
 
 
@@ -11846,7 +11459,7 @@ leftthreetimes
 \layout Standard
 
 
-\begin_inset Formula $\rightthreetimes $
+\begin_inset Formula $\rightthreetimes$
 \end_inset 
 
 
@@ -11870,7 +11483,7 @@ rightthreetimes
 \layout Standard
 
 
-\begin_inset Formula $\curlywedge $
+\begin_inset Formula $\curlywedge$
 \end_inset 
 
 
@@ -11894,7 +11507,7 @@ curlywedge
 \layout Standard
 
 
-\begin_inset Formula $\curlyvee $
+\begin_inset Formula $\curlyvee$
 \end_inset 
 
 
@@ -11920,7 +11533,7 @@ curlyvee
 \layout Standard
 
 
-\begin_inset Formula $\circleddash $
+\begin_inset Formula $\circleddash$
 \end_inset 
 
 
@@ -11944,7 +11557,7 @@ circleddash
 \layout Standard
 
 
-\begin_inset Formula $\circledast $
+\begin_inset Formula $\circledast$
 \end_inset 
 
 
@@ -11968,7 +11581,7 @@ circledast
 \layout Standard
 
 
-\begin_inset Formula $\circledcirc $
+\begin_inset Formula $\circledcirc$
 \end_inset 
 
 
@@ -11994,7 +11607,7 @@ circledcirc
 \layout Standard
 
 
-\begin_inset Formula $\centerdot $
+\begin_inset Formula $\centerdot$
 \end_inset 
 
 
@@ -12018,7 +11631,7 @@ centerdot
 \layout Standard
 
 
-\begin_inset Formula $\intercal $
+\begin_inset Formula $\intercal$
 \end_inset 
 
 
@@ -12068,7 +11681,7 @@ AMS binary operators
 \begin_inset Float table
 placement H
 wide false
-collapsed true
+collapsed false
 
 \layout Standard
 
@@ -12089,7 +11702,7 @@ collapsed true
 \layout Standard
 
 
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
 \end_inset 
 
 
@@ -12113,7 +11726,7 @@ hbar
 \layout Standard
 
 
-\begin_inset Formula $\hslash $
+\begin_inset Formula $\hslash$
 \end_inset 
 
 
@@ -12137,7 +11750,7 @@ hslash
 \layout Standard
 
 
-\begin_inset Formula $\vartriangle $
+\begin_inset Formula $\vartriangle$
 \end_inset 
 
 
@@ -12163,7 +11776,7 @@ vartriangle
 \layout Standard
 
 
-\begin_inset Formula $\triangledown $
+\begin_inset Formula $\triangledown$
 \end_inset 
 
 
@@ -12187,7 +11800,7 @@ triangledown
 \layout Standard
 
 
-\begin_inset Formula $\square $
+\begin_inset Formula $\square$
 \end_inset 
 
 
@@ -12211,7 +11824,7 @@ square
 \layout Standard
 
 
-\begin_inset Formula $\lozenge $
+\begin_inset Formula $\lozenge$
 \end_inset 
 
 
@@ -12237,7 +11850,7 @@ lozenge
 \layout Standard
 
 
-\begin_inset Formula $\circledS $
+\begin_inset Formula $\circledS$
 \end_inset 
 
 
@@ -12261,7 +11874,7 @@ circledS
 \layout Standard
 
 
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
 \end_inset 
 
 
@@ -12285,7 +11898,7 @@ angle
 \layout Standard
 
 
-\begin_inset Formula $\measuredangle $
+\begin_inset Formula $\measuredangle$
 \end_inset 
 
 
@@ -12311,7 +11924,7 @@ measuredangle
 \layout Standard
 
 
-\begin_inset Formula $\nexists $
+\begin_inset Formula $\nexists$
 \end_inset 
 
 
@@ -12335,7 +11948,7 @@ nexists
 \layout Standard
 
 
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
 \end_inset 
 
 
@@ -12359,7 +11972,7 @@ mho
 \layout Standard
 
 
-\begin_inset Formula $\Finv $
+\begin_inset Formula $\Finv$
 \end_inset 
 
 
@@ -12385,7 +11998,7 @@ Finv
 \layout Standard
 
 
-\begin_inset Formula $\Game $
+\begin_inset Formula $\Game$
 \end_inset 
 
 
@@ -12409,7 +12022,7 @@ Game
 \layout Standard
 
 
-\begin_inset Formula $\Bbbk $
+\begin_inset Formula $\Bbbk$
 \end_inset 
 
 
@@ -12433,7 +12046,7 @@ Bbbk
 \layout Standard
 
 
-\begin_inset Formula $\backprime $
+\begin_inset Formula $\backprime$
 \end_inset 
 
 
@@ -12459,7 +12072,7 @@ backprime
 \layout Standard
 
 
-\begin_inset Formula $\varnothing $
+\begin_inset Formula $\varnothing$
 \end_inset 
 
 
@@ -12483,7 +12096,7 @@ varnothing
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangle $
+\begin_inset Formula $\blacktriangle$
 \end_inset 
 
 
@@ -12507,7 +12120,7 @@ blacktriangle
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangledown $
+\begin_inset Formula $\blacktriangledown$
 \end_inset 
 
 
@@ -12533,7 +12146,7 @@ blacktriangledown
 \layout Standard
 
 
-\begin_inset Formula $\blacksquare $
+\begin_inset Formula $\blacksquare$
 \end_inset 
 
 
@@ -12557,7 +12170,7 @@ blacksquare
 \layout Standard
 
 
-\begin_inset Formula $\blacklozenge $
+\begin_inset Formula $\blacklozenge$
 \end_inset 
 
 
@@ -12581,7 +12194,7 @@ blacklozenge
 \layout Standard
 
 
-\begin_inset Formula $\bigstar $
+\begin_inset Formula $\bigstar$
 \end_inset 
 
 
@@ -12607,7 +12220,7 @@ bigstar
 \layout Standard
 
 
-\begin_inset Formula $\sphericalangle $
+\begin_inset Formula $\sphericalangle$
 \end_inset 
 
 
@@ -12631,7 +12244,7 @@ sphericalangle
 \layout Standard
 
 
-\begin_inset Formula $\complement $
+\begin_inset Formula $\complement$
 \end_inset 
 
 
@@ -12655,7 +12268,7 @@ complement
 \layout Standard
 
 
-\begin_inset Formula $\eth $
+\begin_inset Formula $\eth$
 \end_inset 
 
 
@@ -12681,7 +12294,7 @@ eth
 \layout Standard
 
 
-\begin_inset Formula $\diagup $
+\begin_inset Formula $\diagup$
 \end_inset 
 
 
@@ -12705,7 +12318,7 @@ diagup
 \layout Standard
 
 
-\begin_inset Formula $\diagdown $
+\begin_inset Formula $\diagdown$
 \end_inset