1 #LyX 1.5.0svn created this file. For more info see http://www.lyx.org/
13 \font_typewriter default
14 \font_default_family default
21 \paperfontsize default
29 \paperorientation portrait
32 \paragraph_separation indent
34 \quotes_language french
37 \paperpagestyle default
38 \tracking_changes false
46 Conversion de et vers l'éditeur mathématique
47 \begin_inset Note Note
50 \begin_layout Standard
52 Informations de révision :
55 \begin_layout Standard
57 Traduction : Mise à jour Date : 07/07/2003
60 \begin_layout Standard
62 Original : Révision: 1.8, Date : 17/01/2003
70 \begin_layout Standard
72 Vous pouvez taper des maths dans le corps du document puis les convertir
73 en mode mathématique en les sélectionnant et en tapant
81 Le texte peut être séparé par des délimiteurs ou non.
82 Ainsi, en sélectionnant l'une des formules ci-dessous :
85 \begin_layout Standard
89 <lyxtabular version="3" rows="5" columns="1">
91 <column alignment="left" valignment="top" width="0pt">
93 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
96 \begin_layout Standard
111 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
114 \begin_layout Standard
129 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
132 \begin_layout Standard
143 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
146 \begin_layout Standard
161 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
164 \begin_layout Standard
185 \begin_layout Standard
190 \begin_layout Standard
193 \begin_inset Formula \begin{equation}
194 \frac{abc}{xyz}\end{equation}
201 \begin_layout Standard
203 Pour l'instant, il n'y a aucun moyen officiel de reconvertir le contenu
204 d'un insert mathématique en texte standard.
205 Cependant vous pouvez y arriver par des voies détournées.
206 Sélectionnez le contenu de l'insert mathématique (pas l'insert lui-même,
207 seulement son contenu), mais ne le copiez
214 Il est maintenant en mémoire dans le tampon du système X et peut être recollé
215 dans le document avec le bouton milieu de la souris.
218 \begin_layout Section
220 Afficher les symboles LaTeX
223 \begin_layout Standard
225 Autrefois, LyX fournissait un équivalent visuel pour une petite partie des
226 symboles mathématiques disponibles en LaTeX.
227 La situation a changé à partir de la version 1.2, il offre désormais l'affichage
228 de la plupart des symboles définis en LaTeX basique et
234 les symboles supplémentaires définis par l'AMS.
235 Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
236 de symboles qui se trouvent dans les livres de Lamport et de Goossen.
239 \begin_layout Section
241 Quelques tableaux de symboles mathématiques
244 \begin_layout Standard
246 Les tableaux ci-dessous extraits du livre
247 \begin_inset Quotes fld
251 \begin_inset Quotes frd
255 vont apparaître à l'écran dans toute leur splendeur.
258 \begin_layout Standard
264 \begin_layout Standard
270 \begin_layout Standard
274 \begin_layout Standard
289 \begin_layout Standard
292 \begin_inset Float table
298 \begin_layout Standard
302 <lyxtabular version="3" rows="2" columns="10">
304 <column alignment="right" valignment="top" width="0pt">
305 <column alignment="left" valignment="top" width="0pt">
306 <column alignment="right" valignment="top" width="0pt">
307 <column alignment="left" valignment="top" width="0pt">
308 <column alignment="right" valignment="top" width="0pt">
309 <column alignment="left" valignment="top" width="0pt">
310 <column alignment="right" valignment="top" width="0pt">
311 <column alignment="left" valignment="top" width="0pt">
312 <column alignment="right" valignment="top" width="0pt">
313 <column alignment="left" valignment="top" width="0pt">
315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
318 \begin_layout Standard
323 \begin_inset Formula $\hat{a}$
331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
334 \begin_layout Standard
345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
348 \begin_layout Standard
353 \begin_inset Formula $\acute{a}$
361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
364 \begin_layout Standard
375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
378 \begin_layout Standard
383 \begin_inset Formula $\bar{a}$
391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
394 \begin_layout Standard
405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
408 \begin_layout Standard
413 \begin_inset Formula $\dot{a}$
421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
424 \begin_layout Standard
435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
438 \begin_layout Standard
443 \begin_inset Formula $\breve{a}$
451 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
454 \begin_layout Standard
467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
470 \begin_layout Standard
475 \begin_inset Formula $\check{a}$
483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
486 \begin_layout Standard
497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
500 \begin_layout Standard
505 \begin_inset Formula $\grave{a}$
513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
516 \begin_layout Standard
527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
530 \begin_layout Standard
535 \begin_inset Formula $\vec{a}$
543 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
546 \begin_layout Standard
557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
560 \begin_layout Standard
565 \begin_inset Formula $\ddot{a}$
573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
576 \begin_layout Standard
587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
590 \begin_layout Standard
595 \begin_inset Formula $\tilde{a}$
603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
606 \begin_layout Standard
630 Accents en mode mathématique
643 \begin_layout Standard
646 \begin_inset Float table
652 \begin_layout Standard
656 <lyxtabular version="3" rows="11" columns="8">
658 <column alignment="right" valignment="top" width="0pt">
659 <column alignment="left" valignment="top" width="0pt">
660 <column alignment="right" valignment="top" width="0pt">
661 <column alignment="left" valignment="top" width="0pt">
662 <column alignment="right" valignment="top" width="0pt">
663 <column alignment="left" valignment="top" width="0pt">
664 <column alignment="right" valignment="top" width="0pt">
665 <column alignment="left" valignment="top" width="0pt">
667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
670 \begin_layout Standard
673 \begin_inset Formula $\alpha$
681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
684 \begin_layout Standard
695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
698 \begin_layout Standard
701 \begin_inset Formula $\beta$
709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
712 \begin_layout Standard
723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
726 \begin_layout Standard
729 \begin_inset Formula $\gamma$
737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
740 \begin_layout Standard
751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
754 \begin_layout Standard
757 \begin_inset Formula $\delta$
765 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
768 \begin_layout Standard
781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
784 \begin_layout Standard
787 \begin_inset Formula $\epsilon$
795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
798 \begin_layout Standard
809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
812 \begin_layout Standard
815 \begin_inset Formula $\varepsilon$
823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
826 \begin_layout Standard
837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
840 \begin_layout Standard
843 \begin_inset Formula $\zeta$
851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
854 \begin_layout Standard
865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
868 \begin_layout Standard
871 \begin_inset Formula $\eta$
879 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
882 \begin_layout Standard
895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
898 \begin_layout Standard
901 \begin_inset Formula $\theta$
909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
912 \begin_layout Standard
923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
926 \begin_layout Standard
929 \begin_inset Formula $\vartheta$
937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
940 \begin_layout Standard
951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
954 \begin_layout Standard
957 \begin_inset Formula $\iota$
965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
968 \begin_layout Standard
979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
982 \begin_layout Standard
985 \begin_inset Formula $\kappa$
993 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
996 \begin_layout Standard
1009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1012 \begin_layout Standard
1015 \begin_inset Formula $\lambda$
1023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1026 \begin_layout Standard
1037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1040 \begin_layout Standard
1043 \begin_inset Formula $\mu$
1051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1054 \begin_layout Standard
1065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1068 \begin_layout Standard
1071 \begin_inset Formula $\nu$
1079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1082 \begin_layout Standard
1093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1096 \begin_layout Standard
1099 \begin_inset Formula $\xi$
1107 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1110 \begin_layout Standard
1123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1126 \begin_layout Standard
1129 \begin_inset Formula $o$
1137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1140 \begin_layout Standard
1147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1150 \begin_layout Standard
1153 \begin_inset Formula $\pi$
1161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1164 \begin_layout Standard
1175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1178 \begin_layout Standard
1181 \begin_inset Formula $\varpi$
1189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1192 \begin_layout Standard
1203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1206 \begin_layout Standard
1209 \begin_inset Formula $\rho$
1217 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1220 \begin_layout Standard
1233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1236 \begin_layout Standard
1239 \begin_inset Formula $\varrho$
1247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1250 \begin_layout Standard
1261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1264 \begin_layout Standard
1267 \begin_inset Formula $\sigma$
1275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1278 \begin_layout Standard
1289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1292 \begin_layout Standard
1295 \begin_inset Formula $\varsigma$
1303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1306 \begin_layout Standard
1317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1320 \begin_layout Standard
1323 \begin_inset Formula $\tau$
1331 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1334 \begin_layout Standard
1347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1350 \begin_layout Standard
1353 \begin_inset Formula $\upsilon$
1361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1364 \begin_layout Standard
1375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1378 \begin_layout Standard
1381 \begin_inset Formula $\phi$
1389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1392 \begin_layout Standard
1403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1406 \begin_layout Standard
1409 \begin_inset Formula $\varphi$
1417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1420 \begin_layout Standard
1431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1434 \begin_layout Standard
1437 \begin_inset Formula $\chi$
1445 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1448 \begin_layout Standard
1461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1464 \begin_layout Standard
1467 \begin_inset Formula $\psi$
1475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1478 \begin_layout Standard
1489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1492 \begin_layout Standard
1495 \begin_inset Formula $\omega$
1503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1506 \begin_layout Standard
1517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1520 \begin_layout Standard
1526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1529 \begin_layout Standard
1535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1538 \begin_layout Standard
1544 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1547 \begin_layout Standard
1555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1558 \begin_layout Standard
1561 \begin_inset Formula $\Gamma$
1569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1572 \begin_layout Standard
1583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1586 \begin_layout Standard
1589 \begin_inset Formula $\Delta$
1597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1600 \begin_layout Standard
1611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1614 \begin_layout Standard
1617 \begin_inset Formula $\Theta$
1625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1628 \begin_layout Standard
1639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1642 \begin_layout Standard
1645 \begin_inset Formula $\Lambda$
1653 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1656 \begin_layout Standard
1669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1672 \begin_layout Standard
1675 \begin_inset Formula $\Xi$
1683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1686 \begin_layout Standard
1697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1700 \begin_layout Standard
1703 \begin_inset Formula $\Pi$
1711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1714 \begin_layout Standard
1725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1728 \begin_layout Standard
1731 \begin_inset Formula $\Sigma$
1739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1742 \begin_layout Standard
1753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1756 \begin_layout Standard
1759 \begin_inset Formula $\Upsilon$
1767 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1770 \begin_layout Standard
1783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1786 \begin_layout Standard
1789 \begin_inset Formula $\Phi$
1797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1800 \begin_layout Standard
1811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1814 \begin_layout Standard
1817 \begin_inset Formula $\Psi$
1825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1828 \begin_layout Standard
1839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1842 \begin_layout Standard
1845 \begin_inset Formula $\Omega$
1853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1856 \begin_layout Standard
1867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1870 \begin_layout Standard
1876 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1879 \begin_layout Standard
1894 \begin_inset Caption
1911 \begin_layout Standard
1914 \begin_inset Float table
1920 \begin_layout Standard
1923 \begin_inset Tabular
1924 <lyxtabular version="3" rows="9" columns="8">
1926 <column alignment="right" valignment="top" width="0pt">
1927 <column alignment="left" valignment="top" width="0pt">
1928 <column alignment="right" valignment="top" width="0pt">
1929 <column alignment="left" valignment="top" width="0pt">
1930 <column alignment="right" valignment="top" width="0pt">
1931 <column alignment="left" valignment="top" width="0pt">
1932 <column alignment="right" valignment="top" width="0pt">
1933 <column alignment="left" valignment="top" width="0pt">
1935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1938 \begin_layout Standard
1941 \begin_inset Formula $\pm$
1949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1952 \begin_layout Standard
1963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1966 \begin_layout Standard
1969 \begin_inset Formula $\cap$
1977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1980 \begin_layout Standard
1991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1994 \begin_layout Standard
1997 \begin_inset Formula $\diamond$
2005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2008 \begin_layout Standard
2019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2022 \begin_layout Standard
2025 \begin_inset Formula $\oplus$
2033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2036 \begin_layout Standard
2049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2052 \begin_layout Standard
2055 \begin_inset Formula $\mp$
2063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2066 \begin_layout Standard
2077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2080 \begin_layout Standard
2083 \begin_inset Formula $\cup$
2091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2094 \begin_layout Standard
2105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2108 \begin_layout Standard
2111 \begin_inset Formula $\bigtriangleup$
2119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2122 \begin_layout Standard
2133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2136 \begin_layout Standard
2139 \begin_inset Formula $\ominus$
2147 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2150 \begin_layout Standard
2163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2166 \begin_layout Standard
2169 \begin_inset Formula $\times$
2177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2180 \begin_layout Standard
2191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2194 \begin_layout Standard
2197 \begin_inset Formula $\uplus$
2205 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2208 \begin_layout Standard
2219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2222 \begin_layout Standard
2225 \begin_inset Formula $\bigtriangledown$
2233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2236 \begin_layout Standard
2247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2250 \begin_layout Standard
2253 \begin_inset Formula $\otimes$
2261 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2264 \begin_layout Standard
2277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2280 \begin_layout Standard
2283 \begin_inset Formula $\div$
2291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2294 \begin_layout Standard
2305 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2308 \begin_layout Standard
2311 \begin_inset Formula $\sqcap$
2319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2322 \begin_layout Standard
2333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2336 \begin_layout Standard
2339 \begin_inset Formula $\triangleleft$
2347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2350 \begin_layout Standard
2361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2364 \begin_layout Standard
2367 \begin_inset Formula $\oslash$
2375 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2378 \begin_layout Standard
2391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2394 \begin_layout Standard
2397 \begin_inset Formula $\ast$
2405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2408 \begin_layout Standard
2419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2422 \begin_layout Standard
2425 \begin_inset Formula $\sqcup$
2433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2436 \begin_layout Standard
2447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2450 \begin_layout Standard
2453 \begin_inset Formula $\triangleright$
2461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2464 \begin_layout Standard
2475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2478 \begin_layout Standard
2481 \begin_inset Formula $\odot$
2489 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2492 \begin_layout Standard
2505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2508 \begin_layout Standard
2511 \begin_inset Formula $\star$
2519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2522 \begin_layout Standard
2533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2536 \begin_layout Standard
2539 \begin_inset Formula $\vee$
2547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2550 \begin_layout Standard
2561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2564 \begin_layout Standard
2567 \begin_inset Formula $\lhd$
2575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2578 \begin_layout Standard
2589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2592 \begin_layout Standard
2595 \begin_inset Formula $\bigcirc$
2603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2606 \begin_layout Standard
2619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2622 \begin_layout Standard
2625 \begin_inset Formula $\circ$
2633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2636 \begin_layout Standard
2647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2650 \begin_layout Standard
2653 \begin_inset Formula $\wedge$
2661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2664 \begin_layout Standard
2675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2678 \begin_layout Standard
2681 \begin_inset Formula $\rhd$
2689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2692 \begin_layout Standard
2703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2706 \begin_layout Standard
2709 \begin_inset Formula $\dagger$
2717 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2720 \begin_layout Standard
2733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2736 \begin_layout Standard
2739 \begin_inset Formula $\bullet$
2747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2750 \begin_layout Standard
2761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2764 \begin_layout Standard
2767 \begin_inset Formula $\setminus$
2775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2778 \begin_layout Standard
2789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2792 \begin_layout Standard
2795 \begin_inset Formula $\unlhd$
2803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2806 \begin_layout Standard
2817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2820 \begin_layout Standard
2823 \begin_inset Formula $\ddagger$
2831 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2834 \begin_layout Standard
2847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2850 \begin_layout Standard
2853 \begin_inset Formula $\cdot$
2861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2864 \begin_layout Standard
2875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2878 \begin_layout Standard
2881 \begin_inset Formula $\wr$
2889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2892 \begin_layout Standard
2903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2906 \begin_layout Standard
2909 \begin_inset Formula $\unrhd$
2917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2920 \begin_layout Standard
2931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2934 \begin_layout Standard
2937 \begin_inset Formula $\amalg$
2945 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2948 \begin_layout Standard
2968 \begin_inset Caption
2972 Symboles d'opérations binaires
2985 \begin_layout Standard
2988 \begin_inset Float table
2994 \begin_layout Standard
2997 \begin_inset Tabular
2998 <lyxtabular version="3" rows="8" columns="10">
3000 <column alignment="right" valignment="top" width="0pt">
3001 <column alignment="left" valignment="top" width="0pt">
3002 <column alignment="right" valignment="top" width="0pt">
3003 <column alignment="left" valignment="top" width="0pt">
3004 <column alignment="right" valignment="top" width="0pt">
3005 <column alignment="left" valignment="top" width="0pt">
3006 <column alignment="right" valignment="top" width="0pt">
3007 <column alignment="left" valignment="top" width="0pt">
3008 <column alignment="right" valignment="top" width="0pt">
3009 <column alignment="left" valignment="top" width="0pt">
3011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3014 \begin_layout Standard
3017 \begin_inset Formula $\leq$
3025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3028 \begin_layout Standard
3041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3044 \begin_layout Standard
3047 \begin_inset Formula $\geq$
3055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3058 \begin_layout Standard
3069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3072 \begin_layout Standard
3075 \begin_inset Formula $\equiv$
3083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3086 \begin_layout Standard
3097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3100 \begin_layout Standard
3103 \begin_inset Formula $\models$
3111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3114 \begin_layout Standard
3125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3128 \begin_layout Standard
3131 \begin_inset Formula $\prec$
3139 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3142 \begin_layout Standard
3155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3158 \begin_layout Standard
3161 \begin_inset Formula $\succ$
3169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3172 \begin_layout Standard
3183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3186 \begin_layout Standard
3189 \begin_inset Formula $\sim$
3197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3200 \begin_layout Standard
3211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3214 \begin_layout Standard
3217 \begin_inset Formula $\perp$
3225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3228 \begin_layout Standard
3239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3242 \begin_layout Standard
3245 \begin_inset Formula $\preceq$
3253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3256 \begin_layout Standard
3267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3270 \begin_layout Standard
3273 \begin_inset Formula $\succeq$
3281 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3284 \begin_layout Standard
3297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3300 \begin_layout Standard
3303 \begin_inset Formula $\simeq$
3311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3314 \begin_layout Standard
3325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3328 \begin_layout Standard
3331 \begin_inset Formula $\mid$
3339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3342 \begin_layout Standard
3353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3356 \begin_layout Standard
3359 \begin_inset Formula $\ll$
3367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3370 \begin_layout Standard
3381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3384 \begin_layout Standard
3387 \begin_inset Formula $\gg$
3395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3398 \begin_layout Standard
3409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3412 \begin_layout Standard
3415 \begin_inset Formula $\asymp$
3423 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3426 \begin_layout Standard
3439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3442 \begin_layout Standard
3445 \begin_inset Formula $\parallel$
3453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3456 \begin_layout Standard
3467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3470 \begin_layout Standard
3473 \begin_inset Formula $\subset$
3481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3484 \begin_layout Standard
3495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3498 \begin_layout Standard
3501 \begin_inset Formula $\supset$
3509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3512 \begin_layout Standard
3523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3526 \begin_layout Standard
3529 \begin_inset Formula $\approx$
3537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3540 \begin_layout Standard
3551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3554 \begin_layout Standard
3557 \begin_inset Formula $\bowtie$
3565 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3568 \begin_layout Standard
3581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3584 \begin_layout Standard
3587 \begin_inset Formula $\subseteq$
3595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3598 \begin_layout Standard
3609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3612 \begin_layout Standard
3615 \begin_inset Formula $\supseteq$
3623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3626 \begin_layout Standard
3637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3640 \begin_layout Standard
3643 \begin_inset Formula $\cong$
3651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3654 \begin_layout Standard
3665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3668 \begin_layout Standard
3671 \begin_inset Formula $\Join$
3679 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3682 \begin_layout Standard
3693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3696 \begin_layout Standard
3699 \begin_inset Formula $\sqsubset$
3707 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3710 \begin_layout Standard
3723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3726 \begin_layout Standard
3729 \begin_inset Formula $\sqsupset$
3737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3740 \begin_layout Standard
3751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3754 \begin_layout Standard
3757 \begin_inset Formula $\neq$
3765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3768 \begin_layout Standard
3779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3782 \begin_layout Standard
3785 \begin_inset Formula $\smile$
3793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3796 \begin_layout Standard
3807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3810 \begin_layout Standard
3813 \begin_inset Formula $\sqsubseteq$
3821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3824 \begin_layout Standard
3835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3838 \begin_layout Standard
3841 \begin_inset Formula $\sqsupseteq$
3849 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3852 \begin_layout Standard
3865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3868 \begin_layout Standard
3871 \begin_inset Formula $\doteq$
3879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3882 \begin_layout Standard
3893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3896 \begin_layout Standard
3899 \begin_inset Formula $\frown$
3907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3910 \begin_layout Standard
3921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3924 \begin_layout Standard
3927 \begin_inset Formula $\in$
3935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3938 \begin_layout Standard
3949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3952 \begin_layout Standard
3955 \begin_inset Formula $\ni$
3963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3966 \begin_layout Standard
3977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3980 \begin_layout Standard
3983 \begin_inset Formula $\propto$
3991 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3994 \begin_layout Standard
4007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4010 \begin_layout Standard
4013 \begin_inset Formula $=$
4021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4024 \begin_layout Standard
4033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4036 \begin_layout Standard
4039 \begin_inset Formula $\vdash$
4047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4050 \begin_layout Standard
4061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4064 \begin_layout Standard
4067 \begin_inset Formula $\dashv$
4075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4078 \begin_layout Standard
4089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4092 \begin_layout Standard
4095 \begin_inset Formula $<$
4103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4106 \begin_layout Standard
4115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4118 \begin_layout Standard
4121 \begin_inset Formula $>$
4129 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4132 \begin_layout Standard
4150 \begin_inset Caption
4154 Symboles de relations
4167 \begin_layout Standard
4170 \begin_inset Float table
4176 \begin_layout Standard
4179 \begin_inset Tabular
4180 <lyxtabular version="3" rows="10" columns="6">
4182 <column alignment="right" valignment="top" width="0pt">
4183 <column alignment="left" valignment="top" width="0pt">
4184 <column alignment="right" valignment="top" width="0pt">
4185 <column alignment="left" valignment="top" width="0pt">
4186 <column alignment="right" valignment="top" width="0pt">
4187 <column alignment="left" valignment="top" width="0pt">
4189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4192 \begin_layout Standard
4195 \begin_inset Formula $\leftarrow$
4203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4206 \begin_layout Standard
4217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4220 \begin_layout Standard
4223 \begin_inset Formula $\longleftarrow$
4231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4234 \begin_layout Standard
4245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4248 \begin_layout Standard
4251 \begin_inset Formula $\uparrow$
4259 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4262 \begin_layout Standard
4275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4278 \begin_layout Standard
4281 \begin_inset Formula $\Leftarrow$
4289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4292 \begin_layout Standard
4303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4306 \begin_layout Standard
4309 \begin_inset Formula $\Longleftarrow$
4317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4320 \begin_layout Standard
4331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4334 \begin_layout Standard
4337 \begin_inset Formula $\Uparrow$
4345 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4348 \begin_layout Standard
4361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4364 \begin_layout Standard
4367 \begin_inset Formula $\rightarrow$
4375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4378 \begin_layout Standard
4389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4392 \begin_layout Standard
4395 \begin_inset Formula $\longrightarrow$
4403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4406 \begin_layout Standard
4417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4420 \begin_layout Standard
4423 \begin_inset Formula $\downarrow$
4431 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4434 \begin_layout Standard
4447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4450 \begin_layout Standard
4453 \begin_inset Formula $\Rightarrow$
4461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4464 \begin_layout Standard
4475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4478 \begin_layout Standard
4481 \begin_inset Formula $\Longrightarrow$
4489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4492 \begin_layout Standard
4503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4506 \begin_layout Standard
4509 \begin_inset Formula $\Downarrow$
4517 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4520 \begin_layout Standard
4533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4536 \begin_layout Standard
4539 \begin_inset Formula $\leftrightarrow$
4547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4550 \begin_layout Standard
4561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4564 \begin_layout Standard
4567 \begin_inset Formula $\longleftrightarrow$
4575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4578 \begin_layout Standard
4589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4592 \begin_layout Standard
4595 \begin_inset Formula $\updownarrow$
4603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4606 \begin_layout Standard
4619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4622 \begin_layout Standard
4625 \begin_inset Formula $\Leftrightarrow$
4633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4636 \begin_layout Standard
4647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4650 \begin_layout Standard
4653 \begin_inset Formula $\Longleftrightarrow$
4661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4664 \begin_layout Standard
4675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4678 \begin_layout Standard
4681 \begin_inset Formula $\Updownarrow$
4689 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4692 \begin_layout Standard
4705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4708 \begin_layout Standard
4711 \begin_inset Formula $\mapsto$
4719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4722 \begin_layout Standard
4733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4736 \begin_layout Standard
4739 \begin_inset Formula $\longmapsto$
4747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4750 \begin_layout Standard
4761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4764 \begin_layout Standard
4767 \begin_inset Formula $\nearrow$
4775 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4778 \begin_layout Standard
4791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4794 \begin_layout Standard
4797 \begin_inset Formula $\hookleftarrow$
4805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4808 \begin_layout Standard
4819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4822 \begin_layout Standard
4825 \begin_inset Formula $\hookrightarrow$
4833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4836 \begin_layout Standard
4847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4850 \begin_layout Standard
4853 \begin_inset Formula $\searrow$
4861 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4864 \begin_layout Standard
4877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4880 \begin_layout Standard
4883 \begin_inset Formula $\leftharpoonup$
4891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4894 \begin_layout Standard
4905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4908 \begin_layout Standard
4911 \begin_inset Formula $\rightharpoonup$
4919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4922 \begin_layout Standard
4933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4936 \begin_layout Standard
4939 \begin_inset Formula $\swarrow$
4947 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4950 \begin_layout Standard
4963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4966 \begin_layout Standard
4969 \begin_inset Formula $\leftharpoondown$
4977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4980 \begin_layout Standard
4991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4994 \begin_layout Standard
4997 \begin_inset Formula $\rightharpoondown$
5005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5008 \begin_layout Standard
5019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5022 \begin_layout Standard
5025 \begin_inset Formula $\nwarrow$
5033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5036 \begin_layout Standard
5056 \begin_inset Caption
5073 \begin_layout Standard
5076 \begin_inset Float table
5082 \begin_layout Standard
5085 \begin_inset Tabular
5086 <lyxtabular version="3" rows="7" columns="10">
5088 <column alignment="right" valignment="top" width="0pt">
5089 <column alignment="left" valignment="top" width="0pt">
5090 <column alignment="right" valignment="top" width="0pt">
5091 <column alignment="left" valignment="top" width="0pt">
5092 <column alignment="right" valignment="top" width="0pt">
5093 <column alignment="left" valignment="top" width="0pt">
5094 <column alignment="right" valignment="top" width="0pt">
5095 <column alignment="left" valignment="top" width="0pt">
5096 <column alignment="right" valignment="top" width="0pt">
5097 <column alignment="left" valignment="top" width="0pt">
5099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5102 \begin_layout Standard
5105 \begin_inset Formula $\ldots$
5113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5116 \begin_layout Standard
5127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5130 \begin_layout Standard
5133 \begin_inset Formula $\cdots$
5141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5144 \begin_layout Standard
5155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5158 \begin_layout Standard
5161 \begin_inset Formula $\vdots$
5169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5172 \begin_layout Standard
5183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5186 \begin_layout Standard
5189 \begin_inset Formula $\ddots$
5197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5200 \begin_layout Standard
5211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5214 \begin_layout Standard
5217 \begin_inset Formula $\aleph$
5225 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5228 \begin_layout Standard
5241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5244 \begin_layout Standard
5247 \begin_inset Formula $\prime$
5255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5258 \begin_layout Standard
5269 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5272 \begin_layout Standard
5275 \begin_inset Formula $\forall$
5283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5286 \begin_layout Standard
5297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5300 \begin_layout Standard
5303 \begin_inset Formula $\infty$
5311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5314 \begin_layout Standard
5325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5328 \begin_layout Standard
5331 \begin_inset Formula $\hbar$
5339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5342 \begin_layout Standard
5353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5356 \begin_layout Standard
5359 \begin_inset Formula $\emptyset$
5367 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5370 \begin_layout Standard
5383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5386 \begin_layout Standard
5389 \begin_inset Formula $\exists$
5397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5400 \begin_layout Standard
5411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5414 \begin_layout Standard
5417 \begin_inset Formula $\nabla$
5425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5428 \begin_layout Standard
5439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5442 \begin_layout Standard
5445 \begin_inset Formula $\surd$
5453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5456 \begin_layout Standard
5467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5470 \begin_layout Standard
5473 \begin_inset Formula $\Box$
5481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5484 \begin_layout Standard
5495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5498 \begin_layout Standard
5501 \begin_inset Formula $\triangle$
5509 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5512 \begin_layout Standard
5525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5528 \begin_layout Standard
5531 \begin_inset Formula $\Diamond$
5539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5542 \begin_layout Standard
5553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5556 \begin_layout Standard
5559 \begin_inset Formula $\imath$
5567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5570 \begin_layout Standard
5581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5584 \begin_layout Standard
5587 \begin_inset Formula $\jmath$
5595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5598 \begin_layout Standard
5609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5612 \begin_layout Standard
5615 \begin_inset Formula $\ell$
5623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5626 \begin_layout Standard
5637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5640 \begin_layout Standard
5643 \begin_inset Formula $\neg$
5651 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5654 \begin_layout Standard
5667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5670 \begin_layout Standard
5673 \begin_inset Formula $\top$
5681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5684 \begin_layout Standard
5695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5698 \begin_layout Standard
5701 \begin_inset Formula $\flat$
5709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5712 \begin_layout Standard
5723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5726 \begin_layout Standard
5729 \begin_inset Formula $\natural$
5737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5740 \begin_layout Standard
5751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5754 \begin_layout Standard
5757 \begin_inset Formula $\sharp$
5765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5768 \begin_layout Standard
5779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5782 \begin_layout Standard
5785 \begin_inset Formula $\wp$
5793 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5796 \begin_layout Standard
5809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5812 \begin_layout Standard
5815 \begin_inset Formula $\bot$
5823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5826 \begin_layout Standard
5837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5840 \begin_layout Standard
5843 \begin_inset Formula $\clubsuit$
5851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5854 \begin_layout Standard
5865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5868 \begin_layout Standard
5871 \begin_inset Formula $\diamondsuit$
5879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5882 \begin_layout Standard
5893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5896 \begin_layout Standard
5899 \begin_inset Formula $\heartsuit$
5907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5910 \begin_layout Standard
5921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5924 \begin_layout Standard
5927 \begin_inset Formula $\spadesuit$
5935 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5938 \begin_layout Standard
5951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5954 \begin_layout Standard
5957 \begin_inset Formula $\mho$
5965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5968 \begin_layout Standard
5979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5982 \begin_layout Standard
5985 \begin_inset Formula $\Re$
5993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5996 \begin_layout Standard
6007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6010 \begin_layout Standard
6013 \begin_inset Formula $\Im$
6021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6024 \begin_layout Standard
6035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6038 \begin_layout Standard
6041 \begin_inset Formula $\angle$
6049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6052 \begin_layout Standard
6063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6066 \begin_layout Standard
6069 \begin_inset Formula $\partial$
6077 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6080 \begin_layout Standard
6100 \begin_inset Caption
6117 \begin_layout Standard
6120 \begin_inset Float table
6126 \begin_layout Standard
6129 \begin_inset Tabular
6130 <lyxtabular version="3" rows="3" columns="10">
6132 <column alignment="right" valignment="top" width="0pt">
6133 <column alignment="left" valignment="top" width="0pt">
6134 <column alignment="right" valignment="top" width="0pt">
6135 <column alignment="left" valignment="top" width="0pt">
6136 <column alignment="right" valignment="top" width="0pt">
6137 <column alignment="left" valignment="top" width="0pt">
6138 <column alignment="right" valignment="top" width="0pt">
6139 <column alignment="left" valignment="top" width="0pt">
6140 <column alignment="right" valignment="top" width="0pt">
6141 <column alignment="left" valignment="top" width="0pt">
6143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6146 \begin_layout Standard
6149 \begin_inset Formula $\sum$
6157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6160 \begin_layout Standard
6171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6174 \begin_layout Standard
6177 \begin_inset Formula $\prod$
6185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6188 \begin_layout Standard
6199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6202 \begin_layout Standard
6205 \begin_inset Formula $\coprod$
6213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6216 \begin_layout Standard
6227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6230 \begin_layout Standard
6233 \begin_inset Formula $\int$
6241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6244 \begin_layout Standard
6255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6258 \begin_layout Standard
6261 \begin_inset Formula $\oint$
6269 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6272 \begin_layout Standard
6285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6288 \begin_layout Standard
6291 \begin_inset Formula $\bigcap$
6299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6302 \begin_layout Standard
6313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6316 \begin_layout Standard
6319 \begin_inset Formula $\bigcup$
6327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6330 \begin_layout Standard
6341 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6344 \begin_layout Standard
6347 \begin_inset Formula $\bigsqcup$
6355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6358 \begin_layout Standard
6369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6372 \begin_layout Standard
6375 \begin_inset Formula $\bigvee$
6383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6386 \begin_layout Standard
6397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6400 \begin_layout Standard
6403 \begin_inset Formula $\bigwedge$
6411 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6414 \begin_layout Standard
6427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6430 \begin_layout Standard
6433 \begin_inset Formula $\bigodot$
6441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6444 \begin_layout Standard
6455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6458 \begin_layout Standard
6461 \begin_inset Formula $\bigotimes$
6469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6472 \begin_layout Standard
6483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6486 \begin_layout Standard
6489 \begin_inset Formula $\bigoplus$
6497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6500 \begin_layout Standard
6511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6514 \begin_layout Standard
6517 \begin_inset Formula $\biguplus$
6525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6528 \begin_layout Standard
6539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6542 \begin_layout Standard
6548 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6551 \begin_layout Standard
6566 \begin_inset Caption
6570 Symboles de taille variable
6583 \begin_layout Standard
6586 \begin_inset Float table
6592 \begin_layout Standard
6595 \begin_inset Tabular
6596 <lyxtabular version="3" rows="4" columns="8">
6598 <column alignment="left" valignment="top" width="0pt">
6599 <column alignment="left" valignment="top" width="0pt">
6600 <column alignment="left" valignment="top" width="0pt">
6601 <column alignment="left" valignment="top" width="0pt">
6602 <column alignment="left" valignment="top" width="0pt">
6603 <column alignment="left" valignment="top" width="0pt">
6604 <column alignment="left" valignment="top" width="0pt">
6605 <column alignment="left" valignment="top" width="0pt">
6607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6610 \begin_layout Standard
6613 \begin_inset Formula $\arccos$
6621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6624 \begin_layout Standard
6627 \begin_inset Formula $\cos$
6635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6638 \begin_layout Standard
6641 \begin_inset Formula $\csc$
6649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6652 \begin_layout Standard
6655 \begin_inset Formula $\exp$
6663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6666 \begin_layout Standard
6669 \begin_inset Formula $\ker$
6677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6680 \begin_layout Standard
6683 \begin_inset Formula $\limsup$
6691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6694 \begin_layout Standard
6697 \begin_inset Formula $\min$
6705 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6708 \begin_layout Standard
6711 \begin_inset Formula $\sinh$
6721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6724 \begin_layout Standard
6727 \begin_inset Formula $\arcsin$
6735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6738 \begin_layout Standard
6741 \begin_inset Formula $\cosh$
6749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6752 \begin_layout Standard
6755 \begin_inset Formula $\deg$
6763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6766 \begin_layout Standard
6769 \begin_inset Formula $\gcd$
6777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6780 \begin_layout Standard
6783 \begin_inset Formula $\lg$
6791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6794 \begin_layout Standard
6797 \begin_inset Formula $\ln$
6805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6808 \begin_layout Standard
6811 \begin_inset Formula $\Pr$
6819 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6822 \begin_layout Standard
6825 \begin_inset Formula $\sup$
6835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6838 \begin_layout Standard
6841 \begin_inset Formula $\arctan$
6849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6852 \begin_layout Standard
6855 \begin_inset Formula $\cot$
6863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6866 \begin_layout Standard
6869 \begin_inset Formula $\det$
6877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6880 \begin_layout Standard
6883 \begin_inset Formula $\hom$
6891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6894 \begin_layout Standard
6897 \begin_inset Formula $\lim$
6905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6908 \begin_layout Standard
6911 \begin_inset Formula $\log$
6919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6922 \begin_layout Standard
6925 \begin_inset Formula $\sec$
6933 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6936 \begin_layout Standard
6939 \begin_inset Formula $\tan$
6949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6952 \begin_layout Standard
6955 \begin_inset Formula $\arg$
6963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6966 \begin_layout Standard
6969 \begin_inset Formula $\coth$
6977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6980 \begin_layout Standard
6983 \begin_inset Formula $\dim$
6991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6994 \begin_layout Standard
6997 \begin_inset Formula $\inf$
7005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7008 \begin_layout Standard
7011 \begin_inset Formula $\liminf$
7019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7022 \begin_layout Standard
7025 \begin_inset Formula $\max$
7033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7036 \begin_layout Standard
7039 \begin_inset Formula $\sin$
7047 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7050 \begin_layout Standard
7053 \begin_inset Formula $\tanh$
7070 \begin_inset Caption
7074 Symboles de fonctions
7087 \begin_layout Standard
7090 \begin_inset Float table
7096 \begin_layout Standard
7099 \begin_inset Tabular
7100 <lyxtabular version="3" rows="5" columns="8">
7102 <column alignment="right" valignment="top" width="0pt">
7103 <column alignment="left" valignment="top" width="0pt">
7104 <column alignment="right" valignment="top" width="0pt">
7105 <column alignment="left" valignment="top" width="0pt">
7106 <column alignment="right" valignment="top" width="0pt">
7107 <column alignment="left" valignment="top" width="0pt">
7108 <column alignment="right" valignment="top" width="0pt">
7109 <column alignment="left" valignment="top" width="0pt">
7111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7114 \begin_layout Standard
7117 \begin_inset Formula $\uparrow$
7125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7128 \begin_layout Standard
7139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7142 \begin_layout Standard
7145 \begin_inset Formula $\Uparrow$
7153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7156 \begin_layout Standard
7167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7170 \begin_layout Standard
7173 \begin_inset Formula $\downarrow$
7181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7184 \begin_layout Standard
7195 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7198 \begin_layout Standard
7201 \begin_inset Formula $\Downarrow$
7209 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7212 \begin_layout Standard
7225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7228 \begin_layout Standard
7231 \begin_inset Formula $\{$
7239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7242 \begin_layout Standard
7253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7256 \begin_layout Standard
7259 \begin_inset Formula $\}$
7267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7270 \begin_layout Standard
7281 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7284 \begin_layout Standard
7287 \begin_inset Formula $\updownarrow$
7295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7298 \begin_layout Standard
7309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7312 \begin_layout Standard
7315 \begin_inset Formula $\Updownarrow$
7323 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7326 \begin_layout Standard
7339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7342 \begin_layout Standard
7345 \begin_inset Formula $\lfloor$
7353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7356 \begin_layout Standard
7367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7370 \begin_layout Standard
7373 \begin_inset Formula $\rfloor$
7381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7384 \begin_layout Standard
7395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7398 \begin_layout Standard
7401 \begin_inset Formula $\lceil$
7409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7412 \begin_layout Standard
7423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7426 \begin_layout Standard
7429 \begin_inset Formula $\rceil$
7437 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7440 \begin_layout Standard
7453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7456 \begin_layout Standard
7459 \begin_inset Formula $\langle$
7467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7470 \begin_layout Standard
7481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7484 \begin_layout Standard
7487 \begin_inset Formula $\rangle$
7495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7498 \begin_layout Standard
7509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7512 \begin_layout Standard
7515 \begin_inset Formula $/$
7523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7526 \begin_layout Standard
7535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7538 \begin_layout Standard
7541 \begin_inset Formula $\backslash$
7549 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7552 \begin_layout Standard
7565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7568 \begin_layout Standard
7571 \begin_inset Formula $|$
7579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7582 \begin_layout Standard
7591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7594 \begin_layout Standard
7597 \begin_inset Formula $\|$
7605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7608 \begin_layout Standard
7619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7622 \begin_layout Standard
7628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7631 \begin_layout Standard
7637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7640 \begin_layout Standard
7646 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7649 \begin_layout Standard
7664 \begin_inset Caption
7681 \begin_layout Standard
7684 \begin_inset Float table
7690 \begin_layout Standard
7693 \begin_inset Tabular
7694 <lyxtabular version="3" rows="6" columns="4">
7696 <column alignment="right" valignment="top" width="0pt">
7697 <column alignment="left" valignment="top" width="0pt">
7698 <column alignment="right" valignment="top" width="0pt">
7699 <column alignment="left" valignment="top" width="0pt">
7701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7704 \begin_layout Standard
7707 \begin_inset Formula $\widetilde{abc}$
7715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7718 \begin_layout Standard
7729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7732 \begin_layout Standard
7735 \begin_inset Formula $\widehat{abc}$
7743 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7746 \begin_layout Standard
7759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7762 \begin_layout Standard
7765 \begin_inset Formula $\overleftarrow{abc}$
7773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7776 \begin_layout Standard
7787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7790 \begin_layout Standard
7793 \begin_inset Formula $\overrightarrow{abc}$
7801 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7804 \begin_layout Standard
7817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7820 \begin_layout Standard
7823 \begin_inset Formula $\overline{abc}$
7831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7834 \begin_layout Standard
7845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7848 \begin_layout Standard
7851 \begin_inset Formula $\underline{abc}$
7859 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7862 \begin_layout Standard
7875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7878 \begin_layout Standard
7881 \begin_inset Formula $\overbrace{abc}$
7889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7892 \begin_layout Standard
7903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7906 \begin_layout Standard
7909 \begin_inset Formula $\underbrace{abc}$
7917 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7920 \begin_layout Standard
7933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7936 \begin_layout Standard
7939 \begin_inset Formula $\sqrt{abc}$
7947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7950 \begin_layout Standard
7961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7964 \begin_layout Standard
7967 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7975 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7978 \begin_layout Standard
7993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7996 \begin_layout Standard
7999 \begin_inset Formula $f'$
8007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8010 \begin_layout Standard
8019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8022 \begin_layout Standard
8025 \begin_inset Formula $\frac{abc}{xyz}$
8033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8036 \begin_layout Standard
8056 \begin_inset Caption
8060 Structures mathématiques LaTeX
8073 \begin_layout Standard
8076 \begin_inset Float table
8082 \begin_layout Standard
8085 \begin_inset Tabular
8086 <lyxtabular version="3" rows="1" columns="10">
8088 <column alignment="right" valignment="top" width="0pt">
8089 <column alignment="left" valignment="top" width="0pt">
8090 <column alignment="right" valignment="top" width="0pt">
8091 <column alignment="left" valignment="top" width="0pt">
8092 <column alignment="right" valignment="top" width="0pt">
8093 <column alignment="left" valignment="top" width="0pt">
8094 <column alignment="right" valignment="top" width="0pt">
8095 <column alignment="left" valignment="top" width="0pt">
8096 <column alignment="right" valignment="top" width="0pt">
8097 <column alignment="left" valignment="top" width="0pt">
8099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8102 \begin_layout Standard
8105 \begin_inset Formula $\digamma$
8113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8116 \begin_layout Standard
8127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8130 \begin_layout Standard
8133 \begin_inset Formula $\varkappa$
8141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8144 \begin_layout Standard
8155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8158 \begin_layout Standard
8161 \begin_inset Formula $\beth$
8169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8172 \begin_layout Standard
8183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8186 \begin_layout Standard
8189 \begin_inset Formula $\daleth$
8197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8200 \begin_layout Standard
8211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8214 \begin_layout Standard
8217 \begin_inset Formula $\gimel$
8225 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8228 \begin_layout Standard
8248 \begin_inset Caption
8265 \begin_layout Standard
8268 \begin_inset Float table
8274 \begin_layout Standard
8277 \begin_inset Tabular
8278 <lyxtabular version="3" rows="1" columns="8">
8280 <column alignment="right" valignment="top" width="0pt">
8281 <column alignment="left" valignment="top" width="0pt">
8282 <column alignment="right" valignment="top" width="0pt">
8283 <column alignment="left" valignment="top" width="0pt">
8284 <column alignment="right" valignment="top" width="0pt">
8285 <column alignment="left" valignment="top" width="0pt">
8286 <column alignment="right" valignment="top" width="0pt">
8287 <column alignment="left" valignment="top" width="0pt">
8289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8292 \begin_layout Standard
8295 \begin_inset Formula $\ulcorner$
8303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8306 \begin_layout Standard
8317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8320 \begin_layout Standard
8323 \begin_inset Formula $\urcorner$
8331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8334 \begin_layout Standard
8345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8348 \begin_layout Standard
8351 \begin_inset Formula $\llcorner$
8359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8362 \begin_layout Standard
8373 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8376 \begin_layout Standard
8379 \begin_inset Formula $\lrcorner$
8387 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8390 \begin_layout Standard
8410 \begin_inset Caption
8427 \begin_layout Standard
8430 \begin_inset Float table
8436 \begin_layout Standard
8439 \begin_inset Tabular
8440 <lyxtabular version="3" rows="11" columns="6">
8442 <column alignment="right" valignment="top" width="0pt">
8443 <column alignment="left" valignment="top" width="0pt">
8444 <column alignment="right" valignment="top" width="0pt">
8445 <column alignment="left" valignment="top" width="0pt">
8446 <column alignment="right" valignment="top" width="0pt">
8447 <column alignment="left" valignment="top" width="0pt">
8449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8452 \begin_layout Standard
8455 \begin_inset Formula $\dashrightarrow$
8463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8466 \begin_layout Standard
8477 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8480 \begin_layout Standard
8483 \begin_inset Formula $\dashleftarrow$
8491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8494 \begin_layout Standard
8505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8508 \begin_layout Standard
8511 \begin_inset Formula $\leftleftarrows$
8519 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8522 \begin_layout Standard
8535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8538 \begin_layout Standard
8541 \begin_inset Formula $\leftrightarrows$
8549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8552 \begin_layout Standard
8563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8566 \begin_layout Standard
8569 \begin_inset Formula $\Lleftarrow$
8577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8580 \begin_layout Standard
8591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8594 \begin_layout Standard
8597 \begin_inset Formula $\twoheadleftarrow$
8605 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8608 \begin_layout Standard
8621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8624 \begin_layout Standard
8627 \begin_inset Formula $\leftarrowtail$
8635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8638 \begin_layout Standard
8649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8652 \begin_layout Standard
8655 \begin_inset Formula $\looparrowleft$
8663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8666 \begin_layout Standard
8677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8680 \begin_layout Standard
8683 \begin_inset Formula $\leftrightharpoons$
8691 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8694 \begin_layout Standard
8707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8710 \begin_layout Standard
8713 \begin_inset Formula $\curvearrowleft$
8721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8724 \begin_layout Standard
8735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8738 \begin_layout Standard
8741 \begin_inset Formula $\circlearrowleft$
8749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8752 \begin_layout Standard
8763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8766 \begin_layout Standard
8769 \begin_inset Formula $\Lsh$
8777 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8780 \begin_layout Standard
8793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8796 \begin_layout Standard
8799 \begin_inset Formula $\upuparrows$
8807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8810 \begin_layout Standard
8821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8824 \begin_layout Standard
8827 \begin_inset Formula $\upharpoonleft$
8835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8838 \begin_layout Standard
8849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8852 \begin_layout Standard
8855 \begin_inset Formula $\downharpoonleft$
8863 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8866 \begin_layout Standard
8879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8882 \begin_layout Standard
8885 \begin_inset Formula $\multimap$
8893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8896 \begin_layout Standard
8907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8910 \begin_layout Standard
8913 \begin_inset Formula $\leftrightsquigarrow$
8921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8924 \begin_layout Standard
8935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8938 \begin_layout Standard
8941 \begin_inset Formula $\rightrightarrows$
8949 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8952 \begin_layout Standard
8965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8968 \begin_layout Standard
8971 \begin_inset Formula $\rightleftarrows$
8979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8982 \begin_layout Standard
8993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8996 \begin_layout Standard
8999 \begin_inset Formula $\rightrightarrows$
9007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9010 \begin_layout Standard
9021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9024 \begin_layout Standard
9027 \begin_inset Formula $\rightleftarrows$
9035 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9038 \begin_layout Standard
9051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9054 \begin_layout Standard
9057 \begin_inset Formula $\twoheadrightarrow$
9065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9068 \begin_layout Standard
9079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9082 \begin_layout Standard
9085 \begin_inset Formula $\rightarrowtail$
9093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9096 \begin_layout Standard
9107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9110 \begin_layout Standard
9113 \begin_inset Formula $\looparrowright$
9121 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9124 \begin_layout Standard
9137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9140 \begin_layout Standard
9143 \begin_inset Formula $\rightleftharpoons$
9151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9154 \begin_layout Standard
9165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9168 \begin_layout Standard
9171 \begin_inset Formula $\curvearrowright$
9179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9182 \begin_layout Standard
9193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9196 \begin_layout Standard
9199 \begin_inset Formula $\circlearrowright$
9207 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9210 \begin_layout Standard
9223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9226 \begin_layout Standard
9229 \begin_inset Formula $\Rsh$
9237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9240 \begin_layout Standard
9251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9254 \begin_layout Standard
9257 \begin_inset Formula $\downdownarrows$
9265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9268 \begin_layout Standard
9279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9282 \begin_layout Standard
9285 \begin_inset Formula $\upharpoonright$
9293 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9296 \begin_layout Standard
9309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9312 \begin_layout Standard
9315 \begin_inset Formula $\downharpoonright$
9323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9326 \begin_layout Standard
9337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9340 \begin_layout Standard
9343 \begin_inset Formula $\rightsquigarrow$
9351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9354 \begin_layout Standard
9365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9368 \begin_layout Standard
9374 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9377 \begin_layout Standard
9392 \begin_inset Caption
9409 \begin_layout Standard
9412 \begin_inset Float table
9418 \begin_layout Standard
9421 \begin_inset Tabular
9422 <lyxtabular version="3" rows="2" columns="6">
9424 <column alignment="right" valignment="top" width="0pt">
9425 <column alignment="left" valignment="top" width="0pt">
9426 <column alignment="right" valignment="top" width="0pt">
9427 <column alignment="left" valignment="top" width="0pt">
9428 <column alignment="right" valignment="top" width="0pt">
9429 <column alignment="left" valignment="top" width="0pt">
9431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9434 \begin_layout Standard
9437 \begin_inset Formula $\nleftarrow$
9445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9448 \begin_layout Standard
9459 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9462 \begin_layout Standard
9465 \begin_inset Formula $\nrightarrow$
9473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9476 \begin_layout Standard
9487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9490 \begin_layout Standard
9493 \begin_inset Formula $\nLeftarrow$
9501 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9504 \begin_layout Standard
9517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9520 \begin_layout Standard
9523 \begin_inset Formula $\nRightarrow$
9531 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9534 \begin_layout Standard
9545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9548 \begin_layout Standard
9551 \begin_inset Formula $\nleftrightarrow$
9559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9562 \begin_layout Standard
9573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9576 \begin_layout Standard
9579 \begin_inset Formula $\nLeftrightarrow$
9587 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9590 \begin_layout Standard
9610 \begin_inset Caption
9614 Négations de flèches AMS
9627 \begin_layout Standard
9630 \begin_inset Float table
9636 \begin_layout Standard
9639 \begin_inset Tabular
9640 <lyxtabular version="3" rows="22" columns="6">
9642 <column alignment="right" valignment="top" width="0pt">
9643 <column alignment="left" valignment="top" width="0pt">
9644 <column alignment="right" valignment="top" width="0pt">
9645 <column alignment="left" valignment="top" width="0pt">
9646 <column alignment="right" valignment="top" width="0pt">
9647 <column alignment="left" valignment="top" width="0pt">
9649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9652 \begin_layout Standard
9655 \begin_inset Formula $\leqq$
9663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9666 \begin_layout Standard
9677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9680 \begin_layout Standard
9683 \begin_inset Formula $\leqslant$
9691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9694 \begin_layout Standard
9705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9708 \begin_layout Standard
9711 \begin_inset Formula $\eqslantless$
9719 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9722 \begin_layout Standard
9735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9738 \begin_layout Standard
9741 \begin_inset Formula $\lesssim$
9749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9752 \begin_layout Standard
9763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9766 \begin_layout Standard
9769 \begin_inset Formula $\lessapprox$
9777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9780 \begin_layout Standard
9791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9794 \begin_layout Standard
9797 \begin_inset Formula $\approxeq$
9805 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9808 \begin_layout Standard
9821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9824 \begin_layout Standard
9827 \begin_inset Formula $\lessdot$
9835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9838 \begin_layout Standard
9849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9852 \begin_layout Standard
9855 \begin_inset Formula $\lll$
9863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9866 \begin_layout Standard
9877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9880 \begin_layout Standard
9883 \begin_inset Formula $\lessgtr$
9891 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9894 \begin_layout Standard
9907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9910 \begin_layout Standard
9913 \begin_inset Formula $\lesseqgtr$
9921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9924 \begin_layout Standard
9935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9938 \begin_layout Standard
9941 \begin_inset Formula $\lesseqqgtr$
9949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9952 \begin_layout Standard
9963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9966 \begin_layout Standard
9969 \begin_inset Formula $\doteqdot$
9977 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9980 \begin_layout Standard
9993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9996 \begin_layout Standard
9999 \begin_inset Formula $\risingdotseq$
10007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10010 \begin_layout Standard
10021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10024 \begin_layout Standard
10027 \begin_inset Formula $\fallingdotseq$
10035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10038 \begin_layout Standard
10049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10052 \begin_layout Standard
10055 \begin_inset Formula $\backsim$
10063 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10066 \begin_layout Standard
10079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10082 \begin_layout Standard
10085 \begin_inset Formula $\backsimeq$
10093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10096 \begin_layout Standard
10107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10110 \begin_layout Standard
10113 \begin_inset Formula $\subseteqq$
10121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10124 \begin_layout Standard
10135 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10138 \begin_layout Standard
10141 \begin_inset Formula $\Subset$
10149 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10152 \begin_layout Standard
10165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10168 \begin_layout Standard
10171 \begin_inset Formula $\sqsubset$
10179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10182 \begin_layout Standard
10193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10196 \begin_layout Standard
10199 \begin_inset Formula $\preccurlyeq$
10207 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10210 \begin_layout Standard
10221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10224 \begin_layout Standard
10227 \begin_inset Formula $\curlyeqprec$
10235 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10238 \begin_layout Standard
10251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10254 \begin_layout Standard
10257 \begin_inset Formula $\precsim$
10265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10268 \begin_layout Standard
10279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10282 \begin_layout Standard
10285 \begin_inset Formula $\precapprox$
10293 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10296 \begin_layout Standard
10307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10310 \begin_layout Standard
10313 \begin_inset Formula $\vartriangleleft$
10321 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10324 \begin_layout Standard
10337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10340 \begin_layout Standard
10343 \begin_inset Formula $\trianglelefteq$
10351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10354 \begin_layout Standard
10365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10368 \begin_layout Standard
10371 \begin_inset Formula $\vDash$
10379 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10382 \begin_layout Standard
10393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10396 \begin_layout Standard
10399 \begin_inset Formula $\Vvdash$
10407 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10410 \begin_layout Standard
10423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10426 \begin_layout Standard
10429 \begin_inset Formula $\smallsmile$
10437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10440 \begin_layout Standard
10451 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10454 \begin_layout Standard
10457 \begin_inset Formula $\smallfrown$
10465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10468 \begin_layout Standard
10479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10482 \begin_layout Standard
10485 \begin_inset Formula $\bumpeq$
10493 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10496 \begin_layout Standard
10509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10512 \begin_layout Standard
10515 \begin_inset Formula $\Bumpeq$
10523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10526 \begin_layout Standard
10537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10540 \begin_layout Standard
10543 \begin_inset Formula $\geqq$
10551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10554 \begin_layout Standard
10565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10568 \begin_layout Standard
10571 \begin_inset Formula $\geqslant$
10579 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10582 \begin_layout Standard
10595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10598 \begin_layout Standard
10601 \begin_inset Formula $\eqslantgtr$
10609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10612 \begin_layout Standard
10623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10626 \begin_layout Standard
10629 \begin_inset Formula $\gtrsim$
10637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10640 \begin_layout Standard
10651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10654 \begin_layout Standard
10657 \begin_inset Formula $\gtrapprox$
10665 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10668 \begin_layout Standard
10681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10684 \begin_layout Standard
10687 \begin_inset Formula $\gtrdot$
10695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10698 \begin_layout Standard
10709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10712 \begin_layout Standard
10715 \begin_inset Formula $\ggg$
10723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10726 \begin_layout Standard
10737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10740 \begin_layout Standard
10743 \begin_inset Formula $\gtrless$
10751 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10754 \begin_layout Standard
10767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10770 \begin_layout Standard
10773 \begin_inset Formula $\gtreqless$
10781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10784 \begin_layout Standard
10795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10798 \begin_layout Standard
10801 \begin_inset Formula $\gtreqqless$
10809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10812 \begin_layout Standard
10823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10826 \begin_layout Standard
10829 \begin_inset Formula $\eqcirc$
10837 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10840 \begin_layout Standard
10853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10856 \begin_layout Standard
10859 \begin_inset Formula $\circeq$
10867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10870 \begin_layout Standard
10881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10884 \begin_layout Standard
10887 \begin_inset Formula $\triangleq$
10895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10898 \begin_layout Standard
10909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10912 \begin_layout Standard
10915 \begin_inset Formula $\thicksim$
10923 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10926 \begin_layout Standard
10939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10942 \begin_layout Standard
10945 \begin_inset Formula $\thickapprox$
10953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10956 \begin_layout Standard
10967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10970 \begin_layout Standard
10973 \begin_inset Formula $\supseteqq$
10981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10984 \begin_layout Standard
10995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10998 \begin_layout Standard
11001 \begin_inset Formula $\Supset$
11009 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11012 \begin_layout Standard
11025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11028 \begin_layout Standard
11031 \begin_inset Formula $\sqsupset$
11039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11042 \begin_layout Standard
11053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11056 \begin_layout Standard
11059 \begin_inset Formula $\succcurlyeq$
11067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11070 \begin_layout Standard
11081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11084 \begin_layout Standard
11087 \begin_inset Formula $\curlyeqsucc$
11095 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11098 \begin_layout Standard
11111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11114 \begin_layout Standard
11117 \begin_inset Formula $\succsim$
11125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11128 \begin_layout Standard
11139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11142 \begin_layout Standard
11145 \begin_inset Formula $\succapprox$
11153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11156 \begin_layout Standard
11167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11170 \begin_layout Standard
11173 \begin_inset Formula $\vartriangleright$
11181 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11184 \begin_layout Standard
11197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11200 \begin_layout Standard
11203 \begin_inset Formula $\trianglerighteq$
11211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11214 \begin_layout Standard
11225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11228 \begin_layout Standard
11231 \begin_inset Formula $\Vdash$
11239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11242 \begin_layout Standard
11253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11256 \begin_layout Standard
11259 \begin_inset Formula $\shortmid$
11267 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11270 \begin_layout Standard
11283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11286 \begin_layout Standard
11289 \begin_inset Formula $\shortparallel$
11297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11300 \begin_layout Standard
11311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11314 \begin_layout Standard
11317 \begin_inset Formula $\between$
11325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11328 \begin_layout Standard
11339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11342 \begin_layout Standard
11345 \begin_inset Formula $\pitchfork$
11353 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11356 \begin_layout Standard
11369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11372 \begin_layout Standard
11375 \begin_inset Formula $\varpropto$
11383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11386 \begin_layout Standard
11397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11400 \begin_layout Standard
11403 \begin_inset Formula $\blacktriangleleft$
11411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11414 \begin_layout Standard
11425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11428 \begin_layout Standard
11431 \begin_inset Formula $\therefore$
11439 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11442 \begin_layout Standard
11455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11458 \begin_layout Standard
11461 \begin_inset Formula $\backepsilon$
11469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11472 \begin_layout Standard
11483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11486 \begin_layout Standard
11489 \begin_inset Formula $\blacktriangleright$
11497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11500 \begin_layout Standard
11511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11514 \begin_layout Standard
11517 \begin_inset Formula $\because$
11525 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11528 \begin_layout Standard
11548 \begin_inset Caption
11552 Relations binaires AMS
11565 \begin_layout Standard
11568 \begin_inset Float table
11574 \begin_layout Standard
11577 \begin_inset Tabular
11578 <lyxtabular version="3" rows="17" columns="6">
11580 <column alignment="right" valignment="top" width="0pt">
11581 <column alignment="left" valignment="top" width="0pt">
11582 <column alignment="right" valignment="top" width="0pt">
11583 <column alignment="left" valignment="top" width="0pt">
11584 <column alignment="right" valignment="top" width="0pt">
11585 <column alignment="left" valignment="top" width="0pt">
11587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11590 \begin_layout Standard
11593 \begin_inset Formula $\nless$
11601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11604 \begin_layout Standard
11615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11618 \begin_layout Standard
11621 \begin_inset Formula $\nleq$
11629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11632 \begin_layout Standard
11643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11646 \begin_layout Standard
11649 \begin_inset Formula $\nleqslant$
11657 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11660 \begin_layout Standard
11673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11676 \begin_layout Standard
11679 \begin_inset Formula $\nleqq$
11687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11690 \begin_layout Standard
11701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11704 \begin_layout Standard
11707 \begin_inset Formula $\lneq$
11715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11718 \begin_layout Standard
11729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11732 \begin_layout Standard
11735 \begin_inset Formula $\lneqq$
11743 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11746 \begin_layout Standard
11759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11762 \begin_layout Standard
11765 \begin_inset Formula $\lvertneqq$
11773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11776 \begin_layout Standard
11787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11790 \begin_layout Standard
11793 \begin_inset Formula $\lnsim$
11801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11804 \begin_layout Standard
11815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11818 \begin_layout Standard
11821 \begin_inset Formula $\lnapprox$
11829 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11832 \begin_layout Standard
11845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11848 \begin_layout Standard
11851 \begin_inset Formula $\nprec$
11859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11862 \begin_layout Standard
11873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11876 \begin_layout Standard
11879 \begin_inset Formula $\npreceq$
11887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11890 \begin_layout Standard
11901 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11904 \begin_layout Standard
11907 \begin_inset Formula $\precnsim$
11915 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11918 \begin_layout Standard
11931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11934 \begin_layout Standard
11937 \begin_inset Formula $\precnapprox$
11945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11948 \begin_layout Standard
11959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11962 \begin_layout Standard
11965 \begin_inset Formula $\nsim$
11973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11976 \begin_layout Standard
11987 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11990 \begin_layout Standard
11993 \begin_inset Formula $\nshortmid$
12001 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12004 \begin_layout Standard
12017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12020 \begin_layout Standard
12023 \begin_inset Formula $\nmid$
12031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12034 \begin_layout Standard
12045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12048 \begin_layout Standard
12051 \begin_inset Formula $\nvdash$
12059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12062 \begin_layout Standard
12073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12076 \begin_layout Standard
12079 \begin_inset Formula $\nvDash$
12087 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12090 \begin_layout Standard
12103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12106 \begin_layout Standard
12109 \begin_inset Formula $\ntriangleleft$
12117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12120 \begin_layout Standard
12131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12134 \begin_layout Standard
12137 \begin_inset Formula $\ntrianglelefteq$
12145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12148 \begin_layout Standard
12159 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12162 \begin_layout Standard
12165 \begin_inset Formula $\nsubseteq$
12173 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12176 \begin_layout Standard
12189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12192 \begin_layout Standard
12195 \begin_inset Formula $\subsetneq$
12203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12206 \begin_layout Standard
12217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12220 \begin_layout Standard
12223 \begin_inset Formula $\varsubsetneq$
12231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12234 \begin_layout Standard
12245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12248 \begin_layout Standard
12251 \begin_inset Formula $\subsetneqq$
12259 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12262 \begin_layout Standard
12275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12278 \begin_layout Standard
12281 \begin_inset Formula $\varsubsetneqq$
12289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12292 \begin_layout Standard
12303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12306 \begin_layout Standard
12309 \begin_inset Formula $\ngtr$
12317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12320 \begin_layout Standard
12331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12334 \begin_layout Standard
12337 \begin_inset Formula $\ngeq$
12345 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12348 \begin_layout Standard
12361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12364 \begin_layout Standard
12367 \begin_inset Formula $\ngeqslant$
12375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12378 \begin_layout Standard
12389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12392 \begin_layout Standard
12395 \begin_inset Formula $\ngeqq$
12403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12406 \begin_layout Standard
12417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12420 \begin_layout Standard
12423 \begin_inset Formula $\gneq$
12431 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12434 \begin_layout Standard
12447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12450 \begin_layout Standard
12453 \begin_inset Formula $\gneqq$
12461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12464 \begin_layout Standard
12475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12478 \begin_layout Standard
12481 \begin_inset Formula $\gvertneqq$
12489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12492 \begin_layout Standard
12503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12506 \begin_layout Standard
12509 \begin_inset Formula $\gnsim$
12517 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12520 \begin_layout Standard
12533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12536 \begin_layout Standard
12539 \begin_inset Formula $\gnapprox$
12547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12550 \begin_layout Standard
12561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12564 \begin_layout Standard
12567 \begin_inset Formula $\nsucc$
12575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12578 \begin_layout Standard
12589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12592 \begin_layout Standard
12595 \begin_inset Formula $\nsucceq$
12603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12606 \begin_layout Standard
12619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12622 \begin_layout Standard
12625 \begin_inset Formula $\succnsim$
12633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12636 \begin_layout Standard
12647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12650 \begin_layout Standard
12653 \begin_inset Formula $\succnapprox$
12661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12664 \begin_layout Standard
12675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12678 \begin_layout Standard
12681 \begin_inset Formula $\ncong$
12689 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12692 \begin_layout Standard
12705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12708 \begin_layout Standard
12711 \begin_inset Formula $\nshortparallel$
12719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12722 \begin_layout Standard
12733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12736 \begin_layout Standard
12739 \begin_inset Formula $\nparallel$
12747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12750 \begin_layout Standard
12761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12764 \begin_layout Standard
12767 \begin_inset Formula $\nvDash$
12775 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12778 \begin_layout Standard
12791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12794 \begin_layout Standard
12797 \begin_inset Formula $\nVDash$
12805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12808 \begin_layout Standard
12819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12822 \begin_layout Standard
12825 \begin_inset Formula $\ntriangleright$
12833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12836 \begin_layout Standard
12847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12850 \begin_layout Standard
12853 \begin_inset Formula $\ntrianglerighteq$
12861 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12864 \begin_layout Standard
12877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12880 \begin_layout Standard
12883 \begin_inset Formula $\nsupseteq$
12891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12894 \begin_layout Standard
12905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12908 \begin_layout Standard
12911 \begin_inset Formula $\nsupseteqq$
12919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12922 \begin_layout Standard
12933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12936 \begin_layout Standard
12939 \begin_inset Formula $\supsetneq$
12947 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12950 \begin_layout Standard
12963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12966 \begin_layout Standard
12969 \begin_inset Formula $\varsupsetneq$
12977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12980 \begin_layout Standard
12991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12994 \begin_layout Standard
12997 \begin_inset Formula $\supsetneqq$
13005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13008 \begin_layout Standard
13019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13022 \begin_layout Standard
13025 \begin_inset Formula $\varsupsetneqq$
13033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13036 \begin_layout Standard
13056 \begin_inset Caption
13060 Négations de relations binaires AMS
13073 \begin_layout Standard
13076 \begin_inset Float table
13082 \begin_layout Standard
13085 \begin_inset Tabular
13086 <lyxtabular version="3" rows="8" columns="6">
13088 <column alignment="right" valignment="top" width="0pt">
13089 <column alignment="left" valignment="top" width="0pt">
13090 <column alignment="right" valignment="top" width="0pt">
13091 <column alignment="left" valignment="top" width="0pt">
13092 <column alignment="right" valignment="top" width="0pt">
13093 <column alignment="left" valignment="top" width="0pt">
13095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13098 \begin_layout Standard
13101 \begin_inset Formula $\dotplus$
13109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13112 \begin_layout Standard
13123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13126 \begin_layout Standard
13129 \begin_inset Formula $\smallsetminus$
13137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13140 \begin_layout Standard
13151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13154 \begin_layout Standard
13157 \begin_inset Formula $\Cap$
13165 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13168 \begin_layout Standard
13181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13184 \begin_layout Standard
13187 \begin_inset Formula $\Cup$
13195 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13198 \begin_layout Standard
13209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13212 \begin_layout Standard
13215 \begin_inset Formula $\barwedge$
13223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13226 \begin_layout Standard
13237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13240 \begin_layout Standard
13243 \begin_inset Formula $\veebar$
13251 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13254 \begin_layout Standard
13267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13270 \begin_layout Standard
13273 \begin_inset Formula $\doublebarwedge$
13281 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13284 \begin_layout Standard
13295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13298 \begin_layout Standard
13301 \begin_inset Formula $\boxminus$
13309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13312 \begin_layout Standard
13323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13326 \begin_layout Standard
13329 \begin_inset Formula $\boxtimes$
13337 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13340 \begin_layout Standard
13353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13356 \begin_layout Standard
13359 \begin_inset Formula $\boxdot$
13367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13370 \begin_layout Standard
13381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13384 \begin_layout Standard
13387 \begin_inset Formula $\boxplus$
13395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13398 \begin_layout Standard
13409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13412 \begin_layout Standard
13415 \begin_inset Formula $\divideontimes$
13423 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13426 \begin_layout Standard
13439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13442 \begin_layout Standard
13445 \begin_inset Formula $\ltimes$
13453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13456 \begin_layout Standard
13467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13470 \begin_layout Standard
13473 \begin_inset Formula $\rtimes$
13481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13484 \begin_layout Standard
13495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13498 \begin_layout Standard
13501 \begin_inset Formula $\leftthreetimes$
13509 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13512 \begin_layout Standard
13525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13528 \begin_layout Standard
13531 \begin_inset Formula $\rightthreetimes$
13539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13542 \begin_layout Standard
13553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13556 \begin_layout Standard
13559 \begin_inset Formula $\curlywedge$
13567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13570 \begin_layout Standard
13581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13584 \begin_layout Standard
13587 \begin_inset Formula $\curlyvee$
13595 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13598 \begin_layout Standard
13611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13614 \begin_layout Standard
13617 \begin_inset Formula $\circleddash$
13625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13628 \begin_layout Standard
13639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13642 \begin_layout Standard
13645 \begin_inset Formula $\circledast$
13653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13656 \begin_layout Standard
13667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13670 \begin_layout Standard
13673 \begin_inset Formula $\circledcirc$
13681 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13684 \begin_layout Standard
13697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13700 \begin_layout Standard
13703 \begin_inset Formula $\centerdot$
13711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13714 \begin_layout Standard
13725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13728 \begin_layout Standard
13731 \begin_inset Formula $\intercal$
13739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13742 \begin_layout Standard
13753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13756 \begin_layout Standard
13762 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13765 \begin_layout Standard
13780 \begin_inset Caption
13784 Opérations binaires AMS
13797 \begin_layout Standard
13800 \begin_inset Float table
13806 \begin_layout Standard
13809 \begin_inset Tabular
13810 <lyxtabular version="3" rows="9" columns="6">
13812 <column alignment="right" valignment="top" width="0pt">
13813 <column alignment="left" valignment="top" width="0pt">
13814 <column alignment="right" valignment="top" width="0pt">
13815 <column alignment="left" valignment="top" width="0pt">
13816 <column alignment="right" valignment="top" width="0pt">
13817 <column alignment="left" valignment="top" width="0pt">
13819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13822 \begin_layout Standard
13825 \begin_inset Formula $\hbar$
13833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13836 \begin_layout Standard
13847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13850 \begin_layout Standard
13853 \begin_inset Formula $\hslash$
13861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13864 \begin_layout Standard
13875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13878 \begin_layout Standard
13881 \begin_inset Formula $\vartriangle$
13889 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13892 \begin_layout Standard
13905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13908 \begin_layout Standard
13911 \begin_inset Formula $\triangledown$
13919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13922 \begin_layout Standard
13933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13936 \begin_layout Standard
13939 \begin_inset Formula $\square$
13947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13950 \begin_layout Standard
13961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13964 \begin_layout Standard
13967 \begin_inset Formula $\lozenge$
13975 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13978 \begin_layout Standard
13991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13994 \begin_layout Standard
13997 \begin_inset Formula $\circledS$
14005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14008 \begin_layout Standard
14019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14022 \begin_layout Standard
14025 \begin_inset Formula $\angle$
14033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14036 \begin_layout Standard
14047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14050 \begin_layout Standard
14053 \begin_inset Formula $\measuredangle$
14061 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14064 \begin_layout Standard
14077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14080 \begin_layout Standard
14083 \begin_inset Formula $\nexists$
14091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14094 \begin_layout Standard
14105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14108 \begin_layout Standard
14111 \begin_inset Formula $\mho$
14119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14122 \begin_layout Standard
14133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14136 \begin_layout Standard
14139 \begin_inset Formula $\Finv$
14147 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14150 \begin_layout Standard
14163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14166 \begin_layout Standard
14169 \begin_inset Formula $\Game$
14177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14180 \begin_layout Standard
14191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14194 \begin_layout Standard
14197 \begin_inset Formula $\Bbbk$
14205 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14208 \begin_layout Standard
14219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14222 \begin_layout Standard
14225 \begin_inset Formula $\backprime$
14233 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14236 \begin_layout Standard
14249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14252 \begin_layout Standard
14255 \begin_inset Formula $\varnothing$
14263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14266 \begin_layout Standard
14277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14280 \begin_layout Standard
14283 \begin_inset Formula $\blacktriangle$
14291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14294 \begin_layout Standard
14305 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14308 \begin_layout Standard
14311 \begin_inset Formula $\blacktriangledown$
14319 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14322 \begin_layout Standard
14335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14338 \begin_layout Standard
14341 \begin_inset Formula $\blacksquare$
14349 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14352 \begin_layout Standard
14363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14366 \begin_layout Standard
14369 \begin_inset Formula $\blacklozenge$
14377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14380 \begin_layout Standard
14391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14394 \begin_layout Standard
14397 \begin_inset Formula $\bigstar$
14405 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14408 \begin_layout Standard
14421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14424 \begin_layout Standard
14427 \begin_inset Formula $\sphericalangle$
14435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14438 \begin_layout Standard
14449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14452 \begin_layout Standard
14455 \begin_inset Formula $\complement$
14463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14466 \begin_layout Standard
14477 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14480 \begin_layout Standard
14483 \begin_inset Formula $\eth$
14491 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14494 \begin_layout Standard
14507 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14510 \begin_layout Standard
14513 \begin_inset Formula $\diagup$
14521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14524 \begin_layout Standard
14535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14538 \begin_layout Standard
14541 \begin_inset Formula $\diagdown$
14549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14552 \begin_layout Standard
14563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14566 \begin_layout Standard
14572 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14575 \begin_layout Standard
14590 \begin_inset Caption