1 #LyX 1.3 created this file. For more info see http://www.lyx.org/
12 \paperpackage widemarginsa4
16 \use_numerical_citations 0
17 \paperorientation portrait
20 \paragraph_separation indent
22 \quotes_language french
26 \paperpagestyle default
30 Conversion de et vers l'éditeur mathématique
36 Informations de révision :
39 Traduction : Mise à jour Date : 07/07/2003
42 Original : Révision: 1.8, Date : 17/01/2003
48 Vous pouvez taper des maths dans le corps du document puis les convertir
49 en mode mathématique en les sélectionnant et en tapant
55 Le texte peut être séparé par des délimiteurs ou non.
56 Ainsi, en sélectionnant l'une des formules ci-dessous :
61 <lyxtabular version="3" rows="5" columns="1">
63 <column alignment="left" valignment="top" width="0pt">
65 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
81 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
97 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
109 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
125 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
151 \begin_inset Formula \begin{equation}
152 \frac{abc}{xyz}\end{equation}
159 Pour l'instant, il n'y a aucun moyen officiel de reconvertir le contenu
160 d'un insert mathématique en texte standard.
161 Cependant vous pouvez y arriver par des voies détournées.
162 Sélectionnez le contenu de l'insert mathématique (pas l'insert lui-même,
163 seulement son contenu), mais ne le copiez
168 Il est maintenant en mémoire dans le tampon du système X et peut être recollé
169 dans le document avec le bouton milieu de la souris.
172 Afficher les symboles LaTeX
175 Autrefois, LyX fournissait un équivalent visuel pour une petite partie des
176 symboles mathématiques disponibles en LaTeX.
177 La situation a changé à partir de la version 1.2, il offre désormais l'affichage
178 de la plupart des symboles définis en LaTeX basique et
182 les symboles supplémentaires définis par l'AMS.
183 Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
184 de symboles qui se trouvent dans les livres de Lamport et de Goossen.
187 Quelques tableaux de symboles mathématiques
190 Les tableaux ci-dessous extraits du livre
191 \begin_inset Quotes fld
195 \begin_inset Quotes frd
199 vont apparaître à l'écran dans toute leur splendeur.
224 \begin_inset Float table
233 <lyxtabular version="3" rows="2" columns="10">
235 <column alignment="right" valignment="top" width="0pt">
236 <column alignment="left" valignment="top" width="0pt">
237 <column alignment="right" valignment="top" width="0pt">
238 <column alignment="left" valignment="top" width="0pt">
239 <column alignment="right" valignment="top" width="0pt">
240 <column alignment="left" valignment="top" width="0pt">
241 <column alignment="right" valignment="top" width="0pt">
242 <column alignment="left" valignment="top" width="0pt">
243 <column alignment="right" valignment="top" width="0pt">
244 <column alignment="left" valignment="top" width="0pt">
246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
254 \begin_inset Formula $\hat{a}$
260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
280 \begin_inset Formula $\acute{a}$
286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
306 \begin_inset Formula $\bar{a}$
312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
324 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
332 \begin_inset Formula $\dot{a}$
338 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
350 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
358 \begin_inset Formula $\breve{a}$
364 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
386 \begin_inset Formula $\check{a}$
392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
412 \begin_inset Formula $\grave{a}$
418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
438 \begin_inset Formula $\vec{a}$
444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
464 \begin_inset Formula $\ddot{a}$
470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
490 \begin_inset Formula $\tilde{a}$
496 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
516 Accents en mode mathématique
523 \begin_inset Float table
532 <lyxtabular version="3" rows="11" columns="8">
534 <column alignment="right" valignment="top" width="0pt">
535 <column alignment="left" valignment="top" width="0pt">
536 <column alignment="right" valignment="top" width="0pt">
537 <column alignment="left" valignment="top" width="0pt">
538 <column alignment="right" valignment="top" width="0pt">
539 <column alignment="left" valignment="top" width="0pt">
540 <column alignment="right" valignment="top" width="0pt">
541 <column alignment="left" valignment="top" width="0pt">
543 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
549 \begin_inset Formula $\alpha$
555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
573 \begin_inset Formula $\beta$
579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
597 \begin_inset Formula $\gamma$
603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
621 \begin_inset Formula $\delta$
627 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
647 \begin_inset Formula $\epsilon$
653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
671 \begin_inset Formula $\varepsilon$
677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
695 \begin_inset Formula $\zeta$
701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
719 \begin_inset Formula $\eta$
725 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
745 \begin_inset Formula $\theta$
751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
769 \begin_inset Formula $\vartheta$
775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
793 \begin_inset Formula $\iota$
799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
817 \begin_inset Formula $\kappa$
823 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
843 \begin_inset Formula $\lambda$
849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
867 \begin_inset Formula $\mu$
873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
885 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
891 \begin_inset Formula $\nu$
897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
915 \begin_inset Formula $\xi$
921 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
941 \begin_inset Formula $o$
947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
961 \begin_inset Formula $\pi$
967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
985 \begin_inset Formula $\varpi$
991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1009 \begin_inset Formula $\rho$
1015 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1035 \begin_inset Formula $\varrho$
1041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1059 \begin_inset Formula $\sigma$
1065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1083 \begin_inset Formula $\varsigma$
1089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1107 \begin_inset Formula $\tau$
1113 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1133 \begin_inset Formula $\upsilon$
1139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1157 \begin_inset Formula $\phi$
1163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1181 \begin_inset Formula $\varphi$
1187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1205 \begin_inset Formula $\chi$
1211 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1231 \begin_inset Formula $\psi$
1237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1255 \begin_inset Formula $\omega$
1261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1294 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1309 \begin_inset Formula $\Gamma$
1315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1333 \begin_inset Formula $\Delta$
1339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1357 \begin_inset Formula $\Theta$
1363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1381 \begin_inset Formula $\Lambda$
1387 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1407 \begin_inset Formula $\Xi$
1413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1431 \begin_inset Formula $\Pi$
1437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1455 \begin_inset Formula $\Sigma$
1461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1479 \begin_inset Formula $\Upsilon$
1485 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1505 \begin_inset Formula $\Phi$
1511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1529 \begin_inset Formula $\Psi$
1535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1553 \begin_inset Formula $\Omega$
1559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1578 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1600 \begin_inset Float table
1608 \begin_inset Tabular
1609 <lyxtabular version="3" rows="9" columns="8">
1611 <column alignment="right" valignment="top" width="0pt">
1612 <column alignment="left" valignment="top" width="0pt">
1613 <column alignment="right" valignment="top" width="0pt">
1614 <column alignment="left" valignment="top" width="0pt">
1615 <column alignment="right" valignment="top" width="0pt">
1616 <column alignment="left" valignment="top" width="0pt">
1617 <column alignment="right" valignment="top" width="0pt">
1618 <column alignment="left" valignment="top" width="0pt">
1620 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1626 \begin_inset Formula $\pm$
1632 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1644 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1650 \begin_inset Formula $\cap$
1656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1674 \begin_inset Formula $\diamond$
1680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1698 \begin_inset Formula $\oplus$
1704 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1724 \begin_inset Formula $\mp$
1730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1748 \begin_inset Formula $\cup$
1754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1772 \begin_inset Formula $\bigtriangleup$
1778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1796 \begin_inset Formula $\ominus$
1802 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1822 \begin_inset Formula $\times$
1828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1846 \begin_inset Formula $\uplus$
1852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1870 \begin_inset Formula $\bigtriangledown$
1876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1894 \begin_inset Formula $\otimes$
1900 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1920 \begin_inset Formula $\div$
1926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1944 \begin_inset Formula $\sqcap$
1950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1968 \begin_inset Formula $\triangleleft$
1974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1992 \begin_inset Formula $\oslash$
1998 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2018 \begin_inset Formula $\ast$
2024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2042 \begin_inset Formula $\sqcup$
2048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2066 \begin_inset Formula $\triangleright$
2072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2090 \begin_inset Formula $\odot$
2096 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2116 \begin_inset Formula $\star$
2122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2140 \begin_inset Formula $\vee$
2146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2164 \begin_inset Formula $\lhd$
2170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2182 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2188 \begin_inset Formula $\bigcirc$
2194 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2214 \begin_inset Formula $\circ$
2220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2238 \begin_inset Formula $\wedge$
2244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2262 \begin_inset Formula $\rhd$
2268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2286 \begin_inset Formula $\dagger$
2292 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2312 \begin_inset Formula $\bullet$
2318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2336 \begin_inset Formula $\setminus$
2342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2360 \begin_inset Formula $\unlhd$
2366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2384 \begin_inset Formula $\ddagger$
2390 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2410 \begin_inset Formula $\cdot$
2416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2434 \begin_inset Formula $\wr$
2440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2458 \begin_inset Formula $\unrhd$
2464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2482 \begin_inset Formula $\amalg$
2488 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2508 Symboles d'opérations binaires
2515 \begin_inset Float table
2523 \begin_inset Tabular
2524 <lyxtabular version="3" rows="8" columns="10">
2526 <column alignment="right" valignment="top" width="0pt">
2527 <column alignment="left" valignment="top" width="0pt">
2528 <column alignment="right" valignment="top" width="0pt">
2529 <column alignment="left" valignment="top" width="0pt">
2530 <column alignment="right" valignment="top" width="0pt">
2531 <column alignment="left" valignment="top" width="0pt">
2532 <column alignment="right" valignment="top" width="0pt">
2533 <column alignment="left" valignment="top" width="0pt">
2534 <column alignment="right" valignment="top" width="0pt">
2535 <column alignment="left" valignment="top" width="0pt">
2537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2543 \begin_inset Formula $\leq$
2549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2569 \begin_inset Formula $\geq$
2575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2593 \begin_inset Formula $\equiv$
2599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2617 \begin_inset Formula $\models$
2623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2641 \begin_inset Formula $\prec$
2647 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2667 \begin_inset Formula $\succ$
2673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2691 \begin_inset Formula $\sim$
2697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2715 \begin_inset Formula $\perp$
2721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2739 \begin_inset Formula $\preceq$
2745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2763 \begin_inset Formula $\succeq$
2769 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2789 \begin_inset Formula $\simeq$
2795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2813 \begin_inset Formula $\mid$
2819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2837 \begin_inset Formula $\ll$
2843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2861 \begin_inset Formula $\gg$
2867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2885 \begin_inset Formula $\asymp$
2891 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2911 \begin_inset Formula $\parallel$
2917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2935 \begin_inset Formula $\subset$
2941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2959 \begin_inset Formula $\supset$
2965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2983 \begin_inset Formula $\approx$
2989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3007 \begin_inset Formula $\bowtie$
3013 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3033 \begin_inset Formula $\subseteq$
3039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3057 \begin_inset Formula $\supseteq$
3063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3081 \begin_inset Formula $\cong$
3087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3105 \begin_inset Formula $\Join$
3111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3129 \begin_inset Formula $\sqsubset$
3135 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3155 \begin_inset Formula $\sqsupset$
3161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3179 \begin_inset Formula $\neq$
3185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3203 \begin_inset Formula $\smile$
3209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3227 \begin_inset Formula $\sqsubseteq$
3233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3251 \begin_inset Formula $\sqsupseteq$
3257 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3277 \begin_inset Formula $\doteq$
3283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3301 \begin_inset Formula $\frown$
3307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3325 \begin_inset Formula $\in$
3331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3349 \begin_inset Formula $\ni$
3355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3373 \begin_inset Formula $\propto$
3379 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3399 \begin_inset Formula $=$
3405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3415 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3421 \begin_inset Formula $\vdash$
3427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3445 \begin_inset Formula $\dashv$
3451 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3469 \begin_inset Formula $<$
3475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3491 \begin_inset Formula $>$
3497 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3515 Symboles de relations
3522 \begin_inset Float table
3530 \begin_inset Tabular
3531 <lyxtabular version="3" rows="10" columns="6">
3533 <column alignment="right" valignment="top" width="0pt">
3534 <column alignment="left" valignment="top" width="0pt">
3535 <column alignment="right" valignment="top" width="0pt">
3536 <column alignment="left" valignment="top" width="0pt">
3537 <column alignment="right" valignment="top" width="0pt">
3538 <column alignment="left" valignment="top" width="0pt">
3540 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3546 \begin_inset Formula $\leftarrow$
3552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3570 \begin_inset Formula $\longleftarrow$
3576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3594 \begin_inset Formula $\uparrow$
3600 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3620 \begin_inset Formula $\Leftarrow$
3626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3644 \begin_inset Formula $\Longleftarrow$
3650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3668 \begin_inset Formula $\Uparrow$
3674 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3694 \begin_inset Formula $\rightarrow$
3700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3718 \begin_inset Formula $\longrightarrow$
3724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3742 \begin_inset Formula $\downarrow$
3748 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3768 \begin_inset Formula $\Rightarrow$
3774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3792 \begin_inset Formula $\Longrightarrow$
3798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3816 \begin_inset Formula $\Downarrow$
3822 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3836 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3842 \begin_inset Formula $\leftrightarrow$
3848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3866 \begin_inset Formula $\longleftrightarrow$
3872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3890 \begin_inset Formula $\updownarrow$
3896 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3910 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3916 \begin_inset Formula $\Leftrightarrow$
3922 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3940 \begin_inset Formula $\Longleftrightarrow$
3946 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3958 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3964 \begin_inset Formula $\Updownarrow$
3970 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3984 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3990 \begin_inset Formula $\mapsto$
3996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4008 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4014 \begin_inset Formula $\longmapsto$
4020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4032 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4038 \begin_inset Formula $\nearrow$
4044 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4064 \begin_inset Formula $\hookleftarrow$
4070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4088 \begin_inset Formula $\hookrightarrow$
4094 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4106 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4112 \begin_inset Formula $\searrow$
4118 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4138 \begin_inset Formula $\leftharpoonup$
4144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4162 \begin_inset Formula $\rightharpoonup$
4168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4186 \begin_inset Formula $\swarrow$
4192 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4212 \begin_inset Formula $\leftharpoondown$
4218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4236 \begin_inset Formula $\rightharpoondown$
4242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4260 \begin_inset Formula $\nwarrow$
4266 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4293 \begin_inset Float table
4301 \begin_inset Tabular
4302 <lyxtabular version="3" rows="7" columns="10">
4304 <column alignment="right" valignment="top" width="0pt">
4305 <column alignment="left" valignment="top" width="0pt">
4306 <column alignment="right" valignment="top" width="0pt">
4307 <column alignment="left" valignment="top" width="0pt">
4308 <column alignment="right" valignment="top" width="0pt">
4309 <column alignment="left" valignment="top" width="0pt">
4310 <column alignment="right" valignment="top" width="0pt">
4311 <column alignment="left" valignment="top" width="0pt">
4312 <column alignment="right" valignment="top" width="0pt">
4313 <column alignment="left" valignment="top" width="0pt">
4315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4321 \begin_inset Formula $\ldots$
4327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4345 \begin_inset Formula $\cdots$
4351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4369 \begin_inset Formula $\vdots$
4375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4393 \begin_inset Formula $\ddots$
4399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4417 \begin_inset Formula $\aleph$
4423 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4443 \begin_inset Formula $\prime$
4449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4467 \begin_inset Formula $\forall$
4473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4491 \begin_inset Formula $\infty$
4497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4515 \begin_inset Formula $\hbar$
4521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4539 \begin_inset Formula $\emptyset$
4545 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4565 \begin_inset Formula $\exists$
4571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4589 \begin_inset Formula $\nabla$
4595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4613 \begin_inset Formula $\surd$
4619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4637 \begin_inset Formula $\Box$
4643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4661 \begin_inset Formula $\triangle$
4667 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4687 \begin_inset Formula $\Diamond$
4693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4711 \begin_inset Formula $\imath$
4717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4735 \begin_inset Formula $\jmath$
4741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4759 \begin_inset Formula $\ell$
4765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4783 \begin_inset Formula $\neg$
4789 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4809 \begin_inset Formula $\top$
4815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4827 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4833 \begin_inset Formula $\flat$
4839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4857 \begin_inset Formula $\natural$
4863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4881 \begin_inset Formula $\sharp$
4887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4905 \begin_inset Formula $\wp$
4911 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4931 \begin_inset Formula $\bot$
4937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4955 \begin_inset Formula $\clubsuit$
4961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4979 \begin_inset Formula $\diamondsuit$
4985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5003 \begin_inset Formula $\heartsuit$
5009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5027 \begin_inset Formula $\spadesuit$
5033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5053 \begin_inset Formula $\mho$
5059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5071 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5077 \begin_inset Formula $\Re$
5083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5101 \begin_inset Formula $\Im$
5107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5125 \begin_inset Formula $\angle$
5131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5149 \begin_inset Formula $\partial$
5155 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5182 \begin_inset Float table
5190 \begin_inset Tabular
5191 <lyxtabular version="3" rows="3" columns="10">
5193 <column alignment="right" valignment="top" width="0pt">
5194 <column alignment="left" valignment="top" width="0pt">
5195 <column alignment="right" valignment="top" width="0pt">
5196 <column alignment="left" valignment="top" width="0pt">
5197 <column alignment="right" valignment="top" width="0pt">
5198 <column alignment="left" valignment="top" width="0pt">
5199 <column alignment="right" valignment="top" width="0pt">
5200 <column alignment="left" valignment="top" width="0pt">
5201 <column alignment="right" valignment="top" width="0pt">
5202 <column alignment="left" valignment="top" width="0pt">
5204 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5210 \begin_inset Formula $\sum$
5216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5228 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5234 \begin_inset Formula $\prod$
5240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5258 \begin_inset Formula $\coprod$
5264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5282 \begin_inset Formula $\int$
5288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5306 \begin_inset Formula $\oint$
5312 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5332 \begin_inset Formula $\bigcap$
5338 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5350 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5356 \begin_inset Formula $\bigcup$
5362 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5374 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5380 \begin_inset Formula $\bigsqcup$
5386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5398 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5404 \begin_inset Formula $\bigvee$
5410 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5422 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5428 \begin_inset Formula $\bigwedge$
5434 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5454 \begin_inset Formula $\bigodot$
5460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5478 \begin_inset Formula $\bigotimes$
5484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5496 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5502 \begin_inset Formula $\bigoplus$
5508 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5520 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5526 \begin_inset Formula $\biguplus$
5532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5551 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5566 Symboles de taille variable
5573 \begin_inset Float table
5581 \begin_inset Tabular
5582 <lyxtabular version="3" rows="4" columns="8">
5584 <column alignment="left" valignment="top" width="0pt">
5585 <column alignment="left" valignment="top" width="0pt">
5586 <column alignment="left" valignment="top" width="0pt">
5587 <column alignment="left" valignment="top" width="0pt">
5588 <column alignment="left" valignment="top" width="0pt">
5589 <column alignment="left" valignment="top" width="0pt">
5590 <column alignment="left" valignment="top" width="0pt">
5591 <column alignment="left" valignment="top" width="0pt">
5593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5599 \begin_inset Formula $\arccos$
5605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5611 \begin_inset Formula $\cos$
5617 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5623 \begin_inset Formula $\csc$
5629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5635 \begin_inset Formula $\exp$
5641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5647 \begin_inset Formula $\ker$
5653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5659 \begin_inset Formula $\limsup$
5665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5671 \begin_inset Formula $\min$
5677 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5683 \begin_inset Formula $\sinh$
5691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5697 \begin_inset Formula $\arcsin$
5703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5709 \begin_inset Formula $\cosh$
5715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5721 \begin_inset Formula $\deg$
5727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5733 \begin_inset Formula $\gcd$
5739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5745 \begin_inset Formula $\lg$
5751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5757 \begin_inset Formula $\ln$
5763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5769 \begin_inset Formula $\Pr$
5775 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5781 \begin_inset Formula $\sup$
5789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5795 \begin_inset Formula $\arctan$
5801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5807 \begin_inset Formula $\cot$
5813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5819 \begin_inset Formula $\det$
5825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5831 \begin_inset Formula $\hom$
5837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5843 \begin_inset Formula $\lim$
5849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5855 \begin_inset Formula $\log$
5861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5867 \begin_inset Formula $\sec$
5873 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5879 \begin_inset Formula $\tan$
5887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5893 \begin_inset Formula $\arg$
5899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5905 \begin_inset Formula $\coth$
5911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5917 \begin_inset Formula $\dim$
5923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5929 \begin_inset Formula $\inf$
5935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5941 \begin_inset Formula $\liminf$
5947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5953 \begin_inset Formula $\max$
5959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5965 \begin_inset Formula $\sin$
5971 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5977 \begin_inset Formula $\tanh$
5991 Symboles de fonctions
5998 \begin_inset Float table
6006 \begin_inset Tabular
6007 <lyxtabular version="3" rows="5" columns="8">
6009 <column alignment="right" valignment="top" width="0pt">
6010 <column alignment="left" valignment="top" width="0pt">
6011 <column alignment="right" valignment="top" width="0pt">
6012 <column alignment="left" valignment="top" width="0pt">
6013 <column alignment="right" valignment="top" width="0pt">
6014 <column alignment="left" valignment="top" width="0pt">
6015 <column alignment="right" valignment="top" width="0pt">
6016 <column alignment="left" valignment="top" width="0pt">
6018 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6024 \begin_inset Formula $\uparrow$
6030 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6048 \begin_inset Formula $\Uparrow$
6054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6072 \begin_inset Formula $\downarrow$
6078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6096 \begin_inset Formula $\Downarrow$
6102 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6122 \begin_inset Formula $\{$
6128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6146 \begin_inset Formula $\}$
6152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6170 \begin_inset Formula $\updownarrow$
6176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6194 \begin_inset Formula $\Updownarrow$
6200 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6220 \begin_inset Formula $\lfloor$
6226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6244 \begin_inset Formula $\rfloor$
6250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6268 \begin_inset Formula $\lceil$
6274 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6292 \begin_inset Formula $\rceil$
6298 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6318 \begin_inset Formula $\langle$
6324 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6336 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6342 \begin_inset Formula $\rangle$
6348 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6360 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6366 \begin_inset Formula $/$
6372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6388 \begin_inset Formula $\backslash$
6394 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6414 \begin_inset Formula $|$
6420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6436 \begin_inset Formula $\|$
6442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6475 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6497 \begin_inset Float table
6505 \begin_inset Tabular
6506 <lyxtabular version="3" rows="6" columns="4">
6508 <column alignment="right" valignment="top" width="0pt">
6509 <column alignment="left" valignment="top" width="0pt">
6510 <column alignment="right" valignment="top" width="0pt">
6511 <column alignment="left" valignment="top" width="0pt">
6513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6519 \begin_inset Formula $\widetilde{abc}$
6525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6543 \begin_inset Formula $\widehat{abc}$
6549 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6569 \begin_inset Formula $\overleftarrow{abc}$
6575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6593 \begin_inset Formula $\overrightarrow{abc}$
6599 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6619 \begin_inset Formula $\overline{abc}$
6625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6643 \begin_inset Formula $\underline{abc}$
6649 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6669 \begin_inset Formula $\overbrace{abc}$
6675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6693 \begin_inset Formula $\underbrace{abc}$
6699 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6719 \begin_inset Formula $\sqrt{abc}$
6725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6743 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
6749 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6771 \begin_inset Formula $f'$
6777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6793 \begin_inset Formula $\frac{abc}{xyz}$
6799 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6819 Structures mathématiques LaTeX
6826 \begin_inset Float table
6834 \begin_inset Tabular
6835 <lyxtabular version="3" rows="1" columns="10">
6837 <column alignment="right" valignment="top" width="0pt">
6838 <column alignment="left" valignment="top" width="0pt">
6839 <column alignment="right" valignment="top" width="0pt">
6840 <column alignment="left" valignment="top" width="0pt">
6841 <column alignment="right" valignment="top" width="0pt">
6842 <column alignment="left" valignment="top" width="0pt">
6843 <column alignment="right" valignment="top" width="0pt">
6844 <column alignment="left" valignment="top" width="0pt">
6845 <column alignment="right" valignment="top" width="0pt">
6846 <column alignment="left" valignment="top" width="0pt">
6848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6854 \begin_inset Formula $\digamma$
6860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6878 \begin_inset Formula $\varkappa$
6884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6902 \begin_inset Formula $\beth$
6908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6926 \begin_inset Formula $\daleth$
6932 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6944 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6950 \begin_inset Formula $\gimel$
6956 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6983 \begin_inset Float table
6991 \begin_inset Tabular
6992 <lyxtabular version="3" rows="1" columns="8">
6994 <column alignment="right" valignment="top" width="0pt">
6995 <column alignment="left" valignment="top" width="0pt">
6996 <column alignment="right" valignment="top" width="0pt">
6997 <column alignment="left" valignment="top" width="0pt">
6998 <column alignment="right" valignment="top" width="0pt">
6999 <column alignment="left" valignment="top" width="0pt">
7000 <column alignment="right" valignment="top" width="0pt">
7001 <column alignment="left" valignment="top" width="0pt">
7003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7009 \begin_inset Formula $\ulcorner$
7015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7033 \begin_inset Formula $\urcorner$
7039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7057 \begin_inset Formula $\llcorner$
7063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7081 \begin_inset Formula $\lrcorner$
7087 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7114 \begin_inset Float table
7122 \begin_inset Tabular
7123 <lyxtabular version="3" rows="11" columns="6">
7125 <column alignment="right" valignment="top" width="0pt">
7126 <column alignment="left" valignment="top" width="0pt">
7127 <column alignment="right" valignment="top" width="0pt">
7128 <column alignment="left" valignment="top" width="0pt">
7129 <column alignment="right" valignment="top" width="0pt">
7130 <column alignment="left" valignment="top" width="0pt">
7132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7138 \begin_inset Formula $\dashrightarrow$
7144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7162 \begin_inset Formula $\dashleftarrow$
7168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7186 \begin_inset Formula $\leftleftarrows$
7192 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7212 \begin_inset Formula $\leftrightarrows$
7218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7236 \begin_inset Formula $\Lleftarrow$
7242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7260 \begin_inset Formula $\twoheadleftarrow$
7266 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7286 \begin_inset Formula $\leftarrowtail$
7292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7310 \begin_inset Formula $\looparrowleft$
7316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7334 \begin_inset Formula $\leftrightharpoons$
7340 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7360 \begin_inset Formula $\curvearrowleft$
7366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7384 \begin_inset Formula $\circlearrowleft$
7390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7408 \begin_inset Formula $\Lsh$
7414 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7434 \begin_inset Formula $\upuparrows$
7440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7458 \begin_inset Formula $\upharpoonleft$
7464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7482 \begin_inset Formula $\downharpoonleft$
7488 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7508 \begin_inset Formula $\multimap$
7514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7532 \begin_inset Formula $\leftrightsquigarrow$
7538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7556 \begin_inset Formula $\rightrightarrows$
7562 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7582 \begin_inset Formula $\rightleftarrows$
7588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7606 \begin_inset Formula $\rightrightarrows$
7612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7630 \begin_inset Formula $\rightleftarrows$
7636 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7656 \begin_inset Formula $\twoheadrightarrow$
7662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7680 \begin_inset Formula $\rightarrowtail$
7686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7704 \begin_inset Formula $\looparrowright$
7710 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7730 \begin_inset Formula $\rightleftharpoons$
7736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7754 \begin_inset Formula $\curvearrowright$
7760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7778 \begin_inset Formula $\circlearrowright$
7784 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7804 \begin_inset Formula $\Rsh$
7810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7828 \begin_inset Formula $\downdownarrows$
7834 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7852 \begin_inset Formula $\upharpoonright$
7858 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7878 \begin_inset Formula $\downharpoonright$
7884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7902 \begin_inset Formula $\rightsquigarrow$
7908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7927 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7949 \begin_inset Float table
7957 \begin_inset Tabular
7958 <lyxtabular version="3" rows="2" columns="6">
7960 <column alignment="right" valignment="top" width="0pt">
7961 <column alignment="left" valignment="top" width="0pt">
7962 <column alignment="right" valignment="top" width="0pt">
7963 <column alignment="left" valignment="top" width="0pt">
7964 <column alignment="right" valignment="top" width="0pt">
7965 <column alignment="left" valignment="top" width="0pt">
7967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7973 \begin_inset Formula $\nleftarrow$
7979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7997 \begin_inset Formula $\nrightarrow$
8003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8021 \begin_inset Formula $\nLeftarrow$
8027 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8047 \begin_inset Formula $\nRightarrow$
8053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8071 \begin_inset Formula $\nleftrightarrow$
8077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8095 \begin_inset Formula $\nLeftrightarrow$
8101 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8121 Négations de flèches AMS
8128 \begin_inset Float table
8136 \begin_inset Tabular
8137 <lyxtabular version="3" rows="22" columns="6">
8139 <column alignment="right" valignment="top" width="0pt">
8140 <column alignment="left" valignment="top" width="0pt">
8141 <column alignment="right" valignment="top" width="0pt">
8142 <column alignment="left" valignment="top" width="0pt">
8143 <column alignment="right" valignment="top" width="0pt">
8144 <column alignment="left" valignment="top" width="0pt">
8146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8152 \begin_inset Formula $\leqq$
8158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8176 \begin_inset Formula $\leqslant$
8182 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8200 \begin_inset Formula $\eqslantless$
8206 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8226 \begin_inset Formula $\lesssim$
8232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8250 \begin_inset Formula $\lessapprox$
8256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8274 \begin_inset Formula $\approxeq$
8280 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8300 \begin_inset Formula $\lessdot$
8306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8324 \begin_inset Formula $\lll$
8330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8348 \begin_inset Formula $\lessgtr$
8354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8374 \begin_inset Formula $\lesseqgtr$
8380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8398 \begin_inset Formula $\lesseqqgtr$
8404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8422 \begin_inset Formula $\doteqdot$
8428 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8448 \begin_inset Formula $\risingdotseq$
8454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8466 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8472 \begin_inset Formula $\fallingdotseq$
8478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8496 \begin_inset Formula $\backsim$
8502 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8522 \begin_inset Formula $\backsimeq$
8528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8540 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8546 \begin_inset Formula $\subseteqq$
8552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8570 \begin_inset Formula $\Subset$
8576 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8596 \begin_inset Formula $\sqsubset$
8602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8620 \begin_inset Formula $\preccurlyeq$
8626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8644 \begin_inset Formula $\curlyeqprec$
8650 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8664 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8670 \begin_inset Formula $\precsim$
8676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8694 \begin_inset Formula $\precapprox$
8700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8718 \begin_inset Formula $\vartriangleleft$
8724 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8744 \begin_inset Formula $\trianglelefteq$
8750 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8768 \begin_inset Formula $\vDash$
8774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8792 \begin_inset Formula $\Vvdash$
8798 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8818 \begin_inset Formula $\smallsmile$
8824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8836 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8842 \begin_inset Formula $\smallfrown$
8848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8866 \begin_inset Formula $\bumpeq$
8872 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8886 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8892 \begin_inset Formula $\Bumpeq$
8898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8910 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8916 \begin_inset Formula $\geqq$
8922 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8940 \begin_inset Formula $\geqslant$
8946 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8960 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8966 \begin_inset Formula $\eqslantgtr$
8972 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8984 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8990 \begin_inset Formula $\gtrsim$
8996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9008 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9014 \begin_inset Formula $\gtrapprox$
9020 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9040 \begin_inset Formula $\gtrdot$
9046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9064 \begin_inset Formula $\ggg$
9070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9088 \begin_inset Formula $\gtrless$
9094 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9108 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9114 \begin_inset Formula $\gtreqless$
9120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9138 \begin_inset Formula $\gtreqqless$
9144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9162 \begin_inset Formula $\eqcirc$
9168 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9182 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9188 \begin_inset Formula $\circeq$
9194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9212 \begin_inset Formula $\triangleq$
9218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9236 \begin_inset Formula $\thicksim$
9242 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9262 \begin_inset Formula $\thickapprox$
9268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9286 \begin_inset Formula $\supseteqq$
9292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9310 \begin_inset Formula $\Supset$
9316 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9336 \begin_inset Formula $\sqsupset$
9342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9360 \begin_inset Formula $\succcurlyeq$
9366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9384 \begin_inset Formula $\curlyeqsucc$
9390 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9410 \begin_inset Formula $\succsim$
9416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9434 \begin_inset Formula $\succapprox$
9440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9458 \begin_inset Formula $\vartriangleright$
9464 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9484 \begin_inset Formula $\trianglerighteq$
9490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9508 \begin_inset Formula $\Vdash$
9514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9532 \begin_inset Formula $\shortmid$
9538 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9558 \begin_inset Formula $\shortparallel$
9564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9582 \begin_inset Formula $\between$
9588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9606 \begin_inset Formula $\pitchfork$
9612 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9632 \begin_inset Formula $\varpropto$
9638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9656 \begin_inset Formula $\blacktriangleleft$
9662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9680 \begin_inset Formula $\therefore$
9686 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9706 \begin_inset Formula $\backepsilon$
9712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9730 \begin_inset Formula $\blacktriangleright$
9736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9754 \begin_inset Formula $\because$
9760 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9780 Relations binaires AMS
9787 \begin_inset Float table
9795 \begin_inset Tabular
9796 <lyxtabular version="3" rows="17" columns="6">
9798 <column alignment="right" valignment="top" width="0pt">
9799 <column alignment="left" valignment="top" width="0pt">
9800 <column alignment="right" valignment="top" width="0pt">
9801 <column alignment="left" valignment="top" width="0pt">
9802 <column alignment="right" valignment="top" width="0pt">
9803 <column alignment="left" valignment="top" width="0pt">
9805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9811 \begin_inset Formula $\nless$
9817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9835 \begin_inset Formula $\nleq$
9841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9859 \begin_inset Formula $\nleqslant$
9865 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9885 \begin_inset Formula $\nleqq$
9891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9909 \begin_inset Formula $\lneq$
9915 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9933 \begin_inset Formula $\lneqq$
9939 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9959 \begin_inset Formula $\lvertneqq$
9965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9983 \begin_inset Formula $\lnsim$
9989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10007 \begin_inset Formula $\lnapprox$
10013 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10033 \begin_inset Formula $\nprec$
10039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10057 \begin_inset Formula $\npreceq$
10063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10081 \begin_inset Formula $\precnsim$
10087 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10107 \begin_inset Formula $\precnapprox$
10113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10131 \begin_inset Formula $\nsim$
10137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10155 \begin_inset Formula $\nshortmid$
10161 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10181 \begin_inset Formula $\nmid$
10187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10205 \begin_inset Formula $\nvdash$
10211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10229 \begin_inset Formula $\nvDash$
10235 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10255 \begin_inset Formula $\ntriangleleft$
10261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10279 \begin_inset Formula $\ntrianglelefteq$
10285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10303 \begin_inset Formula $\nsubseteq$
10309 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10329 \begin_inset Formula $\subsetneq$
10335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10353 \begin_inset Formula $\varsubsetneq$
10359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10377 \begin_inset Formula $\subsetneqq$
10383 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10403 \begin_inset Formula $\varsubsetneqq$
10409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10427 \begin_inset Formula $\ngtr$
10433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10451 \begin_inset Formula $\ngeq$
10457 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10477 \begin_inset Formula $\ngeqslant$
10483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10501 \begin_inset Formula $\ngeqq$
10507 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10525 \begin_inset Formula $\gneq$
10531 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10551 \begin_inset Formula $\gneqq$
10557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10575 \begin_inset Formula $\gvertneqq$
10581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10599 \begin_inset Formula $\gnsim$
10605 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10625 \begin_inset Formula $\gnapprox$
10631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10649 \begin_inset Formula $\nsucc$
10655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10673 \begin_inset Formula $\nsucceq$
10679 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10699 \begin_inset Formula $\succnsim$
10705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10723 \begin_inset Formula $\succnapprox$
10729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10747 \begin_inset Formula $\ncong$
10753 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10773 \begin_inset Formula $\nshortparallel$
10779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10797 \begin_inset Formula $\nparallel$
10803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10821 \begin_inset Formula $\nvDash$
10827 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10847 \begin_inset Formula $\nVDash$
10853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10871 \begin_inset Formula $\ntriangleright$
10877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10895 \begin_inset Formula $\ntrianglerighteq$
10901 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10915 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10921 \begin_inset Formula $\nsupseteq$
10927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10945 \begin_inset Formula $\nsupseteqq$
10951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10969 \begin_inset Formula $\supsetneq$
10975 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10995 \begin_inset Formula $\varsupsetneq$
11001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11019 \begin_inset Formula $\supsetneqq$
11025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11043 \begin_inset Formula $\varsupsetneqq$
11049 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11069 Négations de relations binaires AMS
11076 \begin_inset Float table
11084 \begin_inset Tabular
11085 <lyxtabular version="3" rows="8" columns="6">
11087 <column alignment="right" valignment="top" width="0pt">
11088 <column alignment="left" valignment="top" width="0pt">
11089 <column alignment="right" valignment="top" width="0pt">
11090 <column alignment="left" valignment="top" width="0pt">
11091 <column alignment="right" valignment="top" width="0pt">
11092 <column alignment="left" valignment="top" width="0pt">
11094 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11100 \begin_inset Formula $\dotplus$
11106 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11118 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11124 \begin_inset Formula $\smallsetminus$
11130 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11148 \begin_inset Formula $\Cap$
11154 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11174 \begin_inset Formula $\Cup$
11180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11192 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11198 \begin_inset Formula $\barwedge$
11204 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11222 \begin_inset Formula $\veebar$
11228 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11248 \begin_inset Formula $\doublebarwedge$
11254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11266 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11272 \begin_inset Formula $\boxminus$
11278 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11296 \begin_inset Formula $\boxtimes$
11302 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11322 \begin_inset Formula $\boxdot$
11328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11346 \begin_inset Formula $\boxplus$
11352 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11370 \begin_inset Formula $\divideontimes$
11376 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11396 \begin_inset Formula $\ltimes$
11402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11420 \begin_inset Formula $\rtimes$
11426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11438 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11444 \begin_inset Formula $\leftthreetimes$
11450 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11470 \begin_inset Formula $\rightthreetimes$
11476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11494 \begin_inset Formula $\curlywedge$
11500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11518 \begin_inset Formula $\curlyvee$
11524 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11544 \begin_inset Formula $\circleddash$
11550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11568 \begin_inset Formula $\circledast$
11574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11592 \begin_inset Formula $\circledcirc$
11598 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11618 \begin_inset Formula $\centerdot$
11624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11636 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11642 \begin_inset Formula $\intercal$
11648 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11667 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11682 Opérations binaires AMS
11689 \begin_inset Float table
11697 \begin_inset Tabular
11698 <lyxtabular version="3" rows="9" columns="6">
11700 <column alignment="right" valignment="top" width="0pt">
11701 <column alignment="left" valignment="top" width="0pt">
11702 <column alignment="right" valignment="top" width="0pt">
11703 <column alignment="left" valignment="top" width="0pt">
11704 <column alignment="right" valignment="top" width="0pt">
11705 <column alignment="left" valignment="top" width="0pt">
11707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11713 \begin_inset Formula $\hbar$
11719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11737 \begin_inset Formula $\hslash$
11743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11761 \begin_inset Formula $\vartriangle$
11767 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11787 \begin_inset Formula $\triangledown$
11793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11811 \begin_inset Formula $\square$
11817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11835 \begin_inset Formula $\lozenge$
11841 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11861 \begin_inset Formula $\circledS$
11867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11885 \begin_inset Formula $\angle$
11891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11909 \begin_inset Formula $\measuredangle$
11915 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11935 \begin_inset Formula $\nexists$
11941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11959 \begin_inset Formula $\mho$
11965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11983 \begin_inset Formula $\Finv$
11989 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12009 \begin_inset Formula $\Game$
12015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12033 \begin_inset Formula $\Bbbk$
12039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12057 \begin_inset Formula $\backprime$
12063 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12083 \begin_inset Formula $\varnothing$
12089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12107 \begin_inset Formula $\blacktriangle$
12113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12131 \begin_inset Formula $\blacktriangledown$
12137 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12157 \begin_inset Formula $\blacksquare$
12163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12181 \begin_inset Formula $\blacklozenge$
12187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12205 \begin_inset Formula $\bigstar$
12211 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12231 \begin_inset Formula $\sphericalangle$
12237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12255 \begin_inset Formula $\complement$
12261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12279 \begin_inset Formula $\eth$
12285 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12305 \begin_inset Formula $\diagup$
12311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12329 \begin_inset Formula $\diagdown$
12335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">