From: Uwe Stöhr Date: Sun, 24 Feb 2008 22:52:30 +0000 (+0000) Subject: delete French mathed.lyx as we did already for the other languages where we have... X-Git-Tag: 1.6.10~6113 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=9549685b3ac3241213a6a94ca2123d922bd3a734;p=features.git delete French mathed.lyx as we did already for the other languages where we have a translation of the new math manual. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@23203 a592a061-630c-0410-9148-cb99ea01b6c8 --- diff --git a/development/scons/scons_manifest.py b/development/scons/scons_manifest.py index 0b178cb71e..e98ed90193 100644 --- a/development/scons/scons_manifest.py +++ b/development/scons/scons_manifest.py @@ -2384,7 +2384,6 @@ lib_examples_fr_files = Split(''' Minipage.lyx exemple_brut.lyx exemple_lyxifie.lyx - mathed.lyx multicol.lyx simplecv.lyx splash.lyx diff --git a/lib/Makefile.am b/lib/Makefile.am index 94e11a1a86..8f75868592 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -122,7 +122,6 @@ dist_frexamples_DATA = \ examples/fr/Minipage.lyx \ examples/fr/exemple_brut.lyx \ examples/fr/exemple_lyxifie.lyx \ - examples/fr/mathed.lyx \ examples/fr/multicol.lyx \ examples/fr/splash.lyx diff --git a/lib/examples/fr/mathed.lyx b/lib/examples/fr/mathed.lyx deleted file mode 100644 index fa29443daf..0000000000 --- a/lib/examples/fr/mathed.lyx +++ /dev/null @@ -1,14608 +0,0 @@ -#LyX 1.5.0svn created this file. For more info see http://www.lyx.org/ -\lyxformat 276 -\begin_document -\begin_header -\textclass article -\begin_preamble -\usepackage{a4wide} -\end_preamble -\language french -\inputencoding latin1 -\font_roman default -\font_sans default -\font_typewriter default -\font_default_family default -\font_sc false -\font_osf false -\font_sf_scale 100 -\font_tt_scale 100 -\graphics default -\float_placement H -\paperfontsize default -\spacing single -\papersize default -\use_geometry false -\use_amsmath 1 -\use_esint 0 -\cite_engine basic -\use_bibtopic false -\paperorientation portrait -\secnumdepth 3 -\tocdepth 3 -\paragraph_separation indent -\defskip medskip -\quotes_language french -\papercolumns 1 -\papersides 1 -\paperpagestyle default -\tracking_changes false -\output_changes false -\end_header - -\begin_body - -\begin_layout Section - -Conversion de et vers l'éditeur mathématique -\begin_inset Note Note -status collapsed - -\begin_layout Standard - -Informations de révision : -\end_layout - -\begin_layout Standard - -Traduction : Mise à jour Date : 07/07/2003 -\end_layout - -\begin_layout Standard - -Original : Révision: 1.8, Date : 17/01/2003 -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - -Vous pouvez taper des maths dans le corps du document puis les convertir - en mode mathématique en les sélectionnant et en tapant -\family default - -\family sans -M-c\InsetSpace ~ -m -\family default -. - Le texte peut être séparé par des délimiteurs ou non. - Ainsi, en sélectionnant l'une des formules ci-dessous : -\end_layout - -\begin_layout Standard -\align center - -\begin_inset Tabular - - - - - -\begin_inset Text - -\begin_layout Standard - - -\backslash -begin{math} -\backslash -frac{abc}{xyz} -\backslash -end{math} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\backslash -( -\backslash -frac{abc}{xyz} -\backslash -) -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - -$ -\backslash -frac{abc}{xyz} $ -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\backslash -begin{displaymath} -\backslash -frac{abc}{xyz} -\backslash -end{displaymath} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\backslash -[ -\backslash -frac{abc}{xyz} -\backslash -] -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout Standard - -vous obtiendrez : -\end_layout - -\begin_layout Standard - - -\begin_inset Formula \begin{equation} -\frac{abc}{xyz}\end{equation} - -\end_inset - - -\end_layout - -\begin_layout Standard - -Pour l'instant, il n'y a aucun moyen officiel de reconvertir le contenu - d'un insert mathématique en texte standard. - Cependant vous pouvez y arriver par des voies détournées. - Sélectionnez le contenu de l'insert mathématique (pas l'insert lui-même, - seulement son contenu), mais ne le copiez -\emph default - -\emph on -pas -\emph default - dans le tampon LyX. - Il est maintenant en mémoire dans le tampon du système X et peut être recollé - dans le document avec le bouton milieu de la souris. -\end_layout - -\begin_layout Section - -Afficher les symboles LaTeX -\end_layout - -\begin_layout Standard - -Autrefois, LyX fournissait un équivalent visuel pour une petite partie des - symboles mathématiques disponibles en LaTeX. - La situation a changé à partir de la version 1.2, il offre désormais l'affichage - de la plupart des symboles définis en LaTeX basique et -\emph default - -\emph on -tous -\emph default - les symboles supplémentaires définis par l'AMS. - Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux - de symboles qui se trouvent dans les livres de Lamport et de Goossen. -\end_layout - -\begin_layout Section - -Quelques tableaux de symboles mathématiques -\end_layout - -\begin_layout Standard - -Les tableaux ci-dessous extraits du livre -\begin_inset Quotes fld -\end_inset - -The LaTeX companion -\begin_inset Quotes frd -\end_inset - - de Goossen et al. - vont apparaître à l'écran dans toute leur splendeur. -\end_layout - -\begin_layout Standard - - -\begin_inset ERT -status collapsed - -\begin_layout Standard - -\backslash -setcounter{table}{1} -\end_layout - -\begin_layout Standard - -\end_layout - -\begin_layout Standard - -\backslash -renewcommand{ -\backslash -thetable}{8. -\backslash -arabic{table}} -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\hat{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hat{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\acute{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -acute{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\bar{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bar{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\dot{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dot{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\breve{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -breve{a} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\check{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -check{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\grave{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -grave{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\vec{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vec{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\ddot{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ddot{a} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\begin_inset Formula $\tilde{a}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -tilde{a} -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Accents en mode mathématique -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\alpha$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -alpha -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\beta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -beta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gamma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gamma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\delta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -delta -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\epsilon$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -epsilon -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varepsilon$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varepsilon -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\zeta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -zeta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\eta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -eta -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\theta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -theta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vartheta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vartheta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\iota$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -iota -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\kappa$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -kappa -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lambda$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lambda -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mu$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mu -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nu$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nu -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\xi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -xi -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $o$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -o -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\pi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -pi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varpi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varpi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rho$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rho -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varrho$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varrho -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sigma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sigma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varsigma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varsigma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\tau$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -tau -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\upsilon$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -upsilon -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\phi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -phi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varphi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varphi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\chi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -chi -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\psi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -psi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\omega$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -omega -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Gamma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Gamma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Delta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Delta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Theta$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Theta -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Lambda$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Lambda -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Xi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Xi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Pi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Pi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Sigma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Sigma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Upsilon$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Upsilon -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Phi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Phi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Psi$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Psi -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Omega$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Omega -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Lettres grecques -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\pm$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -pm -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cap$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -cap -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\diamond$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -diamond -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\oplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -oplus -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mp -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -cup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigtriangleup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigtriangleup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ominus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ominus -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\times$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -times -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\uplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -uplus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigtriangledown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigtriangledown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\otimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -otimes -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\div$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -div -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqcap$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqcap -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\triangleleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -triangleleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\oslash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -oslash -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ast$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ast -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqcup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqcup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\triangleright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -triangleright -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\odot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -odot -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\star$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -star -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vee$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vee -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lhd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lhd -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigcirc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigcirc -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circ$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circ -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\wedge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -wedge -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rhd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rhd -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dagger$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dagger -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bullet$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bullet -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\setminus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -setminus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\unlhd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -unlhd -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ddagger$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ddagger -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -cdot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\wr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -wr -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\unrhd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -unrhd -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\amalg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -amalg -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles d'opérations binaires -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leq -\backslash -le -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\geq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -geq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\equiv$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -equiv -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\models$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -models -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\prec$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -prec -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succ$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succ -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\perp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -perp -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\preceq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -preceq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succeq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\simeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -simeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mid$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mid -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ll$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ll -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gg -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\asymp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -asymp -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\parallel$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -parallel -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\subset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -subset -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\supset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -supset -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\approx$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -approx -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bowtie$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bowtie -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\subseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -subseteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\supseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -supseteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cong$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -cong -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Join$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Join -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsubset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsubset -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsupset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsupset -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\neq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -neq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\smile$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -smile -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsubseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsubseteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsupseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsupseteq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\doteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -doteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\frown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -frown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\in$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -in -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ni$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ni -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\propto$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -propto -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $=$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -= -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vdash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vdash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dashv$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dashv -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $<$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -< -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $>$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -> -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles de relations -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\longleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -longleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\uparrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -uparrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Leftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Leftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Longleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Longleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Uparrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\longrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -longrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\downarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -downarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Rightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Rightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Longrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Longrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Downarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Downarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\longleftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -longleftrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\updownarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Leftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Leftrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Longleftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Longleftrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Updownarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Updownarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mapsto$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mapsto -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\longmapsto$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -longmapsto -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nearrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nearrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hookleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hookleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hookrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hookrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\searrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -searrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftharpoonup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftharpoonup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightharpoonup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightharpoonup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\swarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -swarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftharpoondown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftharpoondown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightharpoondown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightharpoondown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nwarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nwarrow -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles flèches -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ldots$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ldots -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cdots$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -cdots -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vdots$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vdots -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ddots$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ddots -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\aleph$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -aleph -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\prime$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -prime -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\forall$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -forall -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\infty$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -infty -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hbar$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hbar -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\emptyset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -emptyset -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\exists$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -exists -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nabla$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nabla -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\surd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -surd -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Box$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Box -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\triangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -triangle -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Diamond$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Diamond -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\imath$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -imath -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\jmath$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -jmath -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ell$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ell -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\neg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -neg -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\top$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -top -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\flat$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -flat -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\natural$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -natural -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sharp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sharp -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\wp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -wp -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\clubsuit$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -clubsuit -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\diamondsuit$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -diamondsuit -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\heartsuit$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -heartsuit -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\spadesuit$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -spadesuit -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mho$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mho -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Re$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Re -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Im$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Im -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\angle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -angle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\partial$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -partial -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles divers -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sum$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sum -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\prod$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -prod -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\coprod$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -coprod -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\int$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -int -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\oint$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -oint -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigcap$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigcap -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigcup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigcup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigsqcup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigsqcup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigvee$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigvee -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigwedge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigwedge -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigodot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigodot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigotimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigotimes -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigoplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigoplus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\biguplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -biguplus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles de taille variable -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\arccos$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cos$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\csc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\exp$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ker$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\limsup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\min$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sinh$ -\end_inset - - -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\arcsin$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cosh$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\deg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gcd$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ln$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Pr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sup$ -\end_inset - - -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\arctan$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\cot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\det$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hom$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\log$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sec$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\tan$ -\end_inset - - -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\arg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\coth$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\inf$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\liminf$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\max$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sin$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\tanh$ -\end_inset - - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Symboles de fonctions -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\uparrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -uparrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Uparrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\downarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -downarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Downarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Downarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\{$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -{ -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\updownarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Updownarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Updownarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lfloor$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lfloor -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rfloor$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rfloor -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lceil$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lceil -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rceil$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rceil -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\langle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -langle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rangle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $/$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -/ -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\backslash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -backslash -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $|$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -| -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\|$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -| -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Délimiteurs -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\widetilde{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -widetilde{abc} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\widehat{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -widehat{abc} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\overleftarrow{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -overleftarrow{abc} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\overrightarrow{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -overrightarrow{abc} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\overline{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -overline{abc} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\underline{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -underline{abc} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\overbrace{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -overbrace{abc} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\underbrace{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -underbrace{abc} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqrt{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqrt{abc} -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqrt[n]{abc} -\backslash -root3{abc} -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $f'$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter -f' -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\frac{abc}{xyz}$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -frac{abc}{xyz} -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Structures mathématiques LaTeX -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\digamma$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -digamma -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varkappa$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varkappa -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\beth$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -beth -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\daleth$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -daleth -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gimel$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gimel -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Grec et hébreu AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ulcorner$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ulcorner -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\urcorner$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -urcorner -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\llcorner$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -llcorner -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lrcorner$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lrcorner -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Délimiteurs AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dashrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dashrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dashleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dashleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftleftarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftleftarrows -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftrightarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftrightarrows -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Lleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Lleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\twoheadleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -twoheadleftarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftarrowtail$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftarrowtail -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\looparrowleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -looparrowleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftrightharpoons$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftrightharpoons -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curvearrowleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curvearrowleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circlearrowleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circlearrowleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Lsh$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Lsh -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\upuparrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -upuparrows -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\upharpoonleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -upharpoonleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\downharpoonleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -downharpoonleft -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\multimap$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -multimap -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftrightsquigarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftrightsquigarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightrightarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightrightarrows -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightleftarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightleftarrows -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightrightarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightrightarrows -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightleftarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightleftarrows -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\twoheadrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -twoheadrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightarrowtail$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightarrowtail -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\looparrowright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -looparrowright -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightleftharpoons$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightleftharpoons -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curvearrowright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curvearrowright -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circlearrowright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circlearrowright -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Rsh$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Rsh -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\downdownarrows$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -downdownarrows -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\upharpoonright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -upharpoonright -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\downharpoonright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -downharpoonright -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightsquigarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightsquigarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Flèches AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nleftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nleftarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nLeftarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nLeftarrow -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nRightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nRightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nleftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nleftrightarrow -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nLeftrightarrow$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nLeftrightarrow -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Négations de flèches AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leqslant$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leqslant -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\eqslantless$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -eqslantless -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lesssim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lesssim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lessapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lessapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\approxeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -approxeq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lessdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lessdot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lll$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lll -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lessgtr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lessgtr -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lesseqgtr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lesseqgtr -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lesseqqgtr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lesseqqgtr -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\doteqdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -doteqdot -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\risingdotseq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -risingdotseq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\fallingdotseq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -fallingdotseq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\backsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -backsim -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\backsimeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -backsimeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\subseteqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -subseteqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Subset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Subset -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsubset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsubset -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\preccurlyeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -preccurlyeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curlyeqprec$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curlyeqprec -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\precsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -precsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\precapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -precapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vartriangleleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vartriangleleft -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\trianglelefteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -trianglelefteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vDash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vDash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Vvdash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Vvdash -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\smallsmile$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -smallsmile -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\smallfrown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -smallfrown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bumpeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bumpeq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Bumpeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Bumpeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\geqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -geqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\geqslant$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -geqslant -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\eqslantgtr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -eqslantgtr -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtrsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtrsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtrapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtrapprox -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtrdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtrdot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ggg$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ggg -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtrless$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtrless -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtreqless$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtreqless -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gtreqqless$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gtreqqless -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\eqcirc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -eqcirc -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\triangleq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -triangleq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\thicksim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -thicksim -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\thickapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -thickapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\supseteqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -supseteqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Supset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Supset -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sqsupset$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sqsupset -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succcurlyeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succcurlyeq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curlyeqsucc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curlyeqsucc -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vartriangleright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vartriangleright -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\trianglerighteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -trianglerighteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Vdash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Vdash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\shortmid$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -shortmid -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\shortparallel$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -shortparallel -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\between$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -between -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\pitchfork$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -pitchfork -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varpropto$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varpropto -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacktriangleleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacktriangleleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\therefore$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -therefore -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\backepsilon$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -backepsilon -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacktriangleright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacktriangleright -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\because$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -because -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Relations binaires AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nless$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nless -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nleq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nleq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nleqslant$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nleqslant -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nleqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nleqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lneq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lneqq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lvertneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lvertneqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lnsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lnsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lnapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lnapprox -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nprec$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nprec -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\npreceq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -npreceq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\precnsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -precnsim -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\precnapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -precnapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nshortmid$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nshortmid -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nmid$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nmid -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nvdash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nvdash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nvDash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nvDash -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ntriangleleft$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ntriangleleft -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ntrianglelefteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ntrianglelefteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsubseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsubseteq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\subsetneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -subsetneq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varsubsetneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varsubsetneq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\subsetneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -subsetneqq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varsubsetneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varsubsetneqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ngtr$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ngtr -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ngeq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ngeq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ngeqslant$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ngeqslant -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ngeqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ngeqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gneq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gneqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gvertneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gvertneqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gnsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gnsim -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\gnapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -gnapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsucc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsucc -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsucceq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsucceq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succnsim$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succnsim -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\succnapprox$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -succnapprox -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ncong$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ncong -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nshortparallel$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nshortparallel -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nparallel$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nparallel -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nvDash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nvDash -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nVDash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nVDash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ntriangleright$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ntriangleright -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ntrianglerighteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ntrianglerighteq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsupseteq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsupseteq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nsupseteqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nsupseteqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\supsetneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -supsetneq -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varsupsetneq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varsupsetneq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\supsetneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -supsetneqq -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varsupsetneqq$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varsupsetneqq -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Négations de relations binaires AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\dotplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -dotplus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\smallsetminus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -smallsetminus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Cap$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Cap -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Cup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Cup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\barwedge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -barwedge -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\veebar$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -veebar -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\doublebarwedge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -doublebarwedge -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\boxminus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -boxminus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\boxtimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -boxtimes -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\boxdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -boxdot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\boxplus$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -boxplus -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\divideontimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -divideontimes -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\ltimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -ltimes -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rtimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rtimes -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\leftthreetimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -leftthreetimes -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\rightthreetimes$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -rightthreetimes -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curlywedge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curlywedge -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\curlyvee$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -curlyvee -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circleddash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circleddash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circledast$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circledast -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circledcirc$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circledcirc -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\centerdot$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -centerdot -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\intercal$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -intercal -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Opérations binaires AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard - - -\begin_inset Float table -placement H -wide false -sideways false -status open - -\begin_layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hbar$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hbar -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\hslash$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -hslash -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\vartriangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -vartriangle -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\triangledown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -triangledown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\square$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -square -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\lozenge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -lozenge -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\circledS$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -circledS -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\angle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -angle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\measuredangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -measuredangle -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\nexists$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -nexists -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\mho$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -mho -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Finv$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Finv -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Game$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Game -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\Bbbk$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -Bbbk -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\backprime$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -backprime -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\varnothing$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -varnothing -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacktriangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacktriangle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacktriangledown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacktriangledown -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacksquare$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacksquare -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\blacklozenge$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -blacklozenge -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\bigstar$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -bigstar -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\sphericalangle$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -sphericalangle -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\complement$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -complement -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\eth$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -eth -\end_layout - -\end_inset - - - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\diagup$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -diagup -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\begin_inset Formula $\diagdown$ -\end_inset - - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - - -\family typewriter - -\backslash -diagdown -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - -\begin_inset Text - -\begin_layout Standard - -\end_layout - -\end_inset - - - - -\end_inset - - -\end_layout - -\begin_layout -\begin_inset Caption - -\begin_layout - -Divers AMS -\end_layout - -\end_inset - - -\end_layout - -\end_inset - - -\end_layout - -\end_body -\end_document