1 #LyX 1.2 created this file. For more info see http://www.lyx.org/
12 \paperpackage widemarginsa4
16 \use_numerical_citations 0
17 \paperorientation portrait
20 \paragraph_separation indent
22 \quotes_language french
26 \paperpagestyle default
30 Conversion de et vers Mathed
36 Informations de révision :
39 Traduction : Mise à jour Date : 19/06/2002
42 Original : Révision: 1.6, Date : 19/06/2002
48 Vous pouvez taper des maths dans le corps du document puis les convertir
49 en Mathed en les sélectionnant et en tapant
55 Le texte peut être séparé par des délimiteurs ou non.
56 Ainsi, en sélectionnant les formules ci-dessous :
61 <lyxtabular version="3" rows="5" columns="1">
63 <column alignment="left" valignment="top" width="0pt">
65 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
81 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
97 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
109 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
125 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
151 \begin_inset Formula \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 Jusqu'à présent, LyX fournissait un équivalent visuel pour une petite partie
176 des symboles mathématiques disponibles en LaTeX.
177 À partir de la version 1.2, il offre l'affichage de la plupart des symboles
178 définis en LaTeX basique et
182 les symboles supplémentaires définis par l'AMS.
183 Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
184 de symboles qui se trouvent dans les livres de Lamport et de Goossen.
187 Cependant pour afficher ces symboles supplémentaires, il faut que les polices
188 nécessaires soient visibles par LyX.
189 Après avoir installé LyX, tapez
192 xset +fp REP_LYX/xfonts
195 à la console (où REP_LYX est le répertoire contenant les fichiers LyX),
196 redémarrez LyX, chargez ce document et savourez !
199 Pour rendre ces polices visibles en permanence, vous devez éditer l'un des
200 fichiers suivants (selon votre configuration) :
202 /etc/X11/XF86Config-4
215 Quelques tableaux de symboles mathématiques
218 Si vous avez suivi les instructions qui précèdent, les tableaux ci-dessous
220 \begin_inset Quotes fld
224 \begin_inset Quotes frd
228 apparaîtront dans toute leur splendeur.
229 Dans le cas contraire vous verrez un paquet de texte en rouge !
254 \begin_inset Float table
263 <lyxtabular version="3" rows="2" columns="10">
265 <column alignment="right" valignment="top" width="0pt">
266 <column alignment="left" valignment="top" width="0pt">
267 <column alignment="right" valignment="top" width="0pt">
268 <column alignment="left" valignment="top" width="0pt">
269 <column alignment="right" valignment="top" width="0pt">
270 <column alignment="left" valignment="top" width="0pt">
271 <column alignment="right" valignment="top" width="0pt">
272 <column alignment="left" valignment="top" width="0pt">
273 <column alignment="right" valignment="top" width="0pt">
274 <column alignment="left" valignment="top" width="0pt">
276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
284 \begin_inset Formula $\hat{a}$
290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
302 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
310 \begin_inset Formula $\acute{a}$
316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
336 \begin_inset Formula $\bar{a}$
342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
362 \begin_inset Formula $\dot{a}$
368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
388 \begin_inset Formula $\breve{a}$
394 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
416 \begin_inset Formula $\check{a}$
422 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
434 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
442 \begin_inset Formula $\grave{a}$
448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
468 \begin_inset Formula $\vec{a}$
474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
494 \begin_inset Formula $\ddot{a}$
500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
520 \begin_inset Formula $\tilde{a}$
526 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
546 Accents en mode mathématique
553 \begin_inset Float table
562 <lyxtabular version="3" rows="11" columns="8">
564 <column alignment="right" valignment="top" width="0pt">
565 <column alignment="left" valignment="top" width="0pt">
566 <column alignment="right" valignment="top" width="0pt">
567 <column alignment="left" valignment="top" width="0pt">
568 <column alignment="right" valignment="top" width="0pt">
569 <column alignment="left" valignment="top" width="0pt">
570 <column alignment="right" valignment="top" width="0pt">
571 <column alignment="left" valignment="top" width="0pt">
573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
579 \begin_inset Formula $\alpha $
585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
603 \begin_inset Formula $\beta $
609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
627 \begin_inset Formula $\gamma $
633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
651 \begin_inset Formula $\delta $
657 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
677 \begin_inset Formula $\epsilon $
683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
701 \begin_inset Formula $\varepsilon $
707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
725 \begin_inset Formula $\zeta $
731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
749 \begin_inset Formula $\eta $
755 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
775 \begin_inset Formula $\theta $
781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
799 \begin_inset Formula $\vartheta $
805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
823 \begin_inset Formula $\iota $
829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
847 \begin_inset Formula $\kappa $
853 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
873 \begin_inset Formula $\lambda $
879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
897 \begin_inset Formula $\mu $
903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
915 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
921 \begin_inset Formula $\nu $
927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
945 \begin_inset Formula $\xi $
951 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
971 \begin_inset Formula $o$
977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
991 \begin_inset Formula $\pi $
997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1015 \begin_inset Formula $\varpi $
1021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1039 \begin_inset Formula $\rho $
1045 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1065 \begin_inset Formula $\varrho $
1071 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1089 \begin_inset Formula $\sigma $
1095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1113 \begin_inset Formula $\varsigma $
1119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1137 \begin_inset Formula $\tau $
1143 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1163 \begin_inset Formula $\upsilon $
1169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1187 \begin_inset Formula $\phi $
1193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1205 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1211 \begin_inset Formula $\varphi $
1217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1235 \begin_inset Formula $\chi $
1241 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1261 \begin_inset Formula $\psi $
1267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1285 \begin_inset Formula $\omega $
1291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1324 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1339 \begin_inset Formula $\Gamma $
1345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1363 \begin_inset Formula $\Delta $
1369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1387 \begin_inset Formula $\Theta $
1393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1411 \begin_inset Formula $\Lambda $
1417 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1437 \begin_inset Formula $\Xi $
1443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1461 \begin_inset Formula $\Pi $
1467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1485 \begin_inset Formula $\Sigma $
1491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1509 \begin_inset Formula $\Upsilon $
1515 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1535 \begin_inset Formula $\Phi $
1541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1559 \begin_inset Formula $\Psi $
1565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1583 \begin_inset Formula $\Omega $
1589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1608 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1630 \begin_inset Float table
1638 \begin_inset Tabular
1639 <lyxtabular version="3" rows="9" columns="8">
1641 <column alignment="right" valignment="top" width="0pt">
1642 <column alignment="left" valignment="top" width="0pt">
1643 <column alignment="right" valignment="top" width="0pt">
1644 <column alignment="left" valignment="top" width="0pt">
1645 <column alignment="right" valignment="top" width="0pt">
1646 <column alignment="left" valignment="top" width="0pt">
1647 <column alignment="right" valignment="top" width="0pt">
1648 <column alignment="left" valignment="top" width="0pt">
1650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1656 \begin_inset Formula $\pm $
1662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1680 \begin_inset Formula $\cap $
1686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1704 \begin_inset Formula $\diamond $
1710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1722 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1728 \begin_inset Formula $\oplus $
1734 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1754 \begin_inset Formula $\mp $
1760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1778 \begin_inset Formula $\cup $
1784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1796 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1802 \begin_inset Formula $\bigtriangleup $
1808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1820 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1826 \begin_inset Formula $\ominus $
1832 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1852 \begin_inset Formula $\times $
1858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1876 \begin_inset Formula $\uplus $
1882 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1900 \begin_inset Formula $\bigtriangledown $
1906 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1918 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1924 \begin_inset Formula $\otimes $
1930 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1944 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1950 \begin_inset Formula $\div $
1956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1974 \begin_inset Formula $\sqcap $
1980 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1998 \begin_inset Formula $\triangleleft $
2004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2022 \begin_inset Formula $\oslash $
2028 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2048 \begin_inset Formula $\ast $
2054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2072 \begin_inset Formula $\sqcup $
2078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2096 \begin_inset Formula $\triangleright $
2102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2120 \begin_inset Formula $\odot $
2126 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2146 \begin_inset Formula $\star $
2152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2170 \begin_inset Formula $\vee $
2176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2194 \begin_inset Formula $\lhd $
2200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2218 \begin_inset Formula $\bigcirc $
2224 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2244 \begin_inset Formula $\circ $
2250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2268 \begin_inset Formula $\wedge $
2274 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2292 \begin_inset Formula $\rhd $
2298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2316 \begin_inset Formula $\dagger $
2322 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2336 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2342 \begin_inset Formula $\bullet $
2348 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2360 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2366 \begin_inset Formula $\setminus $
2372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2384 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2390 \begin_inset Formula $\unlhd $
2396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2414 \begin_inset Formula $\ddagger $
2420 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2434 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2440 \begin_inset Formula $\cdot $
2446 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2464 \begin_inset Formula $\wr $
2470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2488 \begin_inset Formula $\unrhd $
2494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2512 \begin_inset Formula $\amalg $
2518 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2538 Symboles d'opérations binaires
2545 \begin_inset Float table
2553 \begin_inset Tabular
2554 <lyxtabular version="3" rows="8" columns="10">
2556 <column alignment="right" valignment="top" width="0pt">
2557 <column alignment="left" valignment="top" width="0pt">
2558 <column alignment="right" valignment="top" width="0pt">
2559 <column alignment="left" valignment="top" width="0pt">
2560 <column alignment="right" valignment="top" width="0pt">
2561 <column alignment="left" valignment="top" width="0pt">
2562 <column alignment="right" valignment="top" width="0pt">
2563 <column alignment="left" valignment="top" width="0pt">
2564 <column alignment="right" valignment="top" width="0pt">
2565 <column alignment="left" valignment="top" width="0pt">
2567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2573 \begin_inset Formula $\leq $
2579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2599 \begin_inset Formula $\geq $
2605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2617 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2623 \begin_inset Formula $\equiv $
2629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2647 \begin_inset Formula $\models $
2653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2671 \begin_inset Formula $\prec $
2677 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2697 \begin_inset Formula $\succ $
2703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2721 \begin_inset Formula $\sim $
2727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2745 \begin_inset Formula $\perp $
2751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2769 \begin_inset Formula $\preceq $
2775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2793 \begin_inset Formula $\succeq $
2799 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2819 \begin_inset Formula $\simeq $
2825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2843 \begin_inset Formula $\mid $
2849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2867 \begin_inset Formula $\ll $
2873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2885 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2891 \begin_inset Formula $\gg $
2897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2915 \begin_inset Formula $\asymp $
2921 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2941 \begin_inset Formula $\parallel $
2947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2965 \begin_inset Formula $\subset $
2971 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2989 \begin_inset Formula $\supset $
2995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3013 \begin_inset Formula $\approx $
3019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3037 \begin_inset Formula $\bowtie $
3043 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3063 \begin_inset Formula $\subseteq $
3069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3087 \begin_inset Formula $\supseteq $
3093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3111 \begin_inset Formula $\cong $
3117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3135 \begin_inset Formula $\Join $
3141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3159 \begin_inset Formula $\sqsubset $
3165 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3185 \begin_inset Formula $\sqsupset $
3191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3209 \begin_inset Formula $\neq $
3215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3233 \begin_inset Formula $\smile $
3239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3257 \begin_inset Formula $\sqsubseteq $
3263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3281 \begin_inset Formula $\sqsupseteq $
3287 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3307 \begin_inset Formula $\doteq $
3313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3331 \begin_inset Formula $\frown $
3337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3349 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3355 \begin_inset Formula $\in $
3361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3373 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3379 \begin_inset Formula $\ni $
3385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3403 \begin_inset Formula $\propto $
3409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3429 \begin_inset Formula $=$
3435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3451 \begin_inset Formula $\vdash $
3457 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3475 \begin_inset Formula $\dashv $
3481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3493 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3499 \begin_inset Formula $<$
3505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3521 \begin_inset Formula $>$
3527 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3545 Symboles de relations
3552 \begin_inset Float table
3560 \begin_inset Tabular
3561 <lyxtabular version="3" rows="10" columns="6">
3563 <column alignment="right" valignment="top" width="0pt">
3564 <column alignment="left" valignment="top" width="0pt">
3565 <column alignment="right" valignment="top" width="0pt">
3566 <column alignment="left" valignment="top" width="0pt">
3567 <column alignment="right" valignment="top" width="0pt">
3568 <column alignment="left" valignment="top" width="0pt">
3570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3576 \begin_inset Formula $\leftarrow $
3582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3594 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3600 \begin_inset Formula $\longleftarrow $
3606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3624 \begin_inset Formula $\uparrow $
3630 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3644 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3650 \begin_inset Formula $\Leftarrow $
3656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3674 \begin_inset Formula $\Longleftarrow $
3680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3698 \begin_inset Formula $\Uparrow $
3704 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3724 \begin_inset Formula $\rightarrow $
3730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3748 \begin_inset Formula $\longrightarrow $
3754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3772 \begin_inset Formula $\downarrow $
3778 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3792 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3798 \begin_inset Formula $\Rightarrow $
3804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3822 \begin_inset Formula $\Longrightarrow $
3828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3846 \begin_inset Formula $\Downarrow $
3852 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3866 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3872 \begin_inset Formula $\leftrightarrow $
3878 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3890 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3896 \begin_inset Formula $\longleftrightarrow $
3902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3920 \begin_inset Formula $\updownarrow $
3926 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3940 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3946 \begin_inset Formula $\Leftrightarrow $
3952 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3964 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3970 \begin_inset Formula $\Longleftrightarrow $
3976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3994 \begin_inset Formula $\Updownarrow $
4000 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4014 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4020 \begin_inset Formula $\mapsto $
4026 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4038 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4044 \begin_inset Formula $\longmapsto $
4050 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4068 \begin_inset Formula $\nearrow $
4074 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4088 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4094 \begin_inset Formula $\hookleftarrow $
4100 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4112 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4118 \begin_inset Formula $\hookrightarrow $
4124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4136 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4142 \begin_inset Formula $\searrow $
4148 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4162 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4168 \begin_inset Formula $\leftharpoonup $
4174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4192 \begin_inset Formula $\rightharpoonup $
4198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4216 \begin_inset Formula $\swarrow $
4222 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4236 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4242 \begin_inset Formula $\leftharpoondown $
4248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4266 \begin_inset Formula $\rightharpoondown $
4272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4290 \begin_inset Formula $\nwarrow $
4296 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4323 \begin_inset Float table
4331 \begin_inset Tabular
4332 <lyxtabular version="3" rows="7" columns="10">
4334 <column alignment="right" valignment="top" width="0pt">
4335 <column alignment="left" valignment="top" width="0pt">
4336 <column alignment="right" valignment="top" width="0pt">
4337 <column alignment="left" valignment="top" width="0pt">
4338 <column alignment="right" valignment="top" width="0pt">
4339 <column alignment="left" valignment="top" width="0pt">
4340 <column alignment="right" valignment="top" width="0pt">
4341 <column alignment="left" valignment="top" width="0pt">
4342 <column alignment="right" valignment="top" width="0pt">
4343 <column alignment="left" valignment="top" width="0pt">
4345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4351 \begin_inset Formula $\ldots $
4357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4375 \begin_inset Formula $\cdots $
4381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4399 \begin_inset Formula $\vdots $
4405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4423 \begin_inset Formula $\ddots $
4429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4447 \begin_inset Formula $\aleph $
4453 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4473 \begin_inset Formula $\prime $
4479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4497 \begin_inset Formula $\forall $
4503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4521 \begin_inset Formula $\infty $
4527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4545 \begin_inset Formula $\hbar $
4551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4569 \begin_inset Formula $\emptyset $
4575 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4595 \begin_inset Formula $\exists $
4601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4619 \begin_inset Formula $\nabla $
4625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4643 \begin_inset Formula $\surd $
4649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4667 \begin_inset Formula $\Box $
4673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4691 \begin_inset Formula $\triangle $
4697 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4717 \begin_inset Formula $\Diamond $
4723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4741 \begin_inset Formula $\imath $
4747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4765 \begin_inset Formula $\jmath $
4771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4789 \begin_inset Formula $\ell $
4795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4813 \begin_inset Formula $\neg $
4819 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4839 \begin_inset Formula $\top $
4845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4863 \begin_inset Formula $\flat $
4869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4887 \begin_inset Formula $\natural $
4893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4911 \begin_inset Formula $\sharp $
4917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4935 \begin_inset Formula $\wp $
4941 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4961 \begin_inset Formula $\bot $
4967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4985 \begin_inset Formula $\clubsuit $
4991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5009 \begin_inset Formula $\diamondsuit $
5015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5033 \begin_inset Formula $\heartsuit $
5039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5057 \begin_inset Formula $\spadesuit $
5063 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5083 \begin_inset Formula $\mho $
5089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5107 \begin_inset Formula $\Re $
5113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5131 \begin_inset Formula $\Im $
5137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5155 \begin_inset Formula $\angle $
5161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5179 \begin_inset Formula $\partial $
5185 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5212 \begin_inset Float table
5220 \begin_inset Tabular
5221 <lyxtabular version="3" rows="3" columns="10">
5223 <column alignment="right" valignment="top" width="0pt">
5224 <column alignment="left" valignment="top" width="0pt">
5225 <column alignment="right" valignment="top" width="0pt">
5226 <column alignment="left" valignment="top" width="0pt">
5227 <column alignment="right" valignment="top" width="0pt">
5228 <column alignment="left" valignment="top" width="0pt">
5229 <column alignment="right" valignment="top" width="0pt">
5230 <column alignment="left" valignment="top" width="0pt">
5231 <column alignment="right" valignment="top" width="0pt">
5232 <column alignment="left" valignment="top" width="0pt">
5234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5240 \begin_inset Formula $\sum $
5246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5264 \begin_inset Formula $\prod $
5270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5288 \begin_inset Formula $\coprod $
5294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5312 \begin_inset Formula $\int $
5318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5336 \begin_inset Formula $\oint $
5342 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5362 \begin_inset Formula $\bigcap $
5368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5386 \begin_inset Formula $\bigcup $
5392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5410 \begin_inset Formula $\bigsqcup $
5416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5434 \begin_inset Formula $\bigvee $
5440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5458 \begin_inset Formula $\bigwedge $
5464 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5484 \begin_inset Formula $\bigodot $
5490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5508 \begin_inset Formula $\bigotimes $
5514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5532 \begin_inset Formula $\bigoplus $
5538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5556 \begin_inset Formula $\biguplus $
5562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5581 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5596 Symboles de taille variable
5603 \begin_inset Float table
5611 \begin_inset Tabular
5612 <lyxtabular version="3" rows="4" columns="8">
5614 <column alignment="left" valignment="top" width="0pt">
5615 <column alignment="left" valignment="top" width="0pt">
5616 <column alignment="left" valignment="top" width="0pt">
5617 <column alignment="left" valignment="top" width="0pt">
5618 <column alignment="left" valignment="top" width="0pt">
5619 <column alignment="left" valignment="top" width="0pt">
5620 <column alignment="left" valignment="top" width="0pt">
5621 <column alignment="left" valignment="top" width="0pt">
5623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5629 \begin_inset Formula $\arccos $
5635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5641 \begin_inset Formula $\cos $
5647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5653 \begin_inset Formula $\csc $
5659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5665 \begin_inset Formula $\exp $
5671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5677 \begin_inset Formula $\ker $
5683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5689 \begin_inset Formula $\limsup $
5695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5701 \begin_inset Formula $\min $
5707 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5713 \begin_inset Formula $\sinh $
5721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5727 \begin_inset Formula $\arcsin $
5733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5739 \begin_inset Formula $\cosh $
5745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5751 \begin_inset Formula $\deg $
5757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5763 \begin_inset Formula $\gcd $
5769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5775 \begin_inset Formula $\lg $
5781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5787 \begin_inset Formula $\ln $
5793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5799 \begin_inset Formula $\Pr $
5805 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5811 \begin_inset Formula $\sup $
5819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5825 \begin_inset Formula $\arctan $
5831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5837 \begin_inset Formula $\cot $
5843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5849 \begin_inset Formula $\det $
5855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5861 \begin_inset Formula $\hom $
5867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5873 \begin_inset Formula $\lim $
5879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5885 \begin_inset Formula $\log $
5891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5897 \begin_inset Formula $\sec $
5903 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5909 \begin_inset Formula $\tan $
5917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5923 \begin_inset Formula $\arg $
5929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5935 \begin_inset Formula $\coth $
5941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5947 \begin_inset Formula $\dim $
5953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5959 \begin_inset Formula $\inf $
5965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5971 \begin_inset Formula $\liminf $
5977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5983 \begin_inset Formula $\max $
5989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5995 \begin_inset Formula $\sin $
6001 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6007 \begin_inset Formula $\tanh $
6021 Symboles de fonctions
6028 \begin_inset Float table
6036 \begin_inset Tabular
6037 <lyxtabular version="3" rows="5" columns="8">
6039 <column alignment="right" valignment="top" width="0pt">
6040 <column alignment="left" valignment="top" width="0pt">
6041 <column alignment="right" valignment="top" width="0pt">
6042 <column alignment="left" valignment="top" width="0pt">
6043 <column alignment="right" valignment="top" width="0pt">
6044 <column alignment="left" valignment="top" width="0pt">
6045 <column alignment="right" valignment="top" width="0pt">
6046 <column alignment="left" valignment="top" width="0pt">
6048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6054 \begin_inset Formula $\uparrow $
6060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6078 \begin_inset Formula $\Uparrow $
6084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6096 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6102 \begin_inset Formula $\downarrow $
6108 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6126 \begin_inset Formula $\Downarrow $
6132 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6152 \begin_inset Formula $\{ $
6158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6176 \begin_inset Formula $\} $
6182 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6200 \begin_inset Formula $\updownarrow $
6206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6224 \begin_inset Formula $\Updownarrow $
6230 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6250 \begin_inset Formula $\lfloor $
6256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6274 \begin_inset Formula $\rfloor $
6280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6298 \begin_inset Formula $\lceil $
6304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6322 \begin_inset Formula $\rceil $
6328 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6348 \begin_inset Formula $\langle $
6354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6372 \begin_inset Formula $\rangle $
6378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6396 \begin_inset Formula $/$
6402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6418 \begin_inset Formula $\backslash $
6424 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6438 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6444 \begin_inset Formula $|$
6450 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6466 \begin_inset Formula $\| $
6472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6505 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6527 \begin_inset Float table
6535 \begin_inset Tabular
6536 <lyxtabular version="3" rows="2" columns="8">
6538 <column alignment="right" valignment="top" width="0pt">
6539 <column alignment="left" valignment="top" width="0pt">
6540 <column alignment="right" valignment="top" width="0pt">
6541 <column alignment="left" valignment="top" width="0pt">
6542 <column alignment="right" valignment="top" width="0pt">
6543 <column alignment="left" valignment="top" width="0pt">
6544 <column alignment="right" valignment="top" width="0pt">
6545 <column alignment="left" valignment="top" width="0pt">
6547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6553 \begin_inset Formula $\rmoustache $
6559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6577 \begin_inset Formula $\lmoustache $
6583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6601 \begin_inset Formula $\rgroup $
6607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6625 \begin_inset Formula $\lgroup $
6631 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6651 \begin_inset Formula $\arrowvert $
6657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6675 \begin_inset Formula $\Arrowvert $
6681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6699 \begin_inset Formula $\bracevert $
6705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6724 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6746 \begin_inset Float table
6754 \begin_inset Tabular
6755 <lyxtabular version="3" rows="6" columns="4">
6757 <column alignment="right" valignment="top" width="0pt">
6758 <column alignment="left" valignment="top" width="0pt">
6759 <column alignment="right" valignment="top" width="0pt">
6760 <column alignment="left" valignment="top" width="0pt">
6762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6768 \begin_inset Formula $\widetilde{abc}$
6774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6792 \begin_inset Formula $\widehat{abc}$
6798 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6818 \begin_inset Formula $\overleftarrow{abc}$
6824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6836 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6842 \begin_inset Formula $\overrightarrow{abc}$
6848 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6862 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6868 \begin_inset Formula $\overline{abc}$
6874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6886 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6892 \begin_inset Formula $\underline{abc}$
6898 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6918 \begin_inset Formula $\overbrace{abc}$
6924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6942 \begin_inset Formula $\underbrace{abc}$
6948 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6968 \begin_inset Formula $\sqrt{abc}$
6974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6992 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
6998 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7014 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7020 \begin_inset Formula $f'$
7026 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7042 \begin_inset Formula $\frac{abc}{xyz}$
7048 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7068 Constructions mathématiques LaTeX
7075 \begin_inset Float table
7083 \begin_inset Tabular
7084 <lyxtabular version="3" rows="1" columns="10">
7086 <column alignment="right" valignment="top" width="0pt">
7087 <column alignment="left" valignment="top" width="0pt">
7088 <column alignment="right" valignment="top" width="0pt">
7089 <column alignment="left" valignment="top" width="0pt">
7090 <column alignment="right" valignment="top" width="0pt">
7091 <column alignment="left" valignment="top" width="0pt">
7092 <column alignment="right" valignment="top" width="0pt">
7093 <column alignment="left" valignment="top" width="0pt">
7094 <column alignment="right" valignment="top" width="0pt">
7095 <column alignment="left" valignment="top" width="0pt">
7097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7103 \begin_inset Formula $\digamma $
7109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7127 \begin_inset Formula $\varkappa $
7133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7151 \begin_inset Formula $\beth $
7157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7175 \begin_inset Formula $\daleth $
7181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7199 \begin_inset Formula $\gimel $
7205 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7232 \begin_inset Float table
7240 \begin_inset Tabular
7241 <lyxtabular version="3" rows="1" columns="8">
7243 <column alignment="right" valignment="top" width="0pt">
7244 <column alignment="left" valignment="top" width="0pt">
7245 <column alignment="right" valignment="top" width="0pt">
7246 <column alignment="left" valignment="top" width="0pt">
7247 <column alignment="right" valignment="top" width="0pt">
7248 <column alignment="left" valignment="top" width="0pt">
7249 <column alignment="right" valignment="top" width="0pt">
7250 <column alignment="left" valignment="top" width="0pt">
7252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7258 \begin_inset Formula $\ulcorner $
7264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7282 \begin_inset Formula $\urcorner $
7288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7306 \begin_inset Formula $\llcorner $
7312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7324 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7330 \begin_inset Formula $\lrcorner $
7336 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7363 \begin_inset Float table
7371 \begin_inset Tabular
7372 <lyxtabular version="3" rows="11" columns="6">
7374 <column alignment="right" valignment="top" width="0pt">
7375 <column alignment="left" valignment="top" width="0pt">
7376 <column alignment="right" valignment="top" width="0pt">
7377 <column alignment="left" valignment="top" width="0pt">
7378 <column alignment="right" valignment="top" width="0pt">
7379 <column alignment="left" valignment="top" width="0pt">
7381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7387 \begin_inset Formula $\dashrightarrow $
7393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7411 \begin_inset Formula $\dashleftarrow $
7417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7435 \begin_inset Formula $\leftleftarrows $
7441 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7461 \begin_inset Formula $\leftrightarrows $
7467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7485 \begin_inset Formula $\Lleftarrow $
7491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7509 \begin_inset Formula $\twoheadleftarrow $
7515 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7535 \begin_inset Formula $\leftarrowtail $
7541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7559 \begin_inset Formula $\looparrowleft $
7565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7583 \begin_inset Formula $\leftrightharpoons $
7589 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7609 \begin_inset Formula $\curvearrowleft $
7615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7633 \begin_inset Formula $\circlearrowleft $
7639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7657 \begin_inset Formula $\Lsh $
7663 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7683 \begin_inset Formula $\upuparrows $
7689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7707 \begin_inset Formula $\upharpoonleft $
7713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7731 \begin_inset Formula $\downharpoonleft $
7737 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7757 \begin_inset Formula $\multimap $
7763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7781 \begin_inset Formula $\leftrightsquigarrow $
7787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7805 \begin_inset Formula $\rightrightarrows $
7811 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7831 \begin_inset Formula $\rightleftarrows $
7837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7855 \begin_inset Formula $\rightrightarrows $
7861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7879 \begin_inset Formula $\rightleftarrows $
7885 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7905 \begin_inset Formula $\twoheadrightarrow $
7911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7929 \begin_inset Formula $\rightarrowtail $
7935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7953 \begin_inset Formula $\looparrowright $
7959 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7979 \begin_inset Formula $\rightleftharpoons $
7985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8003 \begin_inset Formula $\curvearrowright $
8009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8027 \begin_inset Formula $\circlearrowright $
8033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8053 \begin_inset Formula $\Rsh $
8059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8071 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8077 \begin_inset Formula $\downdownarrows $
8083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8101 \begin_inset Formula $\upharpoonright $
8107 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8127 \begin_inset Formula $\downharpoonright $
8133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8151 \begin_inset Formula $\rightsquigarrow $
8157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8176 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8198 \begin_inset Float table
8206 \begin_inset Tabular
8207 <lyxtabular version="3" rows="2" columns="6">
8209 <column alignment="right" valignment="top" width="0pt">
8210 <column alignment="left" valignment="top" width="0pt">
8211 <column alignment="right" valignment="top" width="0pt">
8212 <column alignment="left" valignment="top" width="0pt">
8213 <column alignment="right" valignment="top" width="0pt">
8214 <column alignment="left" valignment="top" width="0pt">
8216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8222 \begin_inset Formula $\nleftarrow $
8228 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8246 \begin_inset Formula $\nrightarrow $
8252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8270 \begin_inset Formula $\nLeftarrow $
8276 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8296 \begin_inset Formula $\nRightarrow $
8302 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8314 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8320 \begin_inset Formula $\nleftrightarrow $
8326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8338 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8344 \begin_inset Formula $\nLeftrightarrow $
8350 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8370 Négations de flèches AMS
8377 \begin_inset Float table
8385 \begin_inset Tabular
8386 <lyxtabular version="3" rows="22" columns="6">
8388 <column alignment="right" valignment="top" width="0pt">
8389 <column alignment="left" valignment="top" width="0pt">
8390 <column alignment="right" valignment="top" width="0pt">
8391 <column alignment="left" valignment="top" width="0pt">
8392 <column alignment="right" valignment="top" width="0pt">
8393 <column alignment="left" valignment="top" width="0pt">
8395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8401 \begin_inset Formula $\leqq $
8407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8425 \begin_inset Formula $\leqslant $
8431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8449 \begin_inset Formula $\eqslantless $
8455 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8475 \begin_inset Formula $\lesssim $
8481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8493 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8499 \begin_inset Formula $\lessapprox $
8505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8523 \begin_inset Formula $\approxeq $
8529 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8543 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8549 \begin_inset Formula $\lessdot $
8555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8573 \begin_inset Formula $\lll $
8579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8597 \begin_inset Formula $\lessgtr $
8603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8617 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8623 \begin_inset Formula $\lesseqgtr $
8629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8647 \begin_inset Formula $\lesseqqgtr $
8653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8671 \begin_inset Formula $\doteqdot $
8677 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8697 \begin_inset Formula $\risingdotseq $
8703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8721 \begin_inset Formula $\fallingdotseq $
8727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8745 \begin_inset Formula $\backsim $
8751 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8771 \begin_inset Formula $\backsimeq $
8777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8795 \begin_inset Formula $\subseteqq $
8801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8819 \begin_inset Formula $\Subset $
8825 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8845 \begin_inset Formula $\sqsubset $
8851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8869 \begin_inset Formula $\preccurlyeq $
8875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8893 \begin_inset Formula $\curlyeqprec $
8899 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8913 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8919 \begin_inset Formula $\precsim $
8925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8943 \begin_inset Formula $\precapprox $
8949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8967 \begin_inset Formula $\vartriangleleft $
8973 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8987 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8993 \begin_inset Formula $\trianglelefteq $
8999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9017 \begin_inset Formula $\vDash $
9023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9041 \begin_inset Formula $\Vvdash $
9047 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9067 \begin_inset Formula $\smallsmile $
9073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9091 \begin_inset Formula $\smallfrown $
9097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9115 \begin_inset Formula $\bumpeq $
9121 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9135 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9141 \begin_inset Formula $\Bumpeq $
9147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9159 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9165 \begin_inset Formula $\geqq $
9171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9189 \begin_inset Formula $\geqslant $
9195 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9215 \begin_inset Formula $\eqslantgtr $
9221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9239 \begin_inset Formula $\gtrsim $
9245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9263 \begin_inset Formula $\gtrapprox $
9269 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9289 \begin_inset Formula $\gtrdot $
9295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9313 \begin_inset Formula $\ggg $
9319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9337 \begin_inset Formula $\gtrless $
9343 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9363 \begin_inset Formula $\gtreqless $
9369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9387 \begin_inset Formula $\gtreqqless $
9393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9411 \begin_inset Formula $\eqcirc $
9417 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9437 \begin_inset Formula $\circeq $
9443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9461 \begin_inset Formula $\triangleq $
9467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9485 \begin_inset Formula $\thicksim $
9491 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9511 \begin_inset Formula $\thickapprox $
9517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9535 \begin_inset Formula $\supseteqq $
9541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9559 \begin_inset Formula $\Supset $
9565 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9585 \begin_inset Formula $\sqsupset $
9591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9609 \begin_inset Formula $\succcurlyeq $
9615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9633 \begin_inset Formula $\curlyeqsucc $
9639 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9659 \begin_inset Formula $\succsim $
9665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9683 \begin_inset Formula $\succapprox $
9689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9707 \begin_inset Formula $\vartriangleright $
9713 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9733 \begin_inset Formula $\trianglerighteq $
9739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9757 \begin_inset Formula $\Vdash $
9763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9781 \begin_inset Formula $\shortmid $
9787 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9807 \begin_inset Formula $\shortparallel $
9813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9831 \begin_inset Formula $\between $
9837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9855 \begin_inset Formula $\pitchfork $
9861 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9881 \begin_inset Formula $\varpropto $
9887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9905 \begin_inset Formula $\blacktriangleleft $
9911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9929 \begin_inset Formula $\therefore $
9935 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9955 \begin_inset Formula $\backepsilon $
9961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9979 \begin_inset Formula $\blacktriangleright $
9985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10003 \begin_inset Formula $\because $
10009 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10029 Relations binaires AMS
10036 \begin_inset Float table
10044 \begin_inset Tabular
10045 <lyxtabular version="3" rows="17" columns="6">
10047 <column alignment="right" valignment="top" width="0pt">
10048 <column alignment="left" valignment="top" width="0pt">
10049 <column alignment="right" valignment="top" width="0pt">
10050 <column alignment="left" valignment="top" width="0pt">
10051 <column alignment="right" valignment="top" width="0pt">
10052 <column alignment="left" valignment="top" width="0pt">
10054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10060 \begin_inset Formula $\nless $
10066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10084 \begin_inset Formula $\nleq $
10090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10108 \begin_inset Formula $\nleqslant $
10114 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10134 \begin_inset Formula $\nleqq $
10140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10158 \begin_inset Formula $\lneq $
10164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10182 \begin_inset Formula $\lneqq $
10188 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10208 \begin_inset Formula $\lvertneqq $
10214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10232 \begin_inset Formula $\lnsim $
10238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10256 \begin_inset Formula $\lnapprox $
10262 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10282 \begin_inset Formula $\nprec $
10288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10306 \begin_inset Formula $\npreceq $
10312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10324 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10330 \begin_inset Formula $\precnsim $
10336 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10350 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10356 \begin_inset Formula $\precnapprox $
10362 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10374 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10380 \begin_inset Formula $\nsim $
10386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10398 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10404 \begin_inset Formula $\nshortmid $
10410 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10424 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10430 \begin_inset Formula $\nmid $
10436 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10454 \begin_inset Formula $\nvdash $
10460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10478 \begin_inset Formula $\nvDash $
10484 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10504 \begin_inset Formula $\ntriangleleft $
10510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10522 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10528 \begin_inset Formula $\ntrianglelefteq $
10534 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10546 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10552 \begin_inset Formula $\nsubseteq $
10558 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10572 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10578 \begin_inset Formula $\subsetneq $
10584 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10596 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10602 \begin_inset Formula $\varsubsetneq $
10608 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10620 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10626 \begin_inset Formula $\subsetneqq $
10632 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10646 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10652 \begin_inset Formula $\varsubsetneqq $
10658 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10676 \begin_inset Formula $\ngtr $
10682 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10694 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10700 \begin_inset Formula $\ngeq $
10706 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10720 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10726 \begin_inset Formula $\ngeqslant $
10732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10744 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10750 \begin_inset Formula $\ngeqq $
10756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10768 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10774 \begin_inset Formula $\gneq $
10780 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10794 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10800 \begin_inset Formula $\gneqq $
10806 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10824 \begin_inset Formula $\gvertneqq $
10830 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10848 \begin_inset Formula $\gnsim $
10854 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10868 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10874 \begin_inset Formula $\gnapprox $
10880 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10892 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10898 \begin_inset Formula $\nsucc $
10904 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10916 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10922 \begin_inset Formula $\nsucceq $
10928 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10948 \begin_inset Formula $\succnsim $
10954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10966 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10972 \begin_inset Formula $\succnapprox $
10978 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10990 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10996 \begin_inset Formula $\ncong $
11002 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11022 \begin_inset Formula $\nshortparallel $
11028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11040 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11046 \begin_inset Formula $\nparallel $
11052 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11064 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11070 \begin_inset Formula $\nvDash $
11076 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11096 \begin_inset Formula $\nVDash $
11102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11120 \begin_inset Formula $\ntriangleright $
11126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11138 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11144 \begin_inset Formula $\ntrianglerighteq $
11150 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11170 \begin_inset Formula $\nsupseteq $
11176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11194 \begin_inset Formula $\nsupseteqq $
11200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11218 \begin_inset Formula $\supsetneq $
11224 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11244 \begin_inset Formula $\varsupsetneq $
11250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11268 \begin_inset Formula $\supsetneqq $
11274 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11292 \begin_inset Formula $\varsupsetneqq $
11298 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11318 Négations de relations binaires AMS
11325 \begin_inset Float table
11333 \begin_inset Tabular
11334 <lyxtabular version="3" rows="8" columns="6">
11336 <column alignment="right" valignment="top" width="0pt">
11337 <column alignment="left" valignment="top" width="0pt">
11338 <column alignment="right" valignment="top" width="0pt">
11339 <column alignment="left" valignment="top" width="0pt">
11340 <column alignment="right" valignment="top" width="0pt">
11341 <column alignment="left" valignment="top" width="0pt">
11343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11349 \begin_inset Formula $\dotplus $
11355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11373 \begin_inset Formula $\smallsetminus $
11379 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11397 \begin_inset Formula $\Cap $
11403 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11423 \begin_inset Formula $\Cup $
11429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11447 \begin_inset Formula $\barwedge $
11453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11471 \begin_inset Formula $\veebar $
11477 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11497 \begin_inset Formula $\doublebarwedge $
11503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11521 \begin_inset Formula $\boxminus $
11527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11545 \begin_inset Formula $\boxtimes $
11551 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11571 \begin_inset Formula $\boxdot $
11577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11595 \begin_inset Formula $\boxplus $
11601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11619 \begin_inset Formula $\divideontimes $
11625 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11645 \begin_inset Formula $\ltimes $
11651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11669 \begin_inset Formula $\rtimes $
11675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11693 \begin_inset Formula $\leftthreetimes $
11699 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11719 \begin_inset Formula $\rightthreetimes $
11725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11743 \begin_inset Formula $\curlywedge $
11749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11767 \begin_inset Formula $\curlyvee $
11773 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11793 \begin_inset Formula $\circleddash $
11799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11817 \begin_inset Formula $\circledast $
11823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11841 \begin_inset Formula $\circledcirc $
11847 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11867 \begin_inset Formula $\centerdot $
11873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11885 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11891 \begin_inset Formula $\intercal $
11897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11916 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11931 Opérations binaires AMS
11938 \begin_inset Float table
11946 \begin_inset Tabular
11947 <lyxtabular version="3" rows="9" columns="6">
11949 <column alignment="right" valignment="top" width="0pt">
11950 <column alignment="left" valignment="top" width="0pt">
11951 <column alignment="right" valignment="top" width="0pt">
11952 <column alignment="left" valignment="top" width="0pt">
11953 <column alignment="right" valignment="top" width="0pt">
11954 <column alignment="left" valignment="top" width="0pt">
11956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11962 \begin_inset Formula $\hbar $
11968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11980 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11986 \begin_inset Formula $\hslash $
11992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12010 \begin_inset Formula $\vartriangle $
12016 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12030 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12036 \begin_inset Formula $\triangledown $
12042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12060 \begin_inset Formula $\square $
12066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12084 \begin_inset Formula $\lozenge $
12090 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12110 \begin_inset Formula $\circledS $
12116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12134 \begin_inset Formula $\angle $
12140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12158 \begin_inset Formula $\measuredangle $
12164 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12178 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12184 \begin_inset Formula $\nexists $
12190 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12208 \begin_inset Formula $\mho $
12214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12232 \begin_inset Formula $\Finv $
12238 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12258 \begin_inset Formula $\Game $
12264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12282 \begin_inset Formula $\Bbbk $
12288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12306 \begin_inset Formula $\backprime $
12312 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12332 \begin_inset Formula $\varnothing $
12338 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12350 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12356 \begin_inset Formula $\blacktriangle $
12362 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12374 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12380 \begin_inset Formula $\blacktriangledown $
12386 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12406 \begin_inset Formula $\blacksquare $
12412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12424 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12430 \begin_inset Formula $\blacklozenge $
12436 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12454 \begin_inset Formula $\bigstar $
12460 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12480 \begin_inset Formula $\sphericalangle $
12486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12504 \begin_inset Formula $\complement $
12510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12522 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12528 \begin_inset Formula $\eth $
12534 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12548 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12554 \begin_inset Formula $\diagup $
12560 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12572 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12578 \begin_inset Formula $\diagdown $
12584 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12596 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12603 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">