more tweaks to i18nLibFileSearch

[lyx.git] / lib / examples / fr_mathed.lyx

diff --git a/lib/examples/fr_mathed.lyx b/lib/examples/fr_mathed.lyx
index 3d3736b45773021b0615f89e31faf8a264b6db7e..4c5fc68d5c3e61a682590ef9db2487b885cbe28e 100644 (file)
--- a/lib/examples/fr_mathed.lyx
+++ b/lib/examples/fr_mathed.lyx
@@ -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 frenchb
 \inputencoding latin1
@@ -27,7 +27,7 @@
 
 \layout Section
 
-Conversion de et vers Mathed
+Conversion de et vers l'éditeur mathématique
 \begin_inset Note
 collapsed true
 
@@ -36,24 +36,24 @@ collapsed true
 Informations de révision :
 \layout Standard
 
-Traduction : Mise à jour Date : 16/06/2002
+Traduction : Mise à jour Date : 07/07/2003
 \layout Standard
 
-Original : Révision: 1.5, Date : 21/03/2002
+Original : Révision: 1.8, Date : 17/01/2003
 \end_inset 
 
  
 \layout Standard
 
 Vous pouvez taper des maths dans le corps du document puis les convertir
- en Mathed en les sélectionnant et en tapant 
+ en mode mathématique en les sélectionnant et en tapant 
 \family sans 
 M-c\SpecialChar ~
 m
 \family default 
 .
  Le texte peut être séparé par des délimiteurs ou non.
- Ainsi, en sélectionnant les formules ci-dessous :
+ Ainsi, en sélectionnant l'une des formules ci-dessous :
 \layout Standard
 \align center 
 
@@ -148,8 +148,8 @@ vous obtiendrez :
 \layout Standard
 
 
-\begin_inset Formula \[
-\frac{abc}{xyz}\]
+\begin_inset Formula \begin{equation}
+\frac{abc}{xyz}\end{equation}
 
 \end_inset 
 
@@ -172,188 +172,22 @@ pas
 Afficher les symboles LaTeX
 \layout Standard
 
-Jusqu'à présent, LyX fournissait un équivalent visuel pour une petite partie
- des symboles mathématiques disponibles en LaTeX.
- À partir de la version 1.2, il offre l'affichage de la plupart des symboles
- définis en LaTeX basique et 
+Autrefois, LyX fournissait un équivalent visuel pour une petite partie des
+ symboles mathématiques disponibles en LaTeX.
+ La situation a changé à partir de la version 1.2, il offre désormais l'affichage
+ de la plupart des symboles définis en LaTeX basique et 
 \emph on 
 tous
 \emph default 
  les symboles supplémentaires définis par l'AMS.
  Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
  de symboles qui se trouvent dans les livres de Lamport et de Goossen.
-\layout Standard
-
-Cependant pour afficher ces symboles supplémentaires, il faut que les polices
- nécessaires soient visibles par LyX.
- Vous pouvez créer un répertoire contenant des liens symboliques vers les
- polices requises avec le script suivant
-\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
-
-où le fichier 
-\family typewriter 
-fonts-xlfd
-\family default 
- contient
-\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
-\layout LyX-Code
-
-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
-
-Ensuite, vous devez dire indiquer au serveur X l'emplacement de ce répertoire
- et des polices s'y trouvant.
- Tapez
-\layout LyX-Code
-
-xset +fp LYX_XFONTS; xset fp rehash
-\layout Standard
-
-à la console, redémarrez LyX, chargez ce document et savourez !
 \layout Section
 
 Quelques tableaux de symboles mathématiques
 \layout Standard
 
-Si vous avez suivi les instructions qui précèdent, les tableaux ci-dessous
- extraits du livre 
+Les tableaux ci-dessous extraits du livre 
 \begin_inset Quotes fld
 \end_inset 
 
@@ -362,13 +196,12 @@ The LaTeX companion
 \end_inset 
 
  de Goossen et al.
- apparaîtront dans toute leur splendeur.
- Dans le cas contraire vous verrez un paquet de texte en rouge !
+ vont apparaître à l'écran dans toute leur splendeur.
 \layout Standard
 
 
 \begin_inset ERT
-status Open
+status Collapsed
 
 \layout Standard
 
@@ -713,7 +546,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\alpha $
+\begin_inset Formula $\alpha$
 \end_inset 
 
 
@@ -737,7 +570,7 @@ alpha
 \layout Standard
 
 
-\begin_inset Formula $\beta $
+\begin_inset Formula $\beta$
 \end_inset 
 
 
@@ -761,7 +594,7 @@ beta
 \layout Standard
 
 
-\begin_inset Formula $\gamma $
+\begin_inset Formula $\gamma$
 \end_inset 
 
 
@@ -785,7 +618,7 @@ gamma
 \layout Standard
 
 
-\begin_inset Formula $\delta $
+\begin_inset Formula $\delta$
 \end_inset 
 
 
@@ -811,7 +644,7 @@ delta
 \layout Standard
 
 
-\begin_inset Formula $\epsilon $
+\begin_inset Formula $\epsilon$
 \end_inset 
 
 
@@ -835,7 +668,7 @@ epsilon
 \layout Standard
 
 
-\begin_inset Formula $\varepsilon $
+\begin_inset Formula $\varepsilon$
 \end_inset 
 
 
@@ -859,7 +692,7 @@ varepsilon
 \layout Standard
 
 
-\begin_inset Formula $\zeta $
+\begin_inset Formula $\zeta$
 \end_inset 
 
 
@@ -883,7 +716,7 @@ zeta
 \layout Standard
 
 
-\begin_inset Formula $\eta $
+\begin_inset Formula $\eta$
 \end_inset 
 
 
@@ -909,7 +742,7 @@ eta
 \layout Standard
 
 
-\begin_inset Formula $\theta $
+\begin_inset Formula $\theta$
 \end_inset 
 
 
@@ -933,7 +766,7 @@ theta
 \layout Standard
 
 
-\begin_inset Formula $\vartheta $
+\begin_inset Formula $\vartheta$
 \end_inset 
 
 
@@ -957,7 +790,7 @@ vartheta
 \layout Standard
 
 
-\begin_inset Formula $\iota $
+\begin_inset Formula $\iota$
 \end_inset 
 
 
@@ -981,7 +814,7 @@ iota
 \layout Standard
 
 
-\begin_inset Formula $\kappa $
+\begin_inset Formula $\kappa$
 \end_inset 
 
 
@@ -1007,7 +840,7 @@ kappa
 \layout Standard
 
 
-\begin_inset Formula $\lambda $
+\begin_inset Formula $\lambda$
 \end_inset 
 
 
@@ -1031,7 +864,7 @@ lambda
 \layout Standard
 
 
-\begin_inset Formula $\mu $
+\begin_inset Formula $\mu$
 \end_inset 
 
 
@@ -1055,7 +888,7 @@ mu
 \layout Standard
 
 
-\begin_inset Formula $\nu $
+\begin_inset Formula $\nu$
 \end_inset 
 
 
@@ -1079,7 +912,7 @@ nu
 \layout Standard
 
 
-\begin_inset Formula $\xi $
+\begin_inset Formula $\xi$
 \end_inset 
 
 
@@ -1125,7 +958,7 @@ o
 \layout Standard
 
 
-\begin_inset Formula $\pi $
+\begin_inset Formula $\pi$
 \end_inset 
 
 
@@ -1149,7 +982,7 @@ pi
 \layout Standard
 
 
-\begin_inset Formula $\varpi $
+\begin_inset Formula $\varpi$
 \end_inset 
 
 
@@ -1173,7 +1006,7 @@ varpi
 \layout Standard
 
 
-\begin_inset Formula $\rho $
+\begin_inset Formula $\rho$
 \end_inset 
 
 
@@ -1199,7 +1032,7 @@ rho
 \layout Standard
 
 
-\begin_inset Formula $\varrho $
+\begin_inset Formula $\varrho$
 \end_inset 
 
 
@@ -1223,7 +1056,7 @@ varrho
 \layout Standard
 
 
-\begin_inset Formula $\sigma $
+\begin_inset Formula $\sigma$
 \end_inset 
 
 
@@ -1247,7 +1080,7 @@ sigma
 \layout Standard
 
 
-\begin_inset Formula $\varsigma $
+\begin_inset Formula $\varsigma$
 \end_inset 
 
 
@@ -1271,7 +1104,7 @@ varsigma
 \layout Standard
 
 
-\begin_inset Formula $\tau $
+\begin_inset Formula $\tau$
 \end_inset 
 
 
@@ -1297,7 +1130,7 @@ tau
 \layout Standard
 
 
-\begin_inset Formula $\upsilon $
+\begin_inset Formula $\upsilon$
 \end_inset 
 
 
@@ -1321,7 +1154,7 @@ upsilon
 \layout Standard
 
 
-\begin_inset Formula $\phi $
+\begin_inset Formula $\phi$
 \end_inset 
 
 
@@ -1345,7 +1178,7 @@ phi
 \layout Standard
 
 
-\begin_inset Formula $\varphi $
+\begin_inset Formula $\varphi$
 \end_inset 
 
 
@@ -1369,7 +1202,7 @@ varphi
 \layout Standard
 
 
-\begin_inset Formula $\chi $
+\begin_inset Formula $\chi$
 \end_inset 
 
 
@@ -1395,7 +1228,7 @@ chi
 \layout Standard
 
 
-\begin_inset Formula $\psi $
+\begin_inset Formula $\psi$
 \end_inset 
 
 
@@ -1419,7 +1252,7 @@ psi
 \layout Standard
 
 
-\begin_inset Formula $\omega $
+\begin_inset Formula $\omega$
 \end_inset 
 
 
@@ -1473,7 +1306,7 @@ omega
 \layout Standard
 
 
-\begin_inset Formula $\Gamma $
+\begin_inset Formula $\Gamma$
 \end_inset 
 
 
@@ -1497,7 +1330,7 @@ Gamma
 \layout Standard
 
 
-\begin_inset Formula $\Delta $
+\begin_inset Formula $\Delta$
 \end_inset 
 
 
@@ -1521,7 +1354,7 @@ Delta
 \layout Standard
 
 
-\begin_inset Formula $\Theta $
+\begin_inset Formula $\Theta$
 \end_inset 
 
 
@@ -1545,7 +1378,7 @@ Theta
 \layout Standard
 
 
-\begin_inset Formula $\Lambda $
+\begin_inset Formula $\Lambda$
 \end_inset 
 
 
@@ -1571,7 +1404,7 @@ Lambda
 \layout Standard
 
 
-\begin_inset Formula $\Xi $
+\begin_inset Formula $\Xi$
 \end_inset 
 
 
@@ -1595,7 +1428,7 @@ Xi
 \layout Standard
 
 
-\begin_inset Formula $\Pi $
+\begin_inset Formula $\Pi$
 \end_inset 
 
 
@@ -1619,7 +1452,7 @@ Pi
 \layout Standard
 
 
-\begin_inset Formula $\Sigma $
+\begin_inset Formula $\Sigma$
 \end_inset 
 
 
@@ -1643,7 +1476,7 @@ Sigma
 \layout Standard
 
 
-\begin_inset Formula $\Upsilon $
+\begin_inset Formula $\Upsilon$
 \end_inset 
 
 
@@ -1669,7 +1502,7 @@ Upsilon
 \layout Standard
 
 
-\begin_inset Formula $\Phi $
+\begin_inset Formula $\Phi$
 \end_inset 
 
 
@@ -1693,7 +1526,7 @@ Phi
 \layout Standard
 
 
-\begin_inset Formula $\Psi $
+\begin_inset Formula $\Psi$
 \end_inset 
 
 
@@ -1717,7 +1550,7 @@ Psi
 \layout Standard
 
 
-\begin_inset Formula $\Omega $
+\begin_inset Formula $\Omega$
 \end_inset 
 
 
@@ -1790,7 +1623,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\pm $
+\begin_inset Formula $\pm$
 \end_inset 
 
 
@@ -1814,7 +1647,7 @@ pm
 \layout Standard
 
 
-\begin_inset Formula $\cap $
+\begin_inset Formula $\cap$
 \end_inset 
 
 
@@ -1838,7 +1671,7 @@ cap
 \layout Standard
 
 
-\begin_inset Formula $\diamond $
+\begin_inset Formula $\diamond$
 \end_inset 
 
 
@@ -1862,7 +1695,7 @@ diamond
 \layout Standard
 
 
-\begin_inset Formula $\oplus $
+\begin_inset Formula $\oplus$
 \end_inset 
 
 
@@ -1888,7 +1721,7 @@ oplus
 \layout Standard
 
 
-\begin_inset Formula $\mp $
+\begin_inset Formula $\mp$
 \end_inset 
 
 
@@ -1912,7 +1745,7 @@ mp
 \layout Standard
 
 
-\begin_inset Formula $\cup $
+\begin_inset Formula $\cup$
 \end_inset 
 
 
@@ -1936,7 +1769,7 @@ cup
 \layout Standard
 
 
-\begin_inset Formula $\bigtriangleup $
+\begin_inset Formula $\bigtriangleup$
 \end_inset 
 
 
@@ -1960,7 +1793,7 @@ bigtriangleup
 \layout Standard
 
 
-\begin_inset Formula $\ominus $
+\begin_inset Formula $\ominus$
 \end_inset 
 
 
@@ -1986,7 +1819,7 @@ ominus
 \layout Standard
 
 
-\begin_inset Formula $\times $
+\begin_inset Formula $\times$
 \end_inset 
 
 
@@ -2010,7 +1843,7 @@ times
 \layout Standard
 
 
-\begin_inset Formula $\uplus $
+\begin_inset Formula $\uplus$
 \end_inset 
 
 
@@ -2034,7 +1867,7 @@ uplus
 \layout Standard
 
 
-\begin_inset Formula $\bigtriangledown $
+\begin_inset Formula $\bigtriangledown$
 \end_inset 
 
 
@@ -2058,7 +1891,7 @@ bigtriangledown
 \layout Standard
 
 
-\begin_inset Formula $\otimes $
+\begin_inset Formula $\otimes$
 \end_inset 
 
 
@@ -2084,7 +1917,7 @@ otimes
 \layout Standard
 
 
-\begin_inset Formula $\div $
+\begin_inset Formula $\div$
 \end_inset 
 
 
@@ -2108,7 +1941,7 @@ div
 \layout Standard
 
 
-\begin_inset Formula $\sqcap $
+\begin_inset Formula $\sqcap$
 \end_inset 
 
 
@@ -2132,7 +1965,7 @@ sqcap
 \layout Standard
 
 
-\begin_inset Formula $\triangleleft $
+\begin_inset Formula $\triangleleft$
 \end_inset 
 
 
@@ -2156,7 +1989,7 @@ triangleleft
 \layout Standard
 
 
-\begin_inset Formula $\oslash $
+\begin_inset Formula $\oslash$
 \end_inset 
 
 
@@ -2182,7 +2015,7 @@ oslash
 \layout Standard
 
 
-\begin_inset Formula $\ast $
+\begin_inset Formula $\ast$
 \end_inset 
 
 
@@ -2206,7 +2039,7 @@ ast
 \layout Standard
 
 
-\begin_inset Formula $\sqcup $
+\begin_inset Formula $\sqcup$
 \end_inset 
 
 
@@ -2230,7 +2063,7 @@ sqcup
 \layout Standard
 
 
-\begin_inset Formula $\triangleright $
+\begin_inset Formula $\triangleright$
 \end_inset 
 
 
@@ -2254,7 +2087,7 @@ triangleright
 \layout Standard
 
 
-\begin_inset Formula $\odot $
+\begin_inset Formula $\odot$
 \end_inset 
 
 
@@ -2280,7 +2113,7 @@ odot
 \layout Standard
 
 
-\begin_inset Formula $\star $
+\begin_inset Formula $\star$
 \end_inset 
 
 
@@ -2304,7 +2137,7 @@ star
 \layout Standard
 
 
-\begin_inset Formula $\vee $
+\begin_inset Formula $\vee$
 \end_inset 
 
 
@@ -2328,7 +2161,7 @@ vee
 \layout Standard
 
 
-\begin_inset Formula $\lhd $
+\begin_inset Formula $\lhd$
 \end_inset 
 
 
@@ -2352,7 +2185,7 @@ lhd
 \layout Standard
 
 
-\begin_inset Formula $\bigcirc $
+\begin_inset Formula $\bigcirc$
 \end_inset 
 
 
@@ -2378,7 +2211,7 @@ bigcirc
 \layout Standard
 
 
-\begin_inset Formula $\circ $
+\begin_inset Formula $\circ$
 \end_inset 
 
 
@@ -2402,7 +2235,7 @@ circ
 \layout Standard
 
 
-\begin_inset Formula $\wedge $
+\begin_inset Formula $\wedge$
 \end_inset 
 
 
@@ -2426,7 +2259,7 @@ wedge
 \layout Standard
 
 
-\begin_inset Formula $\rhd $
+\begin_inset Formula $\rhd$
 \end_inset 
 
 
@@ -2450,7 +2283,7 @@ rhd
 \layout Standard
 
 
-\begin_inset Formula $\dagger $
+\begin_inset Formula $\dagger$
 \end_inset 
 
 
@@ -2476,7 +2309,7 @@ dagger
 \layout Standard
 
 
-\begin_inset Formula $\bullet $
+\begin_inset Formula $\bullet$
 \end_inset 
 
 
@@ -2500,7 +2333,7 @@ bullet
 \layout Standard
 
 
-\begin_inset Formula $\setminus $
+\begin_inset Formula $\setminus$
 \end_inset 
 
 
@@ -2524,7 +2357,7 @@ setminus
 \layout Standard
 
 
-\begin_inset Formula $\unlhd $
+\begin_inset Formula $\unlhd$
 \end_inset 
 
 
@@ -2548,7 +2381,7 @@ unlhd
 \layout Standard
 
 
-\begin_inset Formula $\ddagger $
+\begin_inset Formula $\ddagger$
 \end_inset 
 
 
@@ -2574,7 +2407,7 @@ ddagger
 \layout Standard
 
 
-\begin_inset Formula $\cdot $
+\begin_inset Formula $\cdot$
 \end_inset 
 
 
@@ -2598,7 +2431,7 @@ cdot
 \layout Standard
 
 
-\begin_inset Formula $\wr $
+\begin_inset Formula $\wr$
 \end_inset 
 
 
@@ -2622,7 +2455,7 @@ wr
 \layout Standard
 
 
-\begin_inset Formula $\unrhd $
+\begin_inset Formula $\unrhd$
 \end_inset 
 
 
@@ -2646,7 +2479,7 @@ unrhd
 \layout Standard
 
 
-\begin_inset Formula $\amalg $
+\begin_inset Formula $\amalg$
 \end_inset 
 
 
@@ -2707,7 +2540,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\leq $
+\begin_inset Formula $\leq$
 \end_inset 
 
 
@@ -2733,7 +2566,7 @@ le
 \layout Standard
 
 
-\begin_inset Formula $\geq $
+\begin_inset Formula $\geq$
 \end_inset 
 
 
@@ -2757,7 +2590,7 @@ geq
 \layout Standard
 
 
-\begin_inset Formula $\equiv $
+\begin_inset Formula $\equiv$
 \end_inset 
 
 
@@ -2781,7 +2614,7 @@ equiv
 \layout Standard
 
 
-\begin_inset Formula $\models $
+\begin_inset Formula $\models$
 \end_inset 
 
 
@@ -2805,7 +2638,7 @@ models
 \layout Standard
 
 
-\begin_inset Formula $\prec $
+\begin_inset Formula $\prec$
 \end_inset 
 
 
@@ -2831,7 +2664,7 @@ prec
 \layout Standard
 
 
-\begin_inset Formula $\succ $
+\begin_inset Formula $\succ$
 \end_inset 
 
 
@@ -2855,7 +2688,7 @@ succ
 \layout Standard
 
 
-\begin_inset Formula $\sim $
+\begin_inset Formula $\sim$
 \end_inset 
 
 
@@ -2879,7 +2712,7 @@ sim
 \layout Standard
 
 
-\begin_inset Formula $\perp $
+\begin_inset Formula $\perp$
 \end_inset 
 
 
@@ -2903,7 +2736,7 @@ perp
 \layout Standard
 
 
-\begin_inset Formula $\preceq $
+\begin_inset Formula $\preceq$
 \end_inset 
 
 
@@ -2927,7 +2760,7 @@ preceq
 \layout Standard
 
 
-\begin_inset Formula $\succeq $
+\begin_inset Formula $\succeq$
 \end_inset 
 
 
@@ -2953,7 +2786,7 @@ succeq
 \layout Standard
 
 
-\begin_inset Formula $\simeq $
+\begin_inset Formula $\simeq$
 \end_inset 
 
 
@@ -2977,7 +2810,7 @@ simeq
 \layout Standard
 
 
-\begin_inset Formula $\mid $
+\begin_inset Formula $\mid$
 \end_inset 
 
 
@@ -3001,7 +2834,7 @@ mid
 \layout Standard
 
 
-\begin_inset Formula $\ll $
+\begin_inset Formula $\ll$
 \end_inset 
 
 
@@ -3025,7 +2858,7 @@ ll
 \layout Standard
 
 
-\begin_inset Formula $\gg $
+\begin_inset Formula $\gg$
 \end_inset 
 
 
@@ -3049,7 +2882,7 @@ gg
 \layout Standard
 
 
-\begin_inset Formula $\asymp $
+\begin_inset Formula $\asymp$
 \end_inset 
 
 
@@ -3075,7 +2908,7 @@ asymp
 \layout Standard
 
 
-\begin_inset Formula $\parallel $
+\begin_inset Formula $\parallel$
 \end_inset 
 
 
@@ -3099,7 +2932,7 @@ parallel
 \layout Standard
 
 
-\begin_inset Formula $\subset $
+\begin_inset Formula $\subset$
 \end_inset 
 
 
@@ -3123,7 +2956,7 @@ subset
 \layout Standard
 
 
-\begin_inset Formula $\supset $
+\begin_inset Formula $\supset$
 \end_inset 
 
 
@@ -3147,7 +2980,7 @@ supset
 \layout Standard
 
 
-\begin_inset Formula $\approx $
+\begin_inset Formula $\approx$
 \end_inset 
 
 
@@ -3171,7 +3004,7 @@ approx
 \layout Standard
 
 
-\begin_inset Formula $\bowtie $
+\begin_inset Formula $\bowtie$
 \end_inset 
 
 
@@ -3197,7 +3030,7 @@ bowtie
 \layout Standard
 
 
-\begin_inset Formula $\subseteq $
+\begin_inset Formula $\subseteq$
 \end_inset 
 
 
@@ -3221,7 +3054,7 @@ subseteq
 \layout Standard
 
 
-\begin_inset Formula $\supseteq $
+\begin_inset Formula $\supseteq$
 \end_inset 
 
 
@@ -3245,7 +3078,7 @@ supseteq
 \layout Standard
 
 
-\begin_inset Formula $\cong $
+\begin_inset Formula $\cong$
 \end_inset 
 
 
@@ -3269,7 +3102,7 @@ cong
 \layout Standard
 
 
-\begin_inset Formula $\Join $
+\begin_inset Formula $\Join$
 \end_inset 
 
 
@@ -3293,7 +3126,7 @@ Join
 \layout Standard
 
 
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
 \end_inset 
 
 
@@ -3319,7 +3152,7 @@ sqsubset
 \layout Standard
 
 
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
 \end_inset 
 
 
@@ -3343,7 +3176,7 @@ sqsupset
 \layout Standard
 
 
-\begin_inset Formula $\neq $
+\begin_inset Formula $\neq$
 \end_inset 
 
 
@@ -3367,7 +3200,7 @@ neq
 \layout Standard
 
 
-\begin_inset Formula $\smile $
+\begin_inset Formula $\smile$
 \end_inset 
 
 
@@ -3391,7 +3224,7 @@ smile
 \layout Standard
 
 
-\begin_inset Formula $\sqsubseteq $
+\begin_inset Formula $\sqsubseteq$
 \end_inset 
 
 
@@ -3415,7 +3248,7 @@ sqsubseteq
 \layout Standard
 
 
-\begin_inset Formula $\sqsupseteq $
+\begin_inset Formula $\sqsupseteq$
 \end_inset 
 
 
@@ -3441,7 +3274,7 @@ sqsupseteq
 \layout Standard
 
 
-\begin_inset Formula $\doteq $
+\begin_inset Formula $\doteq$
 \end_inset 
 
 
@@ -3465,7 +3298,7 @@ doteq
 \layout Standard
 
 
-\begin_inset Formula $\frown $
+\begin_inset Formula $\frown$
 \end_inset 
 
 
@@ -3489,7 +3322,7 @@ frown
 \layout Standard
 
 
-\begin_inset Formula $\in $
+\begin_inset Formula $\in$
 \end_inset 
 
 
@@ -3513,7 +3346,7 @@ in
 \layout Standard
 
 
-\begin_inset Formula $\ni $
+\begin_inset Formula $\ni$
 \end_inset 
 
 
@@ -3537,7 +3370,7 @@ ni
 \layout Standard
 
 
-\begin_inset Formula $\propto $
+\begin_inset Formula $\propto$
 \end_inset 
 
 
@@ -3585,7 +3418,7 @@ propto
 \layout Standard
 
 
-\begin_inset Formula $\vdash $
+\begin_inset Formula $\vdash$
 \end_inset 
 
 
@@ -3609,7 +3442,7 @@ vdash
 \layout Standard
 
 
-\begin_inset Formula $\dashv $
+\begin_inset Formula $\dashv$
 \end_inset 
 
 
@@ -3710,7 +3543,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\leftarrow $
+\begin_inset Formula $\leftarrow$
 \end_inset 
 
 
@@ -3734,7 +3567,7 @@ leftarrow
 \layout Standard
 
 
-\begin_inset Formula $\longleftarrow $
+\begin_inset Formula $\longleftarrow$
 \end_inset 
 
 
@@ -3758,7 +3591,7 @@ longleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
 \end_inset 
 
 
@@ -3784,7 +3617,7 @@ uparrow
 \layout Standard
 
 
-\begin_inset Formula $\Leftarrow $
+\begin_inset Formula $\Leftarrow$
 \end_inset 
 
 
@@ -3808,7 +3641,7 @@ Leftarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longleftarrow $
+\begin_inset Formula $\Longleftarrow$
 \end_inset 
 
 
@@ -3832,7 +3665,7 @@ Longleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
 \end_inset 
 
 
@@ -3858,7 +3691,7 @@ Uparrow
 \layout Standard
 
 
-\begin_inset Formula $\rightarrow $
+\begin_inset Formula $\rightarrow$
 \end_inset 
 
 
@@ -3882,7 +3715,7 @@ rightarrow
 \layout Standard
 
 
-\begin_inset Formula $\longrightarrow $
+\begin_inset Formula $\longrightarrow$
 \end_inset 
 
 
@@ -3906,7 +3739,7 @@ longrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
 \end_inset 
 
 
@@ -3932,7 +3765,7 @@ downarrow
 \layout Standard
 
 
-\begin_inset Formula $\Rightarrow $
+\begin_inset Formula $\Rightarrow$
 \end_inset 
 
 
@@ -3956,7 +3789,7 @@ Rightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longrightarrow $
+\begin_inset Formula $\Longrightarrow$
 \end_inset 
 
 
@@ -3980,7 +3813,7 @@ Longrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
 \end_inset 
 
 
@@ -4006,7 +3839,7 @@ Downarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftrightarrow $
+\begin_inset Formula $\leftrightarrow$
 \end_inset 
 
 
@@ -4030,7 +3863,7 @@ leftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\longleftrightarrow $
+\begin_inset Formula $\longleftrightarrow$
 \end_inset 
 
 
@@ -4054,7 +3887,7 @@ longleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
 \end_inset 
 
 
@@ -4080,7 +3913,7 @@ updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\Leftrightarrow $
+\begin_inset Formula $\Leftrightarrow$
 \end_inset 
 
 
@@ -4104,7 +3937,7 @@ Leftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Longleftrightarrow $
+\begin_inset Formula $\Longleftrightarrow$
 \end_inset 
 
 
@@ -4128,7 +3961,7 @@ Longleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
 \end_inset 
 
 
@@ -4154,7 +3987,7 @@ Updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\mapsto $
+\begin_inset Formula $\mapsto$
 \end_inset 
 
 
@@ -4178,7 +4011,7 @@ mapsto
 \layout Standard
 
 
-\begin_inset Formula $\longmapsto $
+\begin_inset Formula $\longmapsto$
 \end_inset 
 
 
@@ -4202,7 +4035,7 @@ longmapsto
 \layout Standard
 
 
-\begin_inset Formula $\nearrow $
+\begin_inset Formula $\nearrow$
 \end_inset 
 
 
@@ -4228,7 +4061,7 @@ nearrow
 \layout Standard
 
 
-\begin_inset Formula $\hookleftarrow $
+\begin_inset Formula $\hookleftarrow$
 \end_inset 
 
 
@@ -4252,7 +4085,7 @@ hookleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\hookrightarrow $
+\begin_inset Formula $\hookrightarrow$
 \end_inset 
 
 
@@ -4276,7 +4109,7 @@ hookrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\searrow $
+\begin_inset Formula $\searrow$
 \end_inset 
 
 
@@ -4302,7 +4135,7 @@ searrow
 \layout Standard
 
 
-\begin_inset Formula $\leftharpoonup $
+\begin_inset Formula $\leftharpoonup$
 \end_inset 
 
 
@@ -4326,7 +4159,7 @@ leftharpoonup
 \layout Standard
 
 
-\begin_inset Formula $\rightharpoonup $
+\begin_inset Formula $\rightharpoonup$
 \end_inset 
 
 
@@ -4350,7 +4183,7 @@ rightharpoonup
 \layout Standard
 
 
-\begin_inset Formula $\swarrow $
+\begin_inset Formula $\swarrow$
 \end_inset 
 
 
@@ -4376,7 +4209,7 @@ swarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftharpoondown $
+\begin_inset Formula $\leftharpoondown$
 \end_inset 
 
 
@@ -4400,7 +4233,7 @@ leftharpoondown
 \layout Standard
 
 
-\begin_inset Formula $\rightharpoondown $
+\begin_inset Formula $\rightharpoondown$
 \end_inset 
 
 
@@ -4424,7 +4257,7 @@ rightharpoondown
 \layout Standard
 
 
-\begin_inset Formula $\nwarrow $
+\begin_inset Formula $\nwarrow$
 \end_inset 
 
 
@@ -4485,7 +4318,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\ldots $
+\begin_inset Formula $\ldots$
 \end_inset 
 
 
@@ -4509,7 +4342,7 @@ ldots
 \layout Standard
 
 
-\begin_inset Formula $\cdots $
+\begin_inset Formula $\cdots$
 \end_inset 
 
 
@@ -4533,7 +4366,7 @@ cdots
 \layout Standard
 
 
-\begin_inset Formula $\vdots $
+\begin_inset Formula $\vdots$
 \end_inset 
 
 
@@ -4557,7 +4390,7 @@ vdots
 \layout Standard
 
 
-\begin_inset Formula $\ddots $
+\begin_inset Formula $\ddots$
 \end_inset 
 
 
@@ -4581,7 +4414,7 @@ ddots
 \layout Standard
 
 
-\begin_inset Formula $\aleph $
+\begin_inset Formula $\aleph$
 \end_inset 
 
 
@@ -4607,7 +4440,7 @@ aleph
 \layout Standard
 
 
-\begin_inset Formula $\prime $
+\begin_inset Formula $\prime$
 \end_inset 
 
 
@@ -4631,7 +4464,7 @@ prime
 \layout Standard
 
 
-\begin_inset Formula $\forall $
+\begin_inset Formula $\forall$
 \end_inset 
 
 
@@ -4655,7 +4488,7 @@ forall
 \layout Standard
 
 
-\begin_inset Formula $\infty $
+\begin_inset Formula $\infty$
 \end_inset 
 
 
@@ -4679,7 +4512,7 @@ infty
 \layout Standard
 
 
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
 \end_inset 
 
 
@@ -4703,7 +4536,7 @@ hbar
 \layout Standard
 
 
-\begin_inset Formula $\emptyset $
+\begin_inset Formula $\emptyset$
 \end_inset 
 
 
@@ -4729,7 +4562,7 @@ emptyset
 \layout Standard
 
 
-\begin_inset Formula $\exists $
+\begin_inset Formula $\exists$
 \end_inset 
 
 
@@ -4753,7 +4586,7 @@ exists
 \layout Standard
 
 
-\begin_inset Formula $\nabla $
+\begin_inset Formula $\nabla$
 \end_inset 
 
 
@@ -4777,7 +4610,7 @@ nabla
 \layout Standard
 
 
-\begin_inset Formula $\surd $
+\begin_inset Formula $\surd$
 \end_inset 
 
 
@@ -4801,7 +4634,7 @@ surd
 \layout Standard
 
 
-\begin_inset Formula $\Box $
+\begin_inset Formula $\Box$
 \end_inset 
 
 
@@ -4825,7 +4658,7 @@ Box
 \layout Standard
 
 
-\begin_inset Formula $\triangle $
+\begin_inset Formula $\triangle$
 \end_inset 
 
 
@@ -4851,7 +4684,7 @@ triangle
 \layout Standard
 
 
-\begin_inset Formula $\Diamond $
+\begin_inset Formula $\Diamond$
 \end_inset 
 
 
@@ -4875,7 +4708,7 @@ Diamond
 \layout Standard
 
 
-\begin_inset Formula $\imath $
+\begin_inset Formula $\imath$
 \end_inset 
 
 
@@ -4899,7 +4732,7 @@ imath
 \layout Standard
 
 
-\begin_inset Formula $\jmath $
+\begin_inset Formula $\jmath$
 \end_inset 
 
 
@@ -4923,7 +4756,7 @@ jmath
 \layout Standard
 
 
-\begin_inset Formula $\ell $
+\begin_inset Formula $\ell$
 \end_inset 
 
 
@@ -4947,7 +4780,7 @@ ell
 \layout Standard
 
 
-\begin_inset Formula $\neg $
+\begin_inset Formula $\neg$
 \end_inset 
 
 
@@ -4973,7 +4806,7 @@ neg
 \layout Standard
 
 
-\begin_inset Formula $\top $
+\begin_inset Formula $\top$
 \end_inset 
 
 
@@ -4997,7 +4830,7 @@ top
 \layout Standard
 
 
-\begin_inset Formula $\flat $
+\begin_inset Formula $\flat$
 \end_inset 
 
 
@@ -5021,7 +4854,7 @@ flat
 \layout Standard
 
 
-\begin_inset Formula $\natural $
+\begin_inset Formula $\natural$
 \end_inset 
 
 
@@ -5045,7 +4878,7 @@ natural
 \layout Standard
 
 
-\begin_inset Formula $\sharp $
+\begin_inset Formula $\sharp$
 \end_inset 
 
 
@@ -5069,7 +4902,7 @@ sharp
 \layout Standard
 
 
-\begin_inset Formula $\wp $
+\begin_inset Formula $\wp$
 \end_inset 
 
 
@@ -5095,7 +4928,7 @@ wp
 \layout Standard
 
 
-\begin_inset Formula $\bot $
+\begin_inset Formula $\bot$
 \end_inset 
 
 
@@ -5119,7 +4952,7 @@ bot
 \layout Standard
 
 
-\begin_inset Formula $\clubsuit $
+\begin_inset Formula $\clubsuit$
 \end_inset 
 
 
@@ -5143,7 +4976,7 @@ clubsuit
 \layout Standard
 
 
-\begin_inset Formula $\diamondsuit $
+\begin_inset Formula $\diamondsuit$
 \end_inset 
 
 
@@ -5167,7 +5000,7 @@ diamondsuit
 \layout Standard
 
 
-\begin_inset Formula $\heartsuit $
+\begin_inset Formula $\heartsuit$
 \end_inset 
 
 
@@ -5191,7 +5024,7 @@ heartsuit
 \layout Standard
 
 
-\begin_inset Formula $\spadesuit $
+\begin_inset Formula $\spadesuit$
 \end_inset 
 
 
@@ -5217,7 +5050,7 @@ spadesuit
 \layout Standard
 
 
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
 \end_inset 
 
 
@@ -5241,7 +5074,7 @@ mho
 \layout Standard
 
 
-\begin_inset Formula $\Re $
+\begin_inset Formula $\Re$
 \end_inset 
 
 
@@ -5265,7 +5098,7 @@ Re
 \layout Standard
 
 
-\begin_inset Formula $\Im $
+\begin_inset Formula $\Im$
 \end_inset 
 
 
@@ -5289,7 +5122,7 @@ Im
 \layout Standard
 
 
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
 \end_inset 
 
 
@@ -5313,7 +5146,7 @@ angle
 \layout Standard
 
 
-\begin_inset Formula $\partial $
+\begin_inset Formula $\partial$
 \end_inset 
 
 
@@ -5374,7 +5207,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\sum $
+\begin_inset Formula $\sum$
 \end_inset 
 
 
@@ -5398,7 +5231,7 @@ sum
 \layout Standard
 
 
-\begin_inset Formula $\prod $
+\begin_inset Formula $\prod$
 \end_inset 
 
 
@@ -5422,7 +5255,7 @@ prod
 \layout Standard
 
 
-\begin_inset Formula $\coprod $
+\begin_inset Formula $\coprod$
 \end_inset 
 
 
@@ -5446,7 +5279,7 @@ coprod
 \layout Standard
 
 
-\begin_inset Formula $\int $
+\begin_inset Formula $\int$
 \end_inset 
 
 
@@ -5470,7 +5303,7 @@ int
 \layout Standard
 
 
-\begin_inset Formula $\oint $
+\begin_inset Formula $\oint$
 \end_inset 
 
 
@@ -5496,7 +5329,7 @@ oint
 \layout Standard
 
 
-\begin_inset Formula $\bigcap $
+\begin_inset Formula $\bigcap$
 \end_inset 
 
 
@@ -5520,7 +5353,7 @@ bigcap
 \layout Standard
 
 
-\begin_inset Formula $\bigcup $
+\begin_inset Formula $\bigcup$
 \end_inset 
 
 
@@ -5544,7 +5377,7 @@ bigcup
 \layout Standard
 
 
-\begin_inset Formula $\bigsqcup $
+\begin_inset Formula $\bigsqcup$
 \end_inset 
 
 
@@ -5568,7 +5401,7 @@ bigsqcup
 \layout Standard
 
 
-\begin_inset Formula $\bigvee $
+\begin_inset Formula $\bigvee$
 \end_inset 
 
 
@@ -5592,7 +5425,7 @@ bigvee
 \layout Standard
 
 
-\begin_inset Formula $\bigwedge $
+\begin_inset Formula $\bigwedge$
 \end_inset 
 
 
@@ -5618,7 +5451,7 @@ bigwedge
 \layout Standard
 
 
-\begin_inset Formula $\bigodot $
+\begin_inset Formula $\bigodot$
 \end_inset 
 
 
@@ -5642,7 +5475,7 @@ bigodot
 \layout Standard
 
 
-\begin_inset Formula $\bigotimes $
+\begin_inset Formula $\bigotimes$
 \end_inset 
 
 
@@ -5666,7 +5499,7 @@ bigotimes
 \layout Standard
 
 
-\begin_inset Formula $\bigoplus $
+\begin_inset Formula $\bigoplus$
 \end_inset 
 
 
@@ -5690,7 +5523,7 @@ bigoplus
 \layout Standard
 
 
-\begin_inset Formula $\biguplus $
+\begin_inset Formula $\biguplus$
 \end_inset 
 
 
@@ -5763,7 +5596,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\arccos $
+\begin_inset Formula $\arccos$
 \end_inset 
 
 
@@ -5775,7 +5608,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\cos $
+\begin_inset Formula $\cos$
 \end_inset 
 
 
@@ -5787,7 +5620,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\csc $
+\begin_inset Formula $\csc$
 \end_inset 
 
 
@@ -5799,7 +5632,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\exp $
+\begin_inset Formula $\exp$
 \end_inset 
 
 
@@ -5811,7 +5644,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\ker $
+\begin_inset Formula $\ker$
 \end_inset 
 
 
@@ -5823,7 +5656,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\limsup $
+\begin_inset Formula $\limsup$
 \end_inset 
 
 
@@ -5835,7 +5668,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\min $
+\begin_inset Formula $\min$
 \end_inset 
 
 
@@ -5847,7 +5680,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\sinh $
+\begin_inset Formula $\sinh$
 \end_inset 
 
 
@@ -5861,7 +5694,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\arcsin $
+\begin_inset Formula $\arcsin$
 \end_inset 
 
 
@@ -5873,7 +5706,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\cosh $
+\begin_inset Formula $\cosh$
 \end_inset 
 
 
@@ -5885,7 +5718,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\deg $
+\begin_inset Formula $\deg$
 \end_inset 
 
 
@@ -5897,7 +5730,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\gcd $
+\begin_inset Formula $\gcd$
 \end_inset 
 
 
@@ -5909,7 +5742,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\lg $
+\begin_inset Formula $\lg$
 \end_inset 
 
 
@@ -5921,7 +5754,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\ln $
+\begin_inset Formula $\ln$
 \end_inset 
 
 
@@ -5933,7 +5766,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\Pr $
+\begin_inset Formula $\Pr$
 \end_inset 
 
 
@@ -5945,7 +5778,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\sup $
+\begin_inset Formula $\sup$
 \end_inset 
 
 
@@ -5959,7 +5792,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\arctan $
+\begin_inset Formula $\arctan$
 \end_inset 
 
 
@@ -5971,7 +5804,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\cot $
+\begin_inset Formula $\cot$
 \end_inset 
 
 
@@ -5983,7 +5816,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\det $
+\begin_inset Formula $\det$
 \end_inset 
 
 
@@ -5995,7 +5828,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\hom $
+\begin_inset Formula $\hom$
 \end_inset 
 
 
@@ -6007,7 +5840,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\lim $
+\begin_inset Formula $\lim$
 \end_inset 
 
 
@@ -6019,7 +5852,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\log $
+\begin_inset Formula $\log$
 \end_inset 
 
 
@@ -6031,7 +5864,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\sec $
+\begin_inset Formula $\sec$
 \end_inset 
 
 
@@ -6043,7 +5876,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\tan $
+\begin_inset Formula $\tan$
 \end_inset 
 
 
@@ -6057,7 +5890,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\arg $
+\begin_inset Formula $\arg$
 \end_inset 
 
 
@@ -6069,7 +5902,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\coth $
+\begin_inset Formula $\coth$
 \end_inset 
 
 
@@ -6081,7 +5914,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\dim $
+\begin_inset Formula $\dim$
 \end_inset 
 
 
@@ -6093,7 +5926,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\inf $
+\begin_inset Formula $\inf$
 \end_inset 
 
 
@@ -6105,7 +5938,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\liminf $
+\begin_inset Formula $\liminf$
 \end_inset 
 
 
@@ -6117,7 +5950,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\max $
+\begin_inset Formula $\max$
 \end_inset 
 
 
@@ -6129,7 +5962,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\sin $
+\begin_inset Formula $\sin$
 \end_inset 
 
 
@@ -6141,7 +5974,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\tanh $
+\begin_inset Formula $\tanh$
 \end_inset 
 
 
@@ -6188,7 +6021,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
 \end_inset 
 
 
@@ -6212,7 +6045,7 @@ uparrow
 \layout Standard
 
 
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
 \end_inset 
 
 
@@ -6236,7 +6069,7 @@ Uparrow
 \layout Standard
 
 
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
 \end_inset 
 
 
@@ -6260,7 +6093,7 @@ downarrow
 \layout Standard
 
 
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
 \end_inset 
 
 
@@ -6334,7 +6167,7 @@ Downarrow
 \layout Standard
 
 
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
 \end_inset 
 
 
@@ -6358,7 +6191,7 @@ updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
 \end_inset 
 
 
@@ -6384,7 +6217,7 @@ Updownarrow
 \layout Standard
 
 
-\begin_inset Formula $\lfloor $
+\begin_inset Formula $\lfloor$
 \end_inset 
 
 
@@ -6408,7 +6241,7 @@ lfloor
 \layout Standard
 
 
-\begin_inset Formula $\rfloor $
+\begin_inset Formula $\rfloor$
 \end_inset 
 
 
@@ -6432,7 +6265,7 @@ rfloor
 \layout Standard
 
 
-\begin_inset Formula $\lceil $
+\begin_inset Formula $\lceil$
 \end_inset 
 
 
@@ -6456,7 +6289,7 @@ lceil
 \layout Standard
 
 
-\begin_inset Formula $\rceil $
+\begin_inset Formula $\rceil$
 \end_inset 
 
 
@@ -6482,7 +6315,7 @@ rceil
 \layout Standard
 
 
-\begin_inset Formula $\langle $
+\begin_inset Formula $\langle$
 \end_inset 
 
 
@@ -6506,7 +6339,7 @@ langle
 \layout Standard
 
 
-\begin_inset Formula $\rangle $
+\begin_inset Formula $\rangle$
 \end_inset 
 
 
@@ -6552,7 +6385,7 @@ rangle
 \layout Standard
 
 
-\begin_inset Formula $\backslash $
+\begin_inset Formula $\backslash$
 \end_inset 
 
 
@@ -6600,7 +6433,7 @@ backslash
 \layout Standard
 
 
-\begin_inset Formula $\| $
+\begin_inset Formula $\|$
 \end_inset 
 
 
@@ -6669,225 +6502,6 @@ collapsed false
 \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
-
-Grands délimiteurs
-\end_inset 
-
-
-\layout Standard
-
-
-\begin_inset Float table
-placement H
-wide false
-collapsed false
-
-\layout Standard
-
-
 \begin_inset  Tabular
 <lyxtabular version="3" rows="6" columns="4">
 <features>
@@ -7202,7 +6816,7 @@ frac{abc}{xyz}
 
 \layout Caption
 
-Constructions mathématiques LaTeX
+Structures mathématiques LaTeX
 \end_inset 
 
 
@@ -7237,7 +6851,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\digamma $
+\begin_inset Formula $\digamma$
 \end_inset 
 
 
@@ -7261,7 +6875,7 @@ digamma
 \layout Standard
 
 
-\begin_inset Formula $\varkappa $
+\begin_inset Formula $\varkappa$
 \end_inset 
 
 
@@ -7285,7 +6899,7 @@ varkappa
 \layout Standard
 
 
-\begin_inset Formula $\beth $
+\begin_inset Formula $\beth$
 \end_inset 
 
 
@@ -7309,7 +6923,7 @@ beth
 \layout Standard
 
 
-\begin_inset Formula $\daleth $
+\begin_inset Formula $\daleth$
 \end_inset 
 
 
@@ -7333,7 +6947,7 @@ daleth
 \layout Standard
 
 
-\begin_inset Formula $\gimel $
+\begin_inset Formula $\gimel$
 \end_inset 
 
 
@@ -7392,7 +7006,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\ulcorner $
+\begin_inset Formula $\ulcorner$
 \end_inset 
 
 
@@ -7416,7 +7030,7 @@ ulcorner
 \layout Standard
 
 
-\begin_inset Formula $\urcorner $
+\begin_inset Formula $\urcorner$
 \end_inset 
 
 
@@ -7440,7 +7054,7 @@ urcorner
 \layout Standard
 
 
-\begin_inset Formula $\llcorner $
+\begin_inset Formula $\llcorner$
 \end_inset 
 
 
@@ -7464,7 +7078,7 @@ llcorner
 \layout Standard
 
 
-\begin_inset Formula $\lrcorner $
+\begin_inset Formula $\lrcorner$
 \end_inset 
 
 
@@ -7521,7 +7135,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\dashrightarrow $
+\begin_inset Formula $\dashrightarrow$
 \end_inset 
 
 
@@ -7545,7 +7159,7 @@ dashrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\dashleftarrow $
+\begin_inset Formula $\dashleftarrow$
 \end_inset 
 
 
@@ -7569,7 +7183,7 @@ dashleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftleftarrows $
+\begin_inset Formula $\leftleftarrows$
 \end_inset 
 
 
@@ -7595,7 +7209,7 @@ leftleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\leftrightarrows $
+\begin_inset Formula $\leftrightarrows$
 \end_inset 
 
 
@@ -7619,7 +7233,7 @@ leftrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\Lleftarrow $
+\begin_inset Formula $\Lleftarrow$
 \end_inset 
 
 
@@ -7643,7 +7257,7 @@ Lleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\twoheadleftarrow $
+\begin_inset Formula $\twoheadleftarrow$
 \end_inset 
 
 
@@ -7669,7 +7283,7 @@ twoheadleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\leftarrowtail $
+\begin_inset Formula $\leftarrowtail$
 \end_inset 
 
 
@@ -7693,7 +7307,7 @@ leftarrowtail
 \layout Standard
 
 
-\begin_inset Formula $\looparrowleft $
+\begin_inset Formula $\looparrowleft$
 \end_inset 
 
 
@@ -7717,7 +7331,7 @@ looparrowleft
 \layout Standard
 
 
-\begin_inset Formula $\leftrightharpoons $
+\begin_inset Formula $\leftrightharpoons$
 \end_inset 
 
 
@@ -7743,7 +7357,7 @@ leftrightharpoons
 \layout Standard
 
 
-\begin_inset Formula $\curvearrowleft $
+\begin_inset Formula $\curvearrowleft$
 \end_inset 
 
 
@@ -7767,7 +7381,7 @@ curvearrowleft
 \layout Standard
 
 
-\begin_inset Formula $\circlearrowleft $
+\begin_inset Formula $\circlearrowleft$
 \end_inset 
 
 
@@ -7791,7 +7405,7 @@ circlearrowleft
 \layout Standard
 
 
-\begin_inset Formula $\Lsh $
+\begin_inset Formula $\Lsh$
 \end_inset 
 
 
@@ -7817,7 +7431,7 @@ Lsh
 \layout Standard
 
 
-\begin_inset Formula $\upuparrows $
+\begin_inset Formula $\upuparrows$
 \end_inset 
 
 
@@ -7841,7 +7455,7 @@ upuparrows
 \layout Standard
 
 
-\begin_inset Formula $\upharpoonleft $
+\begin_inset Formula $\upharpoonleft$
 \end_inset 
 
 
@@ -7865,7 +7479,7 @@ upharpoonleft
 \layout Standard
 
 
-\begin_inset Formula $\downharpoonleft $
+\begin_inset Formula $\downharpoonleft$
 \end_inset 
 
 
@@ -7891,7 +7505,7 @@ downharpoonleft
 \layout Standard
 
 
-\begin_inset Formula $\multimap $
+\begin_inset Formula $\multimap$
 \end_inset 
 
 
@@ -7915,7 +7529,7 @@ multimap
 \layout Standard
 
 
-\begin_inset Formula $\leftrightsquigarrow $
+\begin_inset Formula $\leftrightsquigarrow$
 \end_inset 
 
 
@@ -7939,7 +7553,7 @@ leftrightsquigarrow
 \layout Standard
 
 
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
 \end_inset 
 
 
@@ -7965,7 +7579,7 @@ rightrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
 \end_inset 
 
 
@@ -7989,7 +7603,7 @@ rightleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
 \end_inset 
 
 
@@ -8013,7 +7627,7 @@ rightrightarrows
 \layout Standard
 
 
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
 \end_inset 
 
 
@@ -8039,7 +7653,7 @@ rightleftarrows
 \layout Standard
 
 
-\begin_inset Formula $\twoheadrightarrow $
+\begin_inset Formula $\twoheadrightarrow$
 \end_inset 
 
 
@@ -8063,7 +7677,7 @@ twoheadrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\rightarrowtail $
+\begin_inset Formula $\rightarrowtail$
 \end_inset 
 
 
@@ -8087,7 +7701,7 @@ rightarrowtail
 \layout Standard
 
 
-\begin_inset Formula $\looparrowright $
+\begin_inset Formula $\looparrowright$
 \end_inset 
 
 
@@ -8113,7 +7727,7 @@ looparrowright
 \layout Standard
 
 
-\begin_inset Formula $\rightleftharpoons $
+\begin_inset Formula $\rightleftharpoons$
 \end_inset 
 
 
@@ -8137,7 +7751,7 @@ rightleftharpoons
 \layout Standard
 
 
-\begin_inset Formula $\curvearrowright $
+\begin_inset Formula $\curvearrowright$
 \end_inset 
 
 
@@ -8161,7 +7775,7 @@ curvearrowright
 \layout Standard
 
 
-\begin_inset Formula $\circlearrowright $
+\begin_inset Formula $\circlearrowright$
 \end_inset 
 
 
@@ -8187,7 +7801,7 @@ circlearrowright
 \layout Standard
 
 
-\begin_inset Formula $\Rsh $
+\begin_inset Formula $\Rsh$
 \end_inset 
 
 
@@ -8211,7 +7825,7 @@ Rsh
 \layout Standard
 
 
-\begin_inset Formula $\downdownarrows $
+\begin_inset Formula $\downdownarrows$
 \end_inset 
 
 
@@ -8235,7 +7849,7 @@ downdownarrows
 \layout Standard
 
 
-\begin_inset Formula $\upharpoonright $
+\begin_inset Formula $\upharpoonright$
 \end_inset 
 
 
@@ -8261,7 +7875,7 @@ upharpoonright
 \layout Standard
 
 
-\begin_inset Formula $\downharpoonright $
+\begin_inset Formula $\downharpoonright$
 \end_inset 
 
 
@@ -8285,7 +7899,7 @@ downharpoonright
 \layout Standard
 
 
-\begin_inset Formula $\rightsquigarrow $
+\begin_inset Formula $\rightsquigarrow$
 \end_inset 
 
 
@@ -8356,7 +7970,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\nleftarrow $
+\begin_inset Formula $\nleftarrow$
 \end_inset 
 
 
@@ -8380,7 +7994,7 @@ nleftarrow
 \layout Standard
 
 
-\begin_inset Formula $\nrightarrow $
+\begin_inset Formula $\nrightarrow$
 \end_inset 
 
 
@@ -8404,7 +8018,7 @@ nrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nLeftarrow $
+\begin_inset Formula $\nLeftarrow$
 \end_inset 
 
 
@@ -8430,7 +8044,7 @@ nLeftarrow
 \layout Standard
 
 
-\begin_inset Formula $\nRightarrow $
+\begin_inset Formula $\nRightarrow$
 \end_inset 
 
 
@@ -8454,7 +8068,7 @@ nRightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nleftrightarrow $
+\begin_inset Formula $\nleftrightarrow$
 \end_inset 
 
 
@@ -8478,7 +8092,7 @@ nleftrightarrow
 \layout Standard
 
 
-\begin_inset Formula $\nLeftrightarrow $
+\begin_inset Formula $\nLeftrightarrow$
 \end_inset 
 
 
@@ -8535,7 +8149,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\leqq $
+\begin_inset Formula $\leqq$
 \end_inset 
 
 
@@ -8559,7 +8173,7 @@ leqq
 \layout Standard
 
 
-\begin_inset Formula $\leqslant $
+\begin_inset Formula $\leqslant$
 \end_inset 
 
 
@@ -8583,7 +8197,7 @@ leqslant
 \layout Standard
 
 
-\begin_inset Formula $\eqslantless $
+\begin_inset Formula $\eqslantless$
 \end_inset 
 
 
@@ -8609,7 +8223,7 @@ eqslantless
 \layout Standard
 
 
-\begin_inset Formula $\lesssim $
+\begin_inset Formula $\lesssim$
 \end_inset 
 
 
@@ -8633,7 +8247,7 @@ lesssim
 \layout Standard
 
 
-\begin_inset Formula $\lessapprox $
+\begin_inset Formula $\lessapprox$
 \end_inset 
 
 
@@ -8657,7 +8271,7 @@ lessapprox
 \layout Standard
 
 
-\begin_inset Formula $\approxeq $
+\begin_inset Formula $\approxeq$
 \end_inset 
 
 
@@ -8683,7 +8297,7 @@ approxeq
 \layout Standard
 
 
-\begin_inset Formula $\lessdot $
+\begin_inset Formula $\lessdot$
 \end_inset 
 
 
@@ -8707,7 +8321,7 @@ lessdot
 \layout Standard
 
 
-\begin_inset Formula $\lll $
+\begin_inset Formula $\lll$
 \end_inset 
 
 
@@ -8731,7 +8345,7 @@ lll
 \layout Standard
 
 
-\begin_inset Formula $\lessgtr $
+\begin_inset Formula $\lessgtr$
 \end_inset 
 
 
@@ -8757,7 +8371,7 @@ lessgtr
 \layout Standard
 
 
-\begin_inset Formula $\lesseqgtr $
+\begin_inset Formula $\lesseqgtr$
 \end_inset 
 
 
@@ -8781,7 +8395,7 @@ lesseqgtr
 \layout Standard
 
 
-\begin_inset Formula $\lesseqqgtr $
+\begin_inset Formula $\lesseqqgtr$
 \end_inset 
 
 
@@ -8805,7 +8419,7 @@ lesseqqgtr
 \layout Standard
 
 
-\begin_inset Formula $\doteqdot $
+\begin_inset Formula $\doteqdot$
 \end_inset 
 
 
@@ -8831,7 +8445,7 @@ doteqdot
 \layout Standard
 
 
-\begin_inset Formula $\risingdotseq $
+\begin_inset Formula $\risingdotseq$
 \end_inset 
 
 
@@ -8855,7 +8469,7 @@ risingdotseq
 \layout Standard
 
 
-\begin_inset Formula $\fallingdotseq $
+\begin_inset Formula $\fallingdotseq$
 \end_inset 
 
 
@@ -8879,7 +8493,7 @@ fallingdotseq
 \layout Standard
 
 
-\begin_inset Formula $\backsim $
+\begin_inset Formula $\backsim$
 \end_inset 
 
 
@@ -8905,7 +8519,7 @@ backsim
 \layout Standard
 
 
-\begin_inset Formula $\backsimeq $
+\begin_inset Formula $\backsimeq$
 \end_inset 
 
 
@@ -8929,7 +8543,7 @@ backsimeq
 \layout Standard
 
 
-\begin_inset Formula $\subseteqq $
+\begin_inset Formula $\subseteqq$
 \end_inset 
 
 
@@ -8953,7 +8567,7 @@ subseteqq
 \layout Standard
 
 
-\begin_inset Formula $\Subset $
+\begin_inset Formula $\Subset$
 \end_inset 
 
 
@@ -8979,7 +8593,7 @@ Subset
 \layout Standard
 
 
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
 \end_inset 
 
 
@@ -9003,7 +8617,7 @@ sqsubset
 \layout Standard
 
 
-\begin_inset Formula $\preccurlyeq $
+\begin_inset Formula $\preccurlyeq$
 \end_inset 
 
 
@@ -9027,7 +8641,7 @@ preccurlyeq
 \layout Standard
 
 
-\begin_inset Formula $\curlyeqprec $
+\begin_inset Formula $\curlyeqprec$
 \end_inset 
 
 
@@ -9053,7 +8667,7 @@ curlyeqprec
 \layout Standard
 
 
-\begin_inset Formula $\precsim $
+\begin_inset Formula $\precsim$
 \end_inset 
 
 
@@ -9077,7 +8691,7 @@ precsim
 \layout Standard
 
 
-\begin_inset Formula $\precapprox $
+\begin_inset Formula $\precapprox$
 \end_inset 
 
 
@@ -9101,7 +8715,7 @@ precapprox
 \layout Standard
 
 
-\begin_inset Formula $\vartriangleleft $
+\begin_inset Formula $\vartriangleleft$
 \end_inset 
 
 
@@ -9127,7 +8741,7 @@ vartriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\trianglelefteq $
+\begin_inset Formula $\trianglelefteq$
 \end_inset 
 
 
@@ -9151,7 +8765,7 @@ trianglelefteq
 \layout Standard
 
 
-\begin_inset Formula $\vDash $
+\begin_inset Formula $\vDash$
 \end_inset 
 
 
@@ -9175,7 +8789,7 @@ vDash
 \layout Standard
 
 
-\begin_inset Formula $\Vvdash $
+\begin_inset Formula $\Vvdash$
 \end_inset 
 
 
@@ -9201,7 +8815,7 @@ Vvdash
 \layout Standard
 
 
-\begin_inset Formula $\smallsmile $
+\begin_inset Formula $\smallsmile$
 \end_inset 
 
 
@@ -9225,7 +8839,7 @@ smallsmile
 \layout Standard
 
 
-\begin_inset Formula $\smallfrown $
+\begin_inset Formula $\smallfrown$
 \end_inset 
 
 
@@ -9249,7 +8863,7 @@ smallfrown
 \layout Standard
 
 
-\begin_inset Formula $\bumpeq $
+\begin_inset Formula $\bumpeq$
 \end_inset 
 
 
@@ -9275,7 +8889,7 @@ bumpeq
 \layout Standard
 
 
-\begin_inset Formula $\Bumpeq $
+\begin_inset Formula $\Bumpeq$
 \end_inset 
 
 
@@ -9299,7 +8913,7 @@ Bumpeq
 \layout Standard
 
 
-\begin_inset Formula $\geqq $
+\begin_inset Formula $\geqq$
 \end_inset 
 
 
@@ -9323,7 +8937,7 @@ geqq
 \layout Standard
 
 
-\begin_inset Formula $\geqslant $
+\begin_inset Formula $\geqslant$
 \end_inset 
 
 
@@ -9349,7 +8963,7 @@ geqslant
 \layout Standard
 
 
-\begin_inset Formula $\eqslantgtr $
+\begin_inset Formula $\eqslantgtr$
 \end_inset 
 
 
@@ -9373,7 +8987,7 @@ eqslantgtr
 \layout Standard
 
 
-\begin_inset Formula $\gtrsim $
+\begin_inset Formula $\gtrsim$
 \end_inset 
 
 
@@ -9397,7 +9011,7 @@ gtrsim
 \layout Standard
 
 
-\begin_inset Formula $\gtrapprox $
+\begin_inset Formula $\gtrapprox$
 \end_inset 
 
 
@@ -9423,7 +9037,7 @@ gtrapprox
 \layout Standard
 
 
-\begin_inset Formula $\gtrdot $
+\begin_inset Formula $\gtrdot$
 \end_inset 
 
 
@@ -9447,7 +9061,7 @@ gtrdot
 \layout Standard
 
 
-\begin_inset Formula $\ggg $
+\begin_inset Formula $\ggg$
 \end_inset 
 
 
@@ -9471,7 +9085,7 @@ ggg
 \layout Standard
 
 
-\begin_inset Formula $\gtrless $
+\begin_inset Formula $\gtrless$
 \end_inset 
 
 
@@ -9497,7 +9111,7 @@ gtrless
 \layout Standard
 
 
-\begin_inset Formula $\gtreqless $
+\begin_inset Formula $\gtreqless$
 \end_inset 
 
 
@@ -9521,7 +9135,7 @@ gtreqless
 \layout Standard
 
 
-\begin_inset Formula $\gtreqqless $
+\begin_inset Formula $\gtreqqless$
 \end_inset 
 
 
@@ -9545,7 +9159,7 @@ gtreqqless
 \layout Standard
 
 
-\begin_inset Formula $\eqcirc $
+\begin_inset Formula $\eqcirc$
 \end_inset 
 
 
@@ -9571,7 +9185,7 @@ eqcirc
 \layout Standard
 
 
-\begin_inset Formula $\circeq $
+\begin_inset Formula $\circeq$
 \end_inset 
 
 
@@ -9595,7 +9209,7 @@ circeq
 \layout Standard
 
 
-\begin_inset Formula $\triangleq $
+\begin_inset Formula $\triangleq$
 \end_inset 
 
 
@@ -9619,7 +9233,7 @@ triangleq
 \layout Standard
 
 
-\begin_inset Formula $\thicksim $
+\begin_inset Formula $\thicksim$
 \end_inset 
 
 
@@ -9645,7 +9259,7 @@ thicksim
 \layout Standard
 
 
-\begin_inset Formula $\thickapprox $
+\begin_inset Formula $\thickapprox$
 \end_inset 
 
 
@@ -9669,7 +9283,7 @@ thickapprox
 \layout Standard
 
 
-\begin_inset Formula $\supseteqq $
+\begin_inset Formula $\supseteqq$
 \end_inset 
 
 
@@ -9693,7 +9307,7 @@ supseteqq
 \layout Standard
 
 
-\begin_inset Formula $\Supset $
+\begin_inset Formula $\Supset$
 \end_inset 
 
 
@@ -9719,7 +9333,7 @@ Supset
 \layout Standard
 
 
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
 \end_inset 
 
 
@@ -9743,7 +9357,7 @@ sqsupset
 \layout Standard
 
 
-\begin_inset Formula $\succcurlyeq $
+\begin_inset Formula $\succcurlyeq$
 \end_inset 
 
 
@@ -9767,7 +9381,7 @@ succcurlyeq
 \layout Standard
 
 
-\begin_inset Formula $\curlyeqsucc $
+\begin_inset Formula $\curlyeqsucc$
 \end_inset 
 
 
@@ -9793,7 +9407,7 @@ curlyeqsucc
 \layout Standard
 
 
-\begin_inset Formula $\succsim $
+\begin_inset Formula $\succsim$
 \end_inset 
 
 
@@ -9817,7 +9431,7 @@ succsim
 \layout Standard
 
 
-\begin_inset Formula $\succapprox $
+\begin_inset Formula $\succapprox$
 \end_inset 
 
 
@@ -9841,7 +9455,7 @@ succapprox
 \layout Standard
 
 
-\begin_inset Formula $\vartriangleright $
+\begin_inset Formula $\vartriangleright$
 \end_inset 
 
 
@@ -9867,7 +9481,7 @@ vartriangleright
 \layout Standard
 
 
-\begin_inset Formula $\trianglerighteq $
+\begin_inset Formula $\trianglerighteq$
 \end_inset 
 
 
@@ -9891,7 +9505,7 @@ trianglerighteq
 \layout Standard
 
 
-\begin_inset Formula $\Vdash $
+\begin_inset Formula $\Vdash$
 \end_inset 
 
 
@@ -9915,7 +9529,7 @@ Vdash
 \layout Standard
 
 
-\begin_inset Formula $\shortmid $
+\begin_inset Formula $\shortmid$
 \end_inset 
 
 
@@ -9941,7 +9555,7 @@ shortmid
 \layout Standard
 
 
-\begin_inset Formula $\shortparallel $
+\begin_inset Formula $\shortparallel$
 \end_inset 
 
 
@@ -9965,7 +9579,7 @@ shortparallel
 \layout Standard
 
 
-\begin_inset Formula $\between $
+\begin_inset Formula $\between$
 \end_inset 
 
 
@@ -9989,7 +9603,7 @@ between
 \layout Standard
 
 
-\begin_inset Formula $\pitchfork $
+\begin_inset Formula $\pitchfork$
 \end_inset 
 
 
@@ -10015,7 +9629,7 @@ pitchfork
 \layout Standard
 
 
-\begin_inset Formula $\varpropto $
+\begin_inset Formula $\varpropto$
 \end_inset 
 
 
@@ -10039,7 +9653,7 @@ varpropto
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangleleft $
+\begin_inset Formula $\blacktriangleleft$
 \end_inset 
 
 
@@ -10063,7 +9677,7 @@ blacktriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\therefore $
+\begin_inset Formula $\therefore$
 \end_inset 
 
 
@@ -10089,7 +9703,7 @@ therefore
 \layout Standard
 
 
-\begin_inset Formula $\backepsilon $
+\begin_inset Formula $\backepsilon$
 \end_inset 
 
 
@@ -10113,7 +9727,7 @@ backepsilon
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangleright $
+\begin_inset Formula $\blacktriangleright$
 \end_inset 
 
 
@@ -10137,7 +9751,7 @@ blacktriangleright
 \layout Standard
 
 
-\begin_inset Formula $\because $
+\begin_inset Formula $\because$
 \end_inset 
 
 
@@ -10194,7 +9808,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\nless $
+\begin_inset Formula $\nless$
 \end_inset 
 
 
@@ -10218,7 +9832,7 @@ nless
 \layout Standard
 
 
-\begin_inset Formula $\nleq $
+\begin_inset Formula $\nleq$
 \end_inset 
 
 
@@ -10242,7 +9856,7 @@ nleq
 \layout Standard
 
 
-\begin_inset Formula $\nleqslant $
+\begin_inset Formula $\nleqslant$
 \end_inset 
 
 
@@ -10268,7 +9882,7 @@ nleqslant
 \layout Standard
 
 
-\begin_inset Formula $\nleqq $
+\begin_inset Formula $\nleqq$
 \end_inset 
 
 
@@ -10292,7 +9906,7 @@ nleqq
 \layout Standard
 
 
-\begin_inset Formula $\lneq $
+\begin_inset Formula $\lneq$
 \end_inset 
 
 
@@ -10316,7 +9930,7 @@ lneq
 \layout Standard
 
 
-\begin_inset Formula $\lneqq $
+\begin_inset Formula $\lneqq$
 \end_inset 
 
 
@@ -10342,7 +9956,7 @@ lneqq
 \layout Standard
 
 
-\begin_inset Formula $\lvertneqq $
+\begin_inset Formula $\lvertneqq$
 \end_inset 
 
 
@@ -10366,7 +9980,7 @@ lvertneqq
 \layout Standard
 
 
-\begin_inset Formula $\lnsim $
+\begin_inset Formula $\lnsim$
 \end_inset 
 
 
@@ -10390,7 +10004,7 @@ lnsim
 \layout Standard
 
 
-\begin_inset Formula $\lnapprox $
+\begin_inset Formula $\lnapprox$
 \end_inset 
 
 
@@ -10416,7 +10030,7 @@ lnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nprec $
+\begin_inset Formula $\nprec$
 \end_inset 
 
 
@@ -10440,7 +10054,7 @@ nprec
 \layout Standard
 
 
-\begin_inset Formula $\npreceq $
+\begin_inset Formula $\npreceq$
 \end_inset 
 
 
@@ -10464,7 +10078,7 @@ npreceq
 \layout Standard
 
 
-\begin_inset Formula $\precnsim $
+\begin_inset Formula $\precnsim$
 \end_inset 
 
 
@@ -10490,7 +10104,7 @@ precnsim
 \layout Standard
 
 
-\begin_inset Formula $\precnapprox $
+\begin_inset Formula $\precnapprox$
 \end_inset 
 
 
@@ -10514,7 +10128,7 @@ precnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nsim $
+\begin_inset Formula $\nsim$
 \end_inset 
 
 
@@ -10538,7 +10152,7 @@ nsim
 \layout Standard
 
 
-\begin_inset Formula $\nshortmid $
+\begin_inset Formula $\nshortmid$
 \end_inset 
 
 
@@ -10564,7 +10178,7 @@ nshortmid
 \layout Standard
 
 
-\begin_inset Formula $\nmid $
+\begin_inset Formula $\nmid$
 \end_inset 
 
 
@@ -10588,7 +10202,7 @@ nmid
 \layout Standard
 
 
-\begin_inset Formula $\nvdash $
+\begin_inset Formula $\nvdash$
 \end_inset 
 
 
@@ -10612,7 +10226,7 @@ nvdash
 \layout Standard
 
 
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
 \end_inset 
 
 
@@ -10638,7 +10252,7 @@ nvDash
 \layout Standard
 
 
-\begin_inset Formula $\ntriangleleft $
+\begin_inset Formula $\ntriangleleft$
 \end_inset 
 
 
@@ -10662,7 +10276,7 @@ ntriangleleft
 \layout Standard
 
 
-\begin_inset Formula $\ntrianglelefteq $
+\begin_inset Formula $\ntrianglelefteq$
 \end_inset 
 
 
@@ -10686,7 +10300,7 @@ ntrianglelefteq
 \layout Standard
 
 
-\begin_inset Formula $\nsubseteq $
+\begin_inset Formula $\nsubseteq$
 \end_inset 
 
 
@@ -10712,7 +10326,7 @@ nsubseteq
 \layout Standard
 
 
-\begin_inset Formula $\subsetneq $
+\begin_inset Formula $\subsetneq$
 \end_inset 
 
 
@@ -10736,7 +10350,7 @@ subsetneq
 \layout Standard
 
 
-\begin_inset Formula $\varsubsetneq $
+\begin_inset Formula $\varsubsetneq$
 \end_inset 
 
 
@@ -10760,7 +10374,7 @@ varsubsetneq
 \layout Standard
 
 
-\begin_inset Formula $\subsetneqq $
+\begin_inset Formula $\subsetneqq$
 \end_inset 
 
 
@@ -10786,7 +10400,7 @@ subsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\varsubsetneqq $
+\begin_inset Formula $\varsubsetneqq$
 \end_inset 
 
 
@@ -10810,7 +10424,7 @@ varsubsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\ngtr $
+\begin_inset Formula $\ngtr$
 \end_inset 
 
 
@@ -10834,7 +10448,7 @@ ngtr
 \layout Standard
 
 
-\begin_inset Formula $\ngeq $
+\begin_inset Formula $\ngeq$
 \end_inset 
 
 
@@ -10860,7 +10474,7 @@ ngeq
 \layout Standard
 
 
-\begin_inset Formula $\ngeqslant $
+\begin_inset Formula $\ngeqslant$
 \end_inset 
 
 
@@ -10884,7 +10498,7 @@ ngeqslant
 \layout Standard
 
 
-\begin_inset Formula $\ngeqq $
+\begin_inset Formula $\ngeqq$
 \end_inset 
 
 
@@ -10908,7 +10522,7 @@ ngeqq
 \layout Standard
 
 
-\begin_inset Formula $\gneq $
+\begin_inset Formula $\gneq$
 \end_inset 
 
 
@@ -10934,7 +10548,7 @@ gneq
 \layout Standard
 
 
-\begin_inset Formula $\gneqq $
+\begin_inset Formula $\gneqq$
 \end_inset 
 
 
@@ -10958,7 +10572,7 @@ gneqq
 \layout Standard
 
 
-\begin_inset Formula $\gvertneqq $
+\begin_inset Formula $\gvertneqq$
 \end_inset 
 
 
@@ -10982,7 +10596,7 @@ gvertneqq
 \layout Standard
 
 
-\begin_inset Formula $\gnsim $
+\begin_inset Formula $\gnsim$
 \end_inset 
 
 
@@ -11008,7 +10622,7 @@ gnsim
 \layout Standard
 
 
-\begin_inset Formula $\gnapprox $
+\begin_inset Formula $\gnapprox$
 \end_inset 
 
 
@@ -11032,7 +10646,7 @@ gnapprox
 \layout Standard
 
 
-\begin_inset Formula $\nsucc $
+\begin_inset Formula $\nsucc$
 \end_inset 
 
 
@@ -11056,7 +10670,7 @@ nsucc
 \layout Standard
 
 
-\begin_inset Formula $\nsucceq $
+\begin_inset Formula $\nsucceq$
 \end_inset 
 
 
@@ -11082,7 +10696,7 @@ nsucceq
 \layout Standard
 
 
-\begin_inset Formula $\succnsim $
+\begin_inset Formula $\succnsim$
 \end_inset 
 
 
@@ -11106,7 +10720,7 @@ succnsim
 \layout Standard
 
 
-\begin_inset Formula $\succnapprox $
+\begin_inset Formula $\succnapprox$
 \end_inset 
 
 
@@ -11130,7 +10744,7 @@ succnapprox
 \layout Standard
 
 
-\begin_inset Formula $\ncong $
+\begin_inset Formula $\ncong$
 \end_inset 
 
 
@@ -11156,7 +10770,7 @@ ncong
 \layout Standard
 
 
-\begin_inset Formula $\nshortparallel $
+\begin_inset Formula $\nshortparallel$
 \end_inset 
 
 
@@ -11180,7 +10794,7 @@ nshortparallel
 \layout Standard
 
 
-\begin_inset Formula $\nparallel $
+\begin_inset Formula $\nparallel$
 \end_inset 
 
 
@@ -11204,7 +10818,7 @@ nparallel
 \layout Standard
 
 
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
 \end_inset 
 
 
@@ -11230,7 +10844,7 @@ nvDash
 \layout Standard
 
 
-\begin_inset Formula $\nVDash $
+\begin_inset Formula $\nVDash$
 \end_inset 
 
 
@@ -11254,7 +10868,7 @@ nVDash
 \layout Standard
 
 
-\begin_inset Formula $\ntriangleright $
+\begin_inset Formula $\ntriangleright$
 \end_inset 
 
 
@@ -11278,7 +10892,7 @@ ntriangleright
 \layout Standard
 
 
-\begin_inset Formula $\ntrianglerighteq $
+\begin_inset Formula $\ntrianglerighteq$
 \end_inset 
 
 
@@ -11304,7 +10918,7 @@ ntrianglerighteq
 \layout Standard
 
 
-\begin_inset Formula $\nsupseteq $
+\begin_inset Formula $\nsupseteq$
 \end_inset 
 
 
@@ -11328,7 +10942,7 @@ nsupseteq
 \layout Standard
 
 
-\begin_inset Formula $\nsupseteqq $
+\begin_inset Formula $\nsupseteqq$
 \end_inset 
 
 
@@ -11352,7 +10966,7 @@ nsupseteqq
 \layout Standard
 
 
-\begin_inset Formula $\supsetneq $
+\begin_inset Formula $\supsetneq$
 \end_inset 
 
 
@@ -11378,7 +10992,7 @@ supsetneq
 \layout Standard
 
 
-\begin_inset Formula $\varsupsetneq $
+\begin_inset Formula $\varsupsetneq$
 \end_inset 
 
 
@@ -11402,7 +11016,7 @@ varsupsetneq
 \layout Standard
 
 
-\begin_inset Formula $\supsetneqq $
+\begin_inset Formula $\supsetneqq$
 \end_inset 
 
 
@@ -11426,7 +11040,7 @@ supsetneqq
 \layout Standard
 
 
-\begin_inset Formula $\varsupsetneqq $
+\begin_inset Formula $\varsupsetneqq$
 \end_inset 
 
 
@@ -11483,7 +11097,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\dotplus $
+\begin_inset Formula $\dotplus$
 \end_inset 
 
 
@@ -11507,7 +11121,7 @@ dotplus
 \layout Standard
 
 
-\begin_inset Formula $\smallsetminus $
+\begin_inset Formula $\smallsetminus$
 \end_inset 
 
 
@@ -11531,7 +11145,7 @@ smallsetminus
 \layout Standard
 
 
-\begin_inset Formula $\Cap $
+\begin_inset Formula $\Cap$
 \end_inset 
 
 
@@ -11557,7 +11171,7 @@ Cap
 \layout Standard
 
 
-\begin_inset Formula $\Cup $
+\begin_inset Formula $\Cup$
 \end_inset 
 
 
@@ -11581,7 +11195,7 @@ Cup
 \layout Standard
 
 
-\begin_inset Formula $\barwedge $
+\begin_inset Formula $\barwedge$
 \end_inset 
 
 
@@ -11605,7 +11219,7 @@ barwedge
 \layout Standard
 
 
-\begin_inset Formula $\veebar $
+\begin_inset Formula $\veebar$
 \end_inset 
 
 
@@ -11631,7 +11245,7 @@ veebar
 \layout Standard
 
 
-\begin_inset Formula $\doublebarwedge $
+\begin_inset Formula $\doublebarwedge$
 \end_inset 
 
 
@@ -11655,7 +11269,7 @@ doublebarwedge
 \layout Standard
 
 
-\begin_inset Formula $\boxminus $
+\begin_inset Formula $\boxminus$
 \end_inset 
 
 
@@ -11679,7 +11293,7 @@ boxminus
 \layout Standard
 
 
-\begin_inset Formula $\boxtimes $
+\begin_inset Formula $\boxtimes$
 \end_inset 
 
 
@@ -11705,7 +11319,7 @@ boxtimes
 \layout Standard
 
 
-\begin_inset Formula $\boxdot $
+\begin_inset Formula $\boxdot$
 \end_inset 
 
 
@@ -11729,7 +11343,7 @@ boxdot
 \layout Standard
 
 
-\begin_inset Formula $\boxplus $
+\begin_inset Formula $\boxplus$
 \end_inset 
 
 
@@ -11753,7 +11367,7 @@ boxplus
 \layout Standard
 
 
-\begin_inset Formula $\divideontimes $
+\begin_inset Formula $\divideontimes$
 \end_inset 
 
 
@@ -11779,7 +11393,7 @@ divideontimes
 \layout Standard
 
 
-\begin_inset Formula $\ltimes $
+\begin_inset Formula $\ltimes$
 \end_inset 
 
 
@@ -11803,7 +11417,7 @@ ltimes
 \layout Standard
 
 
-\begin_inset Formula $\rtimes $
+\begin_inset Formula $\rtimes$
 \end_inset 
 
 
@@ -11827,7 +11441,7 @@ rtimes
 \layout Standard
 
 
-\begin_inset Formula $\leftthreetimes $
+\begin_inset Formula $\leftthreetimes$
 \end_inset 
 
 
@@ -11853,7 +11467,7 @@ leftthreetimes
 \layout Standard
 
 
-\begin_inset Formula $\rightthreetimes $
+\begin_inset Formula $\rightthreetimes$
 \end_inset 
 
 
@@ -11877,7 +11491,7 @@ rightthreetimes
 \layout Standard
 
 
-\begin_inset Formula $\curlywedge $
+\begin_inset Formula $\curlywedge$
 \end_inset 
 
 
@@ -11901,7 +11515,7 @@ curlywedge
 \layout Standard
 
 
-\begin_inset Formula $\curlyvee $
+\begin_inset Formula $\curlyvee$
 \end_inset 
 
 
@@ -11927,7 +11541,7 @@ curlyvee
 \layout Standard
 
 
-\begin_inset Formula $\circleddash $
+\begin_inset Formula $\circleddash$
 \end_inset 
 
 
@@ -11951,7 +11565,7 @@ circleddash
 \layout Standard
 
 
-\begin_inset Formula $\circledast $
+\begin_inset Formula $\circledast$
 \end_inset 
 
 
@@ -11975,7 +11589,7 @@ circledast
 \layout Standard
 
 
-\begin_inset Formula $\circledcirc $
+\begin_inset Formula $\circledcirc$
 \end_inset 
 
 
@@ -12001,7 +11615,7 @@ circledcirc
 \layout Standard
 
 
-\begin_inset Formula $\centerdot $
+\begin_inset Formula $\centerdot$
 \end_inset 
 
 
@@ -12025,7 +11639,7 @@ centerdot
 \layout Standard
 
 
-\begin_inset Formula $\intercal $
+\begin_inset Formula $\intercal$
 \end_inset 
 
 
@@ -12096,7 +11710,7 @@ collapsed false
 \layout Standard
 
 
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
 \end_inset 
 
 
@@ -12120,7 +11734,7 @@ hbar
 \layout Standard
 
 
-\begin_inset Formula $\hslash $
+\begin_inset Formula $\hslash$
 \end_inset 
 
 
@@ -12144,7 +11758,7 @@ hslash
 \layout Standard
 
 
-\begin_inset Formula $\vartriangle $
+\begin_inset Formula $\vartriangle$
 \end_inset 
 
 
@@ -12170,7 +11784,7 @@ vartriangle
 \layout Standard
 
 
-\begin_inset Formula $\triangledown $
+\begin_inset Formula $\triangledown$
 \end_inset 
 
 
@@ -12194,7 +11808,7 @@ triangledown
 \layout Standard
 
 
-\begin_inset Formula $\square $
+\begin_inset Formula $\square$
 \end_inset 
 
 
@@ -12218,7 +11832,7 @@ square
 \layout Standard
 
 
-\begin_inset Formula $\lozenge $
+\begin_inset Formula $\lozenge$
 \end_inset 
 
 
@@ -12244,7 +11858,7 @@ lozenge
 \layout Standard
 
 
-\begin_inset Formula $\circledS $
+\begin_inset Formula $\circledS$
 \end_inset 
 
 
@@ -12268,7 +11882,7 @@ circledS
 \layout Standard
 
 
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
 \end_inset 
 
 
@@ -12292,7 +11906,7 @@ angle
 \layout Standard
 
 
-\begin_inset Formula $\measuredangle $
+\begin_inset Formula $\measuredangle$
 \end_inset 
 
 
@@ -12318,7 +11932,7 @@ measuredangle
 \layout Standard
 
 
-\begin_inset Formula $\nexists $
+\begin_inset Formula $\nexists$
 \end_inset 
 
 
@@ -12342,7 +11956,7 @@ nexists
 \layout Standard
 
 
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
 \end_inset 
 
 
@@ -12366,7 +11980,7 @@ mho
 \layout Standard
 
 
-\begin_inset Formula $\Finv $
+\begin_inset Formula $\Finv$
 \end_inset 
 
 
@@ -12392,7 +12006,7 @@ Finv
 \layout Standard
 
 
-\begin_inset Formula $\Game $
+\begin_inset Formula $\Game$
 \end_inset 
 
 
@@ -12416,7 +12030,7 @@ Game
 \layout Standard
 
 
-\begin_inset Formula $\Bbbk $
+\begin_inset Formula $\Bbbk$
 \end_inset 
 
 
@@ -12440,7 +12054,7 @@ Bbbk
 \layout Standard
 
 
-\begin_inset Formula $\backprime $
+\begin_inset Formula $\backprime$
 \end_inset 
 
 
@@ -12466,7 +12080,7 @@ backprime
 \layout Standard
 
 
-\begin_inset Formula $\varnothing $
+\begin_inset Formula $\varnothing$
 \end_inset 
 
 
@@ -12490,7 +12104,7 @@ varnothing
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangle $
+\begin_inset Formula $\blacktriangle$
 \end_inset 
 
 
@@ -12514,7 +12128,7 @@ blacktriangle
 \layout Standard
 
 
-\begin_inset Formula $\blacktriangledown $
+\begin_inset Formula $\blacktriangledown$
 \end_inset 
 
 
@@ -12540,7 +12154,7 @@ blacktriangledown
 \layout Standard
 
 
-\begin_inset Formula $\blacksquare $
+\begin_inset Formula $\blacksquare$
 \end_inset 
 
 
@@ -12564,7 +12178,7 @@ blacksquare
 \layout Standard
 
 
-\begin_inset Formula $\blacklozenge $
+\begin_inset Formula $\blacklozenge$
 \end_inset 
 
 
@@ -12588,7 +12202,7 @@ blacklozenge
 \layout Standard
 
 
-\begin_inset Formula $\bigstar $
+\begin_inset Formula $\bigstar$
 \end_inset 
 
 
@@ -12614,7 +12228,7 @@ bigstar
 \layout Standard
 
 
-\begin_inset Formula $\sphericalangle $
+\begin_inset Formula $\sphericalangle$
 \end_inset 
 
 
@@ -12638,7 +12252,7 @@ sphericalangle
 \layout Standard
 
 
-\begin_inset Formula $\complement $
+\begin_inset Formula $\complement$
 \end_inset 
 
 
@@ -12662,7 +12276,7 @@ complement
 \layout Standard
 
 
-\begin_inset Formula $\eth $
+\begin_inset Formula $\eth$
 \end_inset 
 
 
@@ -12688,7 +12302,7 @@ eth
 \layout Standard
 
 
-\begin_inset Formula $\diagup $
+\begin_inset Formula $\diagup$
 \end_inset 
 
 
@@ -12712,7 +12326,7 @@ diagup
 \layout Standard
 
 
-\begin_inset Formula $\diagdown $
+\begin_inset Formula $\diagdown$
 \end_inset