1 #LyX 1.2 created this file. For more info see http://www.lyx.org/
12 \paperpackage widemarginsa4
16 \use_numerical_citations 0
17 \paperorientation portrait
20 \paragraph_separation indent
22 \quotes_language french
26 \paperpagestyle default
30 Conversion de et vers Mathed
36 Informations de révision :
39 Traduction : Mise à jour Date : 16/06/2002
42 Original : Révision: 1.5, Date : 21/03/2002
48 Vous pouvez taper des maths dans le corps du document puis les convertir
49 en Mathed en les sélectionnant et en tapant
55 Le texte peut être séparé par des délimiteurs ou non.
56 Ainsi, en sélectionnant les formules ci-dessous :
61 <lyxtabular version="3" rows="5" columns="1">
63 <column alignment="left" valignment="top" width="0pt">
65 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
81 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
97 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
109 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
125 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
151 \begin_inset Formula \[
159 Pour l'instant, il n'y a aucun moyen officiel de reconvertir le contenu
160 d'un insert mathématique en texte standard.
161 Cependant vous pouvez y arriver par des voies détournées.
162 Sélectionnez le contenu de l'insert mathématique (pas l'insert lui-même,
163 seulement son contenu), mais ne le copiez
168 Il est maintenant en mémoire dans le tampon du système X et peut être recollé
169 dans le document avec le bouton milieu de la souris.
172 Afficher les symboles LaTeX
175 Jusqu'à présent, LyX fournissait un équivalent visuel pour une petite partie
176 des symboles mathématiques disponibles en LaTeX.
177 À partir de la version 1.2, il offre l'affichage de la plupart des symboles
178 définis en LaTeX basique et
182 les symboles supplémentaires définis par l'AMS.
183 Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
184 de symboles qui se trouvent dans les livres de Lamport et de Goossen.
187 Cependant pour afficher ces symboles supplémentaires, il faut que les polices
188 nécessaires soient visibles par LyX.
189 Vous pouvez créer un répertoire contenant des liens symboliques vers les
190 polices requises avec le script suivant
201 LYX_XFONTS=$LYXDIR/xfonts
206 if [ ! -d $LYX_XFONTS ]; then
209 mkdir $LYX_XFONTS || exit
217 rm -f $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
222 for file in `sed -e 's/^
230 1/' < fonts-xlfd`; do
233 filepath=`kpsewhich $file`
236 if [ $? -eq 0 ]; then
239 if [ ! -e $LYX_XFONTS/$file ]; then
242 ln -s $filepath $LYX_XFONTS/$file
248 echo `grep -e $file fonts-xlfd` >> $LYX_XFONTS/fonts.scale
269 END { print nlines }" < $LYX_XFONTS/fonts.scale > $LYX_XFONTS/fonts.dir
274 cat $LYX_XFONTS/fonts.scale >> $LYX_XFONTS/fonts.dir
277 cp $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
287 cmr10.pfb -bluesky-cmr-medium-r-normal--0-0-0-0-m-0-adobe-fontspecific
290 cmmi10.pfb -bluesky-cmmi-medium-i-normal--0-0-0-0-m-0-adobe-fontspecific
293 cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
296 cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
299 eufr10.pfb -bluesky-eufrak--medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
302 eufb10.pfb -bluesky-eufrak-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
305 eusr10.pfb -bluesky-eus-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
308 eusb10.pfb -bluesky-eus-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
311 msam10.pfb -bluesky-msam-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
314 msbm10.pfb -bluesky-msbm-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
317 marvosym.pfb -marvo-marvosym-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
320 wasy10.pfb -hoekwater-wasy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
323 wasyb10.pfb -hoekwater-wasy-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
326 logo10.pfb -hoekwater-logo-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
329 logobf10.pfb -hoekwater-logo-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
332 plcrm.pfa -adobe-lcrm-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific
335 plcry.pfa -adobe-lcry-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
338 plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
341 Ensuite, vous devez dire indiquer au serveur X l'emplacement de ce répertoire
342 et des polices s'y trouvant.
346 xset +fp LYX_XFONTS; xset fp rehash
349 à la console, redémarrez LyX, chargez ce document et savourez !
352 Quelques tableaux de symboles mathématiques
355 Si vous avez suivi les instructions qui précèdent, les tableaux ci-dessous
357 \begin_inset Quotes fld
361 \begin_inset Quotes frd
365 apparaîtront dans toute leur splendeur.
366 Dans le cas contraire vous verrez un paquet de texte en rouge !
391 \begin_inset Float table
400 <lyxtabular version="3" rows="2" columns="10">
402 <column alignment="right" valignment="top" width="0pt">
403 <column alignment="left" valignment="top" width="0pt">
404 <column alignment="right" valignment="top" width="0pt">
405 <column alignment="left" valignment="top" width="0pt">
406 <column alignment="right" valignment="top" width="0pt">
407 <column alignment="left" valignment="top" width="0pt">
408 <column alignment="right" valignment="top" width="0pt">
409 <column alignment="left" valignment="top" width="0pt">
410 <column alignment="right" valignment="top" width="0pt">
411 <column alignment="left" valignment="top" width="0pt">
413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
421 \begin_inset Formula $\hat{a}$
427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
447 \begin_inset Formula $\acute{a}$
453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
473 \begin_inset Formula $\bar{a}$
479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
499 \begin_inset Formula $\dot{a}$
505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
525 \begin_inset Formula $\breve{a}$
531 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
553 \begin_inset Formula $\check{a}$
559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
579 \begin_inset Formula $\grave{a}$
585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
605 \begin_inset Formula $\vec{a}$
611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
631 \begin_inset Formula $\ddot{a}$
637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
657 \begin_inset Formula $\tilde{a}$
663 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
683 Accents en mode mathématique
690 \begin_inset Float table
699 <lyxtabular version="3" rows="11" columns="8">
701 <column alignment="right" valignment="top" width="0pt">
702 <column alignment="left" valignment="top" width="0pt">
703 <column alignment="right" valignment="top" width="0pt">
704 <column alignment="left" valignment="top" width="0pt">
705 <column alignment="right" valignment="top" width="0pt">
706 <column alignment="left" valignment="top" width="0pt">
707 <column alignment="right" valignment="top" width="0pt">
708 <column alignment="left" valignment="top" width="0pt">
710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
716 \begin_inset Formula $\alpha $
722 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
734 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
740 \begin_inset Formula $\beta $
746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
758 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
764 \begin_inset Formula $\gamma $
770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
782 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
788 \begin_inset Formula $\delta $
794 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
814 \begin_inset Formula $\epsilon $
820 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
838 \begin_inset Formula $\varepsilon $
844 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
862 \begin_inset Formula $\zeta $
868 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
880 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
886 \begin_inset Formula $\eta $
892 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
906 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
912 \begin_inset Formula $\theta $
918 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
930 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
936 \begin_inset Formula $\vartheta $
942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
960 \begin_inset Formula $\iota $
966 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
978 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
984 \begin_inset Formula $\kappa $
990 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1010 \begin_inset Formula $\lambda $
1016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1034 \begin_inset Formula $\mu $
1040 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1052 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1058 \begin_inset Formula $\nu $
1064 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1076 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1082 \begin_inset Formula $\xi $
1088 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1108 \begin_inset Formula $o$
1114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1128 \begin_inset Formula $\pi $
1134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1152 \begin_inset Formula $\varpi $
1158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1176 \begin_inset Formula $\rho $
1182 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1202 \begin_inset Formula $\varrho $
1208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1226 \begin_inset Formula $\sigma $
1232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1250 \begin_inset Formula $\varsigma $
1256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1274 \begin_inset Formula $\tau $
1280 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1300 \begin_inset Formula $\upsilon $
1306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1324 \begin_inset Formula $\phi $
1330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1348 \begin_inset Formula $\varphi $
1354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1372 \begin_inset Formula $\chi $
1378 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1398 \begin_inset Formula $\psi $
1404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1422 \begin_inset Formula $\omega $
1428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1461 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1476 \begin_inset Formula $\Gamma $
1482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1500 \begin_inset Formula $\Delta $
1506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1524 \begin_inset Formula $\Theta $
1530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1548 \begin_inset Formula $\Lambda $
1554 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1574 \begin_inset Formula $\Xi $
1580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1598 \begin_inset Formula $\Pi $
1604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1622 \begin_inset Formula $\Sigma $
1628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1646 \begin_inset Formula $\Upsilon $
1652 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1672 \begin_inset Formula $\Phi $
1678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1696 \begin_inset Formula $\Psi $
1702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1720 \begin_inset Formula $\Omega $
1726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1745 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1767 \begin_inset Float table
1775 \begin_inset Tabular
1776 <lyxtabular version="3" rows="9" columns="8">
1778 <column alignment="right" valignment="top" width="0pt">
1779 <column alignment="left" valignment="top" width="0pt">
1780 <column alignment="right" valignment="top" width="0pt">
1781 <column alignment="left" valignment="top" width="0pt">
1782 <column alignment="right" valignment="top" width="0pt">
1783 <column alignment="left" valignment="top" width="0pt">
1784 <column alignment="right" valignment="top" width="0pt">
1785 <column alignment="left" valignment="top" width="0pt">
1787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1793 \begin_inset Formula $\pm $
1799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1817 \begin_inset Formula $\cap $
1823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1841 \begin_inset Formula $\diamond $
1847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1865 \begin_inset Formula $\oplus $
1871 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1885 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1891 \begin_inset Formula $\mp $
1897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1915 \begin_inset Formula $\cup $
1921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1939 \begin_inset Formula $\bigtriangleup $
1945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1957 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1963 \begin_inset Formula $\ominus $
1969 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1989 \begin_inset Formula $\times $
1995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2013 \begin_inset Formula $\uplus $
2019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2037 \begin_inset Formula $\bigtriangledown $
2043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2061 \begin_inset Formula $\otimes $
2067 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2087 \begin_inset Formula $\div $
2093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2111 \begin_inset Formula $\sqcap $
2117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2135 \begin_inset Formula $\triangleleft $
2141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2159 \begin_inset Formula $\oslash $
2165 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2185 \begin_inset Formula $\ast $
2191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2209 \begin_inset Formula $\sqcup $
2215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2233 \begin_inset Formula $\triangleright $
2239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2257 \begin_inset Formula $\odot $
2263 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2283 \begin_inset Formula $\star $
2289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2307 \begin_inset Formula $\vee $
2313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2331 \begin_inset Formula $\lhd $
2337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2349 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2355 \begin_inset Formula $\bigcirc $
2361 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2381 \begin_inset Formula $\circ $
2387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2405 \begin_inset Formula $\wedge $
2411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2429 \begin_inset Formula $\rhd $
2435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2453 \begin_inset Formula $\dagger $
2459 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2479 \begin_inset Formula $\bullet $
2485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2503 \begin_inset Formula $\setminus $
2509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2527 \begin_inset Formula $\unlhd $
2533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2551 \begin_inset Formula $\ddagger $
2557 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2577 \begin_inset Formula $\cdot $
2583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2601 \begin_inset Formula $\wr $
2607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2625 \begin_inset Formula $\unrhd $
2631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2649 \begin_inset Formula $\amalg $
2655 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2675 Symboles d'opérations binaires
2682 \begin_inset Float table
2690 \begin_inset Tabular
2691 <lyxtabular version="3" rows="8" columns="10">
2693 <column alignment="right" valignment="top" width="0pt">
2694 <column alignment="left" valignment="top" width="0pt">
2695 <column alignment="right" valignment="top" width="0pt">
2696 <column alignment="left" valignment="top" width="0pt">
2697 <column alignment="right" valignment="top" width="0pt">
2698 <column alignment="left" valignment="top" width="0pt">
2699 <column alignment="right" valignment="top" width="0pt">
2700 <column alignment="left" valignment="top" width="0pt">
2701 <column alignment="right" valignment="top" width="0pt">
2702 <column alignment="left" valignment="top" width="0pt">
2704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2710 \begin_inset Formula $\leq $
2716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2736 \begin_inset Formula $\geq $
2742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2760 \begin_inset Formula $\equiv $
2766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2784 \begin_inset Formula $\models $
2790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2808 \begin_inset Formula $\prec $
2814 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2834 \begin_inset Formula $\succ $
2840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2858 \begin_inset Formula $\sim $
2864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2882 \begin_inset Formula $\perp $
2888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2906 \begin_inset Formula $\preceq $
2912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2930 \begin_inset Formula $\succeq $
2936 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2956 \begin_inset Formula $\simeq $
2962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2980 \begin_inset Formula $\mid $
2986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2998 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3004 \begin_inset Formula $\ll $
3010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3022 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3028 \begin_inset Formula $\gg $
3034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3052 \begin_inset Formula $\asymp $
3058 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3078 \begin_inset Formula $\parallel $
3084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3096 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3102 \begin_inset Formula $\subset $
3108 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3126 \begin_inset Formula $\supset $
3132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3150 \begin_inset Formula $\approx $
3156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3174 \begin_inset Formula $\bowtie $
3180 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3200 \begin_inset Formula $\subseteq $
3206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3224 \begin_inset Formula $\supseteq $
3230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3248 \begin_inset Formula $\cong $
3254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3266 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3272 \begin_inset Formula $\Join $
3278 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3296 \begin_inset Formula $\sqsubset $
3302 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3322 \begin_inset Formula $\sqsupset $
3328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3346 \begin_inset Formula $\neq $
3352 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3370 \begin_inset Formula $\smile $
3376 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3388 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3394 \begin_inset Formula $\sqsubseteq $
3400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3418 \begin_inset Formula $\sqsupseteq $
3424 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3438 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3444 \begin_inset Formula $\doteq $
3450 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3462 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3468 \begin_inset Formula $\frown $
3474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3492 \begin_inset Formula $\in $
3498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3516 \begin_inset Formula $\ni $
3522 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3534 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3540 \begin_inset Formula $\propto $
3546 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3560 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3566 \begin_inset Formula $=$
3572 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3588 \begin_inset Formula $\vdash $
3594 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3612 \begin_inset Formula $\dashv $
3618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3636 \begin_inset Formula $<$
3642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3658 \begin_inset Formula $>$
3664 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3682 Symboles de relations
3689 \begin_inset Float table
3697 \begin_inset Tabular
3698 <lyxtabular version="3" rows="10" columns="6">
3700 <column alignment="right" valignment="top" width="0pt">
3701 <column alignment="left" valignment="top" width="0pt">
3702 <column alignment="right" valignment="top" width="0pt">
3703 <column alignment="left" valignment="top" width="0pt">
3704 <column alignment="right" valignment="top" width="0pt">
3705 <column alignment="left" valignment="top" width="0pt">
3707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3713 \begin_inset Formula $\leftarrow $
3719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3737 \begin_inset Formula $\longleftarrow $
3743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3761 \begin_inset Formula $\uparrow $
3767 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3787 \begin_inset Formula $\Leftarrow $
3793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3811 \begin_inset Formula $\Longleftarrow $
3817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3835 \begin_inset Formula $\Uparrow $
3841 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3861 \begin_inset Formula $\rightarrow $
3867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3885 \begin_inset Formula $\longrightarrow $
3891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3909 \begin_inset Formula $\downarrow $
3915 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3935 \begin_inset Formula $\Rightarrow $
3941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3959 \begin_inset Formula $\Longrightarrow $
3965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3983 \begin_inset Formula $\Downarrow $
3989 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4009 \begin_inset Formula $\leftrightarrow $
4015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4033 \begin_inset Formula $\longleftrightarrow $
4039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4057 \begin_inset Formula $\updownarrow $
4063 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4083 \begin_inset Formula $\Leftrightarrow $
4089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4107 \begin_inset Formula $\Longleftrightarrow $
4113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4131 \begin_inset Formula $\Updownarrow $
4137 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4157 \begin_inset Formula $\mapsto $
4163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4181 \begin_inset Formula $\longmapsto $
4187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4205 \begin_inset Formula $\nearrow $
4211 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4231 \begin_inset Formula $\hookleftarrow $
4237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4255 \begin_inset Formula $\hookrightarrow $
4261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4279 \begin_inset Formula $\searrow $
4285 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4305 \begin_inset Formula $\leftharpoonup $
4311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4329 \begin_inset Formula $\rightharpoonup $
4335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4353 \begin_inset Formula $\swarrow $
4359 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4373 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4379 \begin_inset Formula $\leftharpoondown $
4385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4403 \begin_inset Formula $\rightharpoondown $
4409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4427 \begin_inset Formula $\nwarrow $
4433 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4460 \begin_inset Float table
4468 \begin_inset Tabular
4469 <lyxtabular version="3" rows="7" columns="10">
4471 <column alignment="right" valignment="top" width="0pt">
4472 <column alignment="left" valignment="top" width="0pt">
4473 <column alignment="right" valignment="top" width="0pt">
4474 <column alignment="left" valignment="top" width="0pt">
4475 <column alignment="right" valignment="top" width="0pt">
4476 <column alignment="left" valignment="top" width="0pt">
4477 <column alignment="right" valignment="top" width="0pt">
4478 <column alignment="left" valignment="top" width="0pt">
4479 <column alignment="right" valignment="top" width="0pt">
4480 <column alignment="left" valignment="top" width="0pt">
4482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4488 \begin_inset Formula $\ldots $
4494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4512 \begin_inset Formula $\cdots $
4518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4536 \begin_inset Formula $\vdots $
4542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4560 \begin_inset Formula $\ddots $
4566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4584 \begin_inset Formula $\aleph $
4590 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4610 \begin_inset Formula $\prime $
4616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4634 \begin_inset Formula $\forall $
4640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4658 \begin_inset Formula $\infty $
4664 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4682 \begin_inset Formula $\hbar $
4688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4706 \begin_inset Formula $\emptyset $
4712 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4732 \begin_inset Formula $\exists $
4738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4750 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4756 \begin_inset Formula $\nabla $
4762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4780 \begin_inset Formula $\surd $
4786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4804 \begin_inset Formula $\Box $
4810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4828 \begin_inset Formula $\triangle $
4834 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4854 \begin_inset Formula $\Diamond $
4860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4878 \begin_inset Formula $\imath $
4884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4902 \begin_inset Formula $\jmath $
4908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4926 \begin_inset Formula $\ell $
4932 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4944 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4950 \begin_inset Formula $\neg $
4956 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4976 \begin_inset Formula $\top $
4982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4994 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5000 \begin_inset Formula $\flat $
5006 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5018 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5024 \begin_inset Formula $\natural $
5030 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5048 \begin_inset Formula $\sharp $
5054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5072 \begin_inset Formula $\wp $
5078 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5092 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5098 \begin_inset Formula $\bot $
5104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5122 \begin_inset Formula $\clubsuit $
5128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5146 \begin_inset Formula $\diamondsuit $
5152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5170 \begin_inset Formula $\heartsuit $
5176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5194 \begin_inset Formula $\spadesuit $
5200 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5220 \begin_inset Formula $\mho $
5226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5244 \begin_inset Formula $\Re $
5250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5268 \begin_inset Formula $\Im $
5274 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5292 \begin_inset Formula $\angle $
5298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5316 \begin_inset Formula $\partial $
5322 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5349 \begin_inset Float table
5357 \begin_inset Tabular
5358 <lyxtabular version="3" rows="3" columns="10">
5360 <column alignment="right" valignment="top" width="0pt">
5361 <column alignment="left" valignment="top" width="0pt">
5362 <column alignment="right" valignment="top" width="0pt">
5363 <column alignment="left" valignment="top" width="0pt">
5364 <column alignment="right" valignment="top" width="0pt">
5365 <column alignment="left" valignment="top" width="0pt">
5366 <column alignment="right" valignment="top" width="0pt">
5367 <column alignment="left" valignment="top" width="0pt">
5368 <column alignment="right" valignment="top" width="0pt">
5369 <column alignment="left" valignment="top" width="0pt">
5371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5377 \begin_inset Formula $\sum $
5383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5401 \begin_inset Formula $\prod $
5407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5425 \begin_inset Formula $\coprod $
5431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5449 \begin_inset Formula $\int $
5455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5473 \begin_inset Formula $\oint $
5479 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5493 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5499 \begin_inset Formula $\bigcap $
5505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5523 \begin_inset Formula $\bigcup $
5529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5547 \begin_inset Formula $\bigsqcup $
5553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5571 \begin_inset Formula $\bigvee $
5577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5595 \begin_inset Formula $\bigwedge $
5601 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5621 \begin_inset Formula $\bigodot $
5627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5645 \begin_inset Formula $\bigotimes $
5651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5669 \begin_inset Formula $\bigoplus $
5675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5693 \begin_inset Formula $\biguplus $
5699 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5718 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5733 Symboles de taille variable
5740 \begin_inset Float table
5748 \begin_inset Tabular
5749 <lyxtabular version="3" rows="4" columns="8">
5751 <column alignment="left" valignment="top" width="0pt">
5752 <column alignment="left" valignment="top" width="0pt">
5753 <column alignment="left" valignment="top" width="0pt">
5754 <column alignment="left" valignment="top" width="0pt">
5755 <column alignment="left" valignment="top" width="0pt">
5756 <column alignment="left" valignment="top" width="0pt">
5757 <column alignment="left" valignment="top" width="0pt">
5758 <column alignment="left" valignment="top" width="0pt">
5760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5766 \begin_inset Formula $\arccos $
5772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5778 \begin_inset Formula $\cos $
5784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5790 \begin_inset Formula $\csc $
5796 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5802 \begin_inset Formula $\exp $
5808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5814 \begin_inset Formula $\ker $
5820 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5826 \begin_inset Formula $\limsup $
5832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5838 \begin_inset Formula $\min $
5844 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5850 \begin_inset Formula $\sinh $
5858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5864 \begin_inset Formula $\arcsin $
5870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5876 \begin_inset Formula $\cosh $
5882 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5888 \begin_inset Formula $\deg $
5894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5900 \begin_inset Formula $\gcd $
5906 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5912 \begin_inset Formula $\lg $
5918 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5924 \begin_inset Formula $\ln $
5930 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5936 \begin_inset Formula $\Pr $
5942 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5948 \begin_inset Formula $\sup $
5956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5962 \begin_inset Formula $\arctan $
5968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5974 \begin_inset Formula $\cot $
5980 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5986 \begin_inset Formula $\det $
5992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5998 \begin_inset Formula $\hom $
6004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6010 \begin_inset Formula $\lim $
6016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6022 \begin_inset Formula $\log $
6028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6034 \begin_inset Formula $\sec $
6040 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6046 \begin_inset Formula $\tan $
6054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6060 \begin_inset Formula $\arg $
6066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6072 \begin_inset Formula $\coth $
6078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6084 \begin_inset Formula $\dim $
6090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6096 \begin_inset Formula $\inf $
6102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6108 \begin_inset Formula $\liminf $
6114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6120 \begin_inset Formula $\max $
6126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6132 \begin_inset Formula $\sin $
6138 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6144 \begin_inset Formula $\tanh $
6158 Symboles de fonctions
6165 \begin_inset Float table
6173 \begin_inset Tabular
6174 <lyxtabular version="3" rows="5" columns="8">
6176 <column alignment="right" valignment="top" width="0pt">
6177 <column alignment="left" valignment="top" width="0pt">
6178 <column alignment="right" valignment="top" width="0pt">
6179 <column alignment="left" valignment="top" width="0pt">
6180 <column alignment="right" valignment="top" width="0pt">
6181 <column alignment="left" valignment="top" width="0pt">
6182 <column alignment="right" valignment="top" width="0pt">
6183 <column alignment="left" valignment="top" width="0pt">
6185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6191 \begin_inset Formula $\uparrow $
6197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6215 \begin_inset Formula $\Uparrow $
6221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6239 \begin_inset Formula $\downarrow $
6245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6263 \begin_inset Formula $\Downarrow $
6269 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6289 \begin_inset Formula $\{$
6295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6313 \begin_inset Formula $\}$
6319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6337 \begin_inset Formula $\updownarrow $
6343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6361 \begin_inset Formula $\Updownarrow $
6367 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6387 \begin_inset Formula $\lfloor $
6393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6411 \begin_inset Formula $\rfloor $
6417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6435 \begin_inset Formula $\lceil $
6441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6459 \begin_inset Formula $\rceil $
6465 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6485 \begin_inset Formula $\langle $
6491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6509 \begin_inset Formula $\rangle $
6515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6533 \begin_inset Formula $/$
6539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6555 \begin_inset Formula $\backslash $
6561 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6581 \begin_inset Formula $|$
6587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6603 \begin_inset Formula $\| $
6609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6642 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6664 \begin_inset Float table
6672 \begin_inset Tabular
6673 <lyxtabular version="3" rows="2" columns="8">
6675 <column alignment="right" valignment="top" width="0pt">
6676 <column alignment="left" valignment="top" width="0pt">
6677 <column alignment="right" valignment="top" width="0pt">
6678 <column alignment="left" valignment="top" width="0pt">
6679 <column alignment="right" valignment="top" width="0pt">
6680 <column alignment="left" valignment="top" width="0pt">
6681 <column alignment="right" valignment="top" width="0pt">
6682 <column alignment="left" valignment="top" width="0pt">
6684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6690 \begin_inset Formula $\rmoustache $
6696 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6708 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6714 \begin_inset Formula $\lmoustache $
6720 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6738 \begin_inset Formula $\rgroup $
6744 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6762 \begin_inset Formula $\lgroup $
6768 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6782 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6788 \begin_inset Formula $\arrowvert $
6794 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6806 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6812 \begin_inset Formula $\Arrowvert $
6818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6830 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6836 \begin_inset Formula $\bracevert $
6842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6854 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6861 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6883 \begin_inset Float table
6891 \begin_inset Tabular
6892 <lyxtabular version="3" rows="6" columns="4">
6894 <column alignment="right" valignment="top" width="0pt">
6895 <column alignment="left" valignment="top" width="0pt">
6896 <column alignment="right" valignment="top" width="0pt">
6897 <column alignment="left" valignment="top" width="0pt">
6899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6905 \begin_inset Formula $\widetilde{abc}$
6911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6929 \begin_inset Formula $\widehat{abc}$
6935 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6955 \begin_inset Formula $\overleftarrow{abc}$
6961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6979 \begin_inset Formula $\overrightarrow{abc}$
6985 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7005 \begin_inset Formula $\overline{abc}$
7011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7029 \begin_inset Formula $\underline{abc}$
7035 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7055 \begin_inset Formula $\overbrace{abc}$
7061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7079 \begin_inset Formula $\underbrace{abc}$
7085 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7105 \begin_inset Formula $\sqrt{abc}$
7111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7129 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7135 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7157 \begin_inset Formula $f'$
7163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7179 \begin_inset Formula $\frac{abc}{xyz}$
7185 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7205 Constructions mathématiques LaTeX
7212 \begin_inset Float table
7220 \begin_inset Tabular
7221 <lyxtabular version="3" rows="1" columns="10">
7223 <column alignment="right" valignment="top" width="0pt">
7224 <column alignment="left" valignment="top" width="0pt">
7225 <column alignment="right" valignment="top" width="0pt">
7226 <column alignment="left" valignment="top" width="0pt">
7227 <column alignment="right" valignment="top" width="0pt">
7228 <column alignment="left" valignment="top" width="0pt">
7229 <column alignment="right" valignment="top" width="0pt">
7230 <column alignment="left" valignment="top" width="0pt">
7231 <column alignment="right" valignment="top" width="0pt">
7232 <column alignment="left" valignment="top" width="0pt">
7234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7240 \begin_inset Formula $\digamma $
7246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7264 \begin_inset Formula $\varkappa $
7270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7288 \begin_inset Formula $\beth $
7294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7312 \begin_inset Formula $\daleth $
7318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7336 \begin_inset Formula $\gimel $
7342 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7369 \begin_inset Float table
7377 \begin_inset Tabular
7378 <lyxtabular version="3" rows="1" columns="8">
7380 <column alignment="right" valignment="top" width="0pt">
7381 <column alignment="left" valignment="top" width="0pt">
7382 <column alignment="right" valignment="top" width="0pt">
7383 <column alignment="left" valignment="top" width="0pt">
7384 <column alignment="right" valignment="top" width="0pt">
7385 <column alignment="left" valignment="top" width="0pt">
7386 <column alignment="right" valignment="top" width="0pt">
7387 <column alignment="left" valignment="top" width="0pt">
7389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7395 \begin_inset Formula $\ulcorner $
7401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7419 \begin_inset Formula $\urcorner $
7425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7443 \begin_inset Formula $\llcorner $
7449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7467 \begin_inset Formula $\lrcorner $
7473 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7500 \begin_inset Float table
7508 \begin_inset Tabular
7509 <lyxtabular version="3" rows="11" columns="6">
7511 <column alignment="right" valignment="top" width="0pt">
7512 <column alignment="left" valignment="top" width="0pt">
7513 <column alignment="right" valignment="top" width="0pt">
7514 <column alignment="left" valignment="top" width="0pt">
7515 <column alignment="right" valignment="top" width="0pt">
7516 <column alignment="left" valignment="top" width="0pt">
7518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7524 \begin_inset Formula $\dashrightarrow $
7530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7548 \begin_inset Formula $\dashleftarrow $
7554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7572 \begin_inset Formula $\leftleftarrows $
7578 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7598 \begin_inset Formula $\leftrightarrows $
7604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7622 \begin_inset Formula $\Lleftarrow $
7628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7646 \begin_inset Formula $\twoheadleftarrow $
7652 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7672 \begin_inset Formula $\leftarrowtail $
7678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7696 \begin_inset Formula $\looparrowleft $
7702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7720 \begin_inset Formula $\leftrightharpoons $
7726 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7740 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7746 \begin_inset Formula $\curvearrowleft $
7752 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7764 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7770 \begin_inset Formula $\circlearrowleft $
7776 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7788 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7794 \begin_inset Formula $\Lsh $
7800 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7820 \begin_inset Formula $\upuparrows $
7826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7838 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7844 \begin_inset Formula $\upharpoonleft $
7850 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7862 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7868 \begin_inset Formula $\downharpoonleft $
7874 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7894 \begin_inset Formula $\multimap $
7900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7918 \begin_inset Formula $\leftrightsquigarrow $
7924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7942 \begin_inset Formula $\rightrightarrows $
7948 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7968 \begin_inset Formula $\rightleftarrows $
7974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7992 \begin_inset Formula $\rightrightarrows $
7998 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8016 \begin_inset Formula $\rightleftarrows $
8022 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8042 \begin_inset Formula $\twoheadrightarrow $
8048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8066 \begin_inset Formula $\rightarrowtail $
8072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8090 \begin_inset Formula $\looparrowright $
8096 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8116 \begin_inset Formula $\rightleftharpoons $
8122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8140 \begin_inset Formula $\curvearrowright $
8146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8164 \begin_inset Formula $\circlearrowright $
8170 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8190 \begin_inset Formula $\Rsh $
8196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8214 \begin_inset Formula $\downdownarrows $
8220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8238 \begin_inset Formula $\upharpoonright $
8244 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8264 \begin_inset Formula $\downharpoonright $
8270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8288 \begin_inset Formula $\rightsquigarrow $
8294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8313 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8335 \begin_inset Float table
8343 \begin_inset Tabular
8344 <lyxtabular version="3" rows="2" columns="6">
8346 <column alignment="right" valignment="top" width="0pt">
8347 <column alignment="left" valignment="top" width="0pt">
8348 <column alignment="right" valignment="top" width="0pt">
8349 <column alignment="left" valignment="top" width="0pt">
8350 <column alignment="right" valignment="top" width="0pt">
8351 <column alignment="left" valignment="top" width="0pt">
8353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8359 \begin_inset Formula $\nleftarrow $
8365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8383 \begin_inset Formula $\nrightarrow $
8389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8407 \begin_inset Formula $\nLeftarrow $
8413 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8433 \begin_inset Formula $\nRightarrow $
8439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8451 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8457 \begin_inset Formula $\nleftrightarrow $
8463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8481 \begin_inset Formula $\nLeftrightarrow $
8487 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8507 Négations de flèches AMS
8514 \begin_inset Float table
8522 \begin_inset Tabular
8523 <lyxtabular version="3" rows="22" columns="6">
8525 <column alignment="right" valignment="top" width="0pt">
8526 <column alignment="left" valignment="top" width="0pt">
8527 <column alignment="right" valignment="top" width="0pt">
8528 <column alignment="left" valignment="top" width="0pt">
8529 <column alignment="right" valignment="top" width="0pt">
8530 <column alignment="left" valignment="top" width="0pt">
8532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8538 \begin_inset Formula $\leqq $
8544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8562 \begin_inset Formula $\leqslant $
8568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8586 \begin_inset Formula $\eqslantless $
8592 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8612 \begin_inset Formula $\lesssim $
8618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8636 \begin_inset Formula $\lessapprox $
8642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8660 \begin_inset Formula $\approxeq $
8666 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8686 \begin_inset Formula $\lessdot $
8692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8710 \begin_inset Formula $\lll $
8716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8734 \begin_inset Formula $\lessgtr $
8740 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8760 \begin_inset Formula $\lesseqgtr $
8766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8784 \begin_inset Formula $\lesseqqgtr $
8790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8808 \begin_inset Formula $\doteqdot $
8814 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8834 \begin_inset Formula $\risingdotseq $
8840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8858 \begin_inset Formula $\fallingdotseq $
8864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8882 \begin_inset Formula $\backsim $
8888 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8908 \begin_inset Formula $\backsimeq $
8914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8932 \begin_inset Formula $\subseteqq $
8938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8956 \begin_inset Formula $\Subset $
8962 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8982 \begin_inset Formula $\sqsubset $
8988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9006 \begin_inset Formula $\preccurlyeq $
9012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9030 \begin_inset Formula $\curlyeqprec $
9036 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9050 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9056 \begin_inset Formula $\precsim $
9062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9080 \begin_inset Formula $\precapprox $
9086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9104 \begin_inset Formula $\vartriangleleft $
9110 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9130 \begin_inset Formula $\trianglelefteq $
9136 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9154 \begin_inset Formula $\vDash $
9160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9178 \begin_inset Formula $\Vvdash $
9184 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9204 \begin_inset Formula $\smallsmile $
9210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9222 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9228 \begin_inset Formula $\smallfrown $
9234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9252 \begin_inset Formula $\bumpeq $
9258 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9278 \begin_inset Formula $\Bumpeq $
9284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9296 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9302 \begin_inset Formula $\geqq $
9308 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9320 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9326 \begin_inset Formula $\geqslant $
9332 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9352 \begin_inset Formula $\eqslantgtr $
9358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9376 \begin_inset Formula $\gtrsim $
9382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9400 \begin_inset Formula $\gtrapprox $
9406 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9426 \begin_inset Formula $\gtrdot $
9432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9450 \begin_inset Formula $\ggg $
9456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9474 \begin_inset Formula $\gtrless $
9480 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9500 \begin_inset Formula $\gtreqless $
9506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9524 \begin_inset Formula $\gtreqqless $
9530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9548 \begin_inset Formula $\eqcirc $
9554 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9574 \begin_inset Formula $\circeq $
9580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9598 \begin_inset Formula $\triangleq $
9604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9622 \begin_inset Formula $\thicksim $
9628 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9648 \begin_inset Formula $\thickapprox $
9654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9672 \begin_inset Formula $\supseteqq $
9678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9696 \begin_inset Formula $\Supset $
9702 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9722 \begin_inset Formula $\sqsupset $
9728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9740 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9746 \begin_inset Formula $\succcurlyeq $
9752 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9764 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9770 \begin_inset Formula $\curlyeqsucc $
9776 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9796 \begin_inset Formula $\succsim $
9802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9820 \begin_inset Formula $\succapprox $
9826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9838 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9844 \begin_inset Formula $\vartriangleright $
9850 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9870 \begin_inset Formula $\trianglerighteq $
9876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9894 \begin_inset Formula $\Vdash $
9900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9918 \begin_inset Formula $\shortmid $
9924 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9944 \begin_inset Formula $\shortparallel $
9950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9968 \begin_inset Formula $\between $
9974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9992 \begin_inset Formula $\pitchfork $
9998 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10018 \begin_inset Formula $\varpropto $
10024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10042 \begin_inset Formula $\blacktriangleleft $
10048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10066 \begin_inset Formula $\therefore $
10072 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10092 \begin_inset Formula $\backepsilon $
10098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10116 \begin_inset Formula $\blacktriangleright $
10122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10140 \begin_inset Formula $\because $
10146 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10166 Relations binaires AMS
10173 \begin_inset Float table
10181 \begin_inset Tabular
10182 <lyxtabular version="3" rows="17" columns="6">
10184 <column alignment="right" valignment="top" width="0pt">
10185 <column alignment="left" valignment="top" width="0pt">
10186 <column alignment="right" valignment="top" width="0pt">
10187 <column alignment="left" valignment="top" width="0pt">
10188 <column alignment="right" valignment="top" width="0pt">
10189 <column alignment="left" valignment="top" width="0pt">
10191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10197 \begin_inset Formula $\nless $
10203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10221 \begin_inset Formula $\nleq $
10227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10245 \begin_inset Formula $\nleqslant $
10251 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10271 \begin_inset Formula $\nleqq $
10277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10295 \begin_inset Formula $\lneq $
10301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10319 \begin_inset Formula $\lneqq $
10325 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10345 \begin_inset Formula $\lvertneqq $
10351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10369 \begin_inset Formula $\lnsim $
10375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10393 \begin_inset Formula $\lnapprox $
10399 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10419 \begin_inset Formula $\nprec $
10425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10443 \begin_inset Formula $\npreceq $
10449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10467 \begin_inset Formula $\precnsim $
10473 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10493 \begin_inset Formula $\precnapprox $
10499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10517 \begin_inset Formula $\nsim $
10523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10541 \begin_inset Formula $\nshortmid $
10547 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10567 \begin_inset Formula $\nmid $
10573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10591 \begin_inset Formula $\nvdash $
10597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10615 \begin_inset Formula $\nvDash $
10621 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10641 \begin_inset Formula $\ntriangleleft $
10647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10665 \begin_inset Formula $\ntrianglelefteq $
10671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10689 \begin_inset Formula $\nsubseteq $
10695 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10715 \begin_inset Formula $\subsetneq $
10721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10739 \begin_inset Formula $\varsubsetneq $
10745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10763 \begin_inset Formula $\subsetneqq $
10769 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10789 \begin_inset Formula $\varsubsetneqq $
10795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10813 \begin_inset Formula $\ngtr $
10819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10837 \begin_inset Formula $\ngeq $
10843 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10863 \begin_inset Formula $\ngeqslant $
10869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10887 \begin_inset Formula $\ngeqq $
10893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10911 \begin_inset Formula $\gneq $
10917 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10937 \begin_inset Formula $\gneqq $
10943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10961 \begin_inset Formula $\gvertneqq $
10967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10985 \begin_inset Formula $\gnsim $
10991 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11011 \begin_inset Formula $\gnapprox $
11017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11035 \begin_inset Formula $\nsucc $
11041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11059 \begin_inset Formula $\nsucceq $
11065 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11085 \begin_inset Formula $\succnsim $
11091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11109 \begin_inset Formula $\succnapprox $
11115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11133 \begin_inset Formula $\ncong $
11139 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11159 \begin_inset Formula $\nshortparallel $
11165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11183 \begin_inset Formula $\nparallel $
11189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11207 \begin_inset Formula $\nvDash $
11213 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11233 \begin_inset Formula $\nVDash $
11239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11257 \begin_inset Formula $\ntriangleright $
11263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11281 \begin_inset Formula $\ntrianglerighteq $
11287 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11307 \begin_inset Formula $\nsupseteq $
11313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11331 \begin_inset Formula $\nsupseteqq $
11337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11349 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11355 \begin_inset Formula $\supsetneq $
11361 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11381 \begin_inset Formula $\varsupsetneq $
11387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11405 \begin_inset Formula $\supsetneqq $
11411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11429 \begin_inset Formula $\varsupsetneqq $
11435 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11455 Négations de relations binaires AMS
11462 \begin_inset Float table
11470 \begin_inset Tabular
11471 <lyxtabular version="3" rows="8" columns="6">
11473 <column alignment="right" valignment="top" width="0pt">
11474 <column alignment="left" valignment="top" width="0pt">
11475 <column alignment="right" valignment="top" width="0pt">
11476 <column alignment="left" valignment="top" width="0pt">
11477 <column alignment="right" valignment="top" width="0pt">
11478 <column alignment="left" valignment="top" width="0pt">
11480 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11486 \begin_inset Formula $\dotplus $
11492 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11504 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11510 \begin_inset Formula $\smallsetminus $
11516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11534 \begin_inset Formula $\Cap $
11540 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11560 \begin_inset Formula $\Cup $
11566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11584 \begin_inset Formula $\barwedge $
11590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11608 \begin_inset Formula $\veebar $
11614 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11634 \begin_inset Formula $\doublebarwedge $
11640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11658 \begin_inset Formula $\boxminus $
11664 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11682 \begin_inset Formula $\boxtimes $
11688 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11708 \begin_inset Formula $\boxdot $
11714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11732 \begin_inset Formula $\boxplus $
11738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11750 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11756 \begin_inset Formula $\divideontimes $
11762 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11776 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11782 \begin_inset Formula $\ltimes $
11788 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11800 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11806 \begin_inset Formula $\rtimes $
11812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11830 \begin_inset Formula $\leftthreetimes $
11836 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11850 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11856 \begin_inset Formula $\rightthreetimes $
11862 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11880 \begin_inset Formula $\curlywedge $
11886 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11904 \begin_inset Formula $\curlyvee $
11910 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11930 \begin_inset Formula $\circleddash $
11936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11948 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11954 \begin_inset Formula $\circledast $
11960 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11972 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11978 \begin_inset Formula $\circledcirc $
11984 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11998 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12004 \begin_inset Formula $\centerdot $
12010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12022 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12028 \begin_inset Formula $\intercal $
12034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12053 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12068 Opérations binaires AMS
12075 \begin_inset Float table
12083 \begin_inset Tabular
12084 <lyxtabular version="3" rows="9" columns="6">
12086 <column alignment="right" valignment="top" width="0pt">
12087 <column alignment="left" valignment="top" width="0pt">
12088 <column alignment="right" valignment="top" width="0pt">
12089 <column alignment="left" valignment="top" width="0pt">
12090 <column alignment="right" valignment="top" width="0pt">
12091 <column alignment="left" valignment="top" width="0pt">
12093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12099 \begin_inset Formula $\hbar $
12105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12123 \begin_inset Formula $\hslash $
12129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12147 \begin_inset Formula $\vartriangle $
12153 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12173 \begin_inset Formula $\triangledown $
12179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12197 \begin_inset Formula $\square $
12203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12221 \begin_inset Formula $\lozenge $
12227 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12247 \begin_inset Formula $\circledS $
12253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12271 \begin_inset Formula $\angle $
12277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12295 \begin_inset Formula $\measuredangle $
12301 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12321 \begin_inset Formula $\nexists $
12327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12345 \begin_inset Formula $\mho $
12351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12369 \begin_inset Formula $\Finv $
12375 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12395 \begin_inset Formula $\Game $
12401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12419 \begin_inset Formula $\Bbbk $
12425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12443 \begin_inset Formula $\backprime $
12449 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12469 \begin_inset Formula $\varnothing $
12475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12493 \begin_inset Formula $\blacktriangle $
12499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12517 \begin_inset Formula $\blacktriangledown $
12523 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12543 \begin_inset Formula $\blacksquare $
12549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12567 \begin_inset Formula $\blacklozenge $
12573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12591 \begin_inset Formula $\bigstar $
12597 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12617 \begin_inset Formula $\sphericalangle $
12623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12641 \begin_inset Formula $\complement $
12647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12665 \begin_inset Formula $\eth $
12671 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12691 \begin_inset Formula $\diagup $
12697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12715 \begin_inset Formula $\diagdown $
12721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12740 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">