X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Ffr_mathed.lyx;h=1eb8090c6fd0167f8c6cc337a94dd52de13f0a5c;hb=e9d9f2e27bf7d8174022a8c9fffc94c981ab7c0f;hp=bc5b63e8299cebcf4333628aa26c51219d419483;hpb=970386d4a80f1949bcaa1817eaa9c9617a469521;p=lyx.git diff --git a/lib/examples/fr_mathed.lyx b/lib/examples/fr_mathed.lyx index bc5b63e829..1eb8090c6f 100644 --- a/lib/examples/fr_mathed.lyx +++ b/lib/examples/fr_mathed.lyx @@ -1,61 +1,79 @@ -#LyX 1.3 created this file. For more info see http://www.lyx.org/ -\lyxformat 221 +#LyX 1.5.0svn created this file. For more info see http://www.lyx.org/ +\lyxformat 245 +\begin_document +\begin_header \textclass article -\language frenchb +\begin_preamble +\usepackage{a4wide} +\end_preamble +\language french \inputencoding latin1 \fontscheme default \graphics default \float_placement H \paperfontsize default \spacing single -\papersize Default -\paperpackage widemarginsa4 -\use_geometry 0 +\papersize default +\use_geometry false \use_amsmath 1 -\use_natbib 0 -\use_numerical_citations 0 +\cite_engine basic +\use_bibtopic false \paperorientation portrait \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \defskip medskip \quotes_language french -\quotes_times 2 \papercolumns 1 \papersides 1 \paperpagestyle default +\tracking_changes false +\output_changes true +\end_header -\layout Section +\begin_body -Conversion de et vers Mathed -\begin_inset Note -collapsed true +\begin_layout Section -\layout Standard +Conversion de et vers l'éditeur mathématique +\begin_inset Note Note +status collapsed + +\begin_layout Standard Informations de révision : -\layout Standard +\end_layout + +\begin_layout Standard + +Traduction : Mise à jour Date : 07/07/2003 +\end_layout + +\begin_layout Standard -Traduction : Mise à jour Date : 19/06/2002 -\layout Standard +Original : Révision: 1.8, Date : 17/01/2003 +\end_layout -Original : Révision: 1.6, Date : 19/06/2002 -\end_inset +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard Vous pouvez taper des maths dans le corps du document puis les convertir - en Mathed en les sélectionnant et en tapant -\family sans -M-c\SpecialChar ~ + en mode mathématique en les sélectionnant et en tapant +\family sans +M-c\InsetSpace ~ m -\family default +\family default . Le texte peut être séparé par des délimiteurs ou non. - Ainsi, en sélectionnant les formules ci-dessous : -\layout Standard -\align center + Ainsi, en sélectionnant l'une des formules ci-dessous : +\end_layout + +\begin_layout Standard +\align center \begin_inset Tabular @@ -65,198 +83,205 @@ m \begin_inset Text -\layout Standard +\begin_layout Standard -\backslash +\backslash begin{math} -\backslash +\backslash frac{abc}{xyz} -\backslash +\backslash end{math} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\backslash +\backslash ( -\backslash +\backslash frac{abc}{xyz} -\backslash +\backslash ) -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard $ -\backslash +\backslash frac{abc}{xyz} $ -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\backslash +\backslash begin{displaymath} -\backslash +\backslash frac{abc}{xyz} -\backslash +\backslash end{displaymath} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\backslash +\backslash [ -\backslash +\backslash frac{abc}{xyz} -\backslash +\backslash ] -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Standard +\begin_layout Standard vous obtiendrez : -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Formula \begin{equation} \frac{abc}{xyz}\end{equation} -\end_inset +\end_inset + +\end_layout -\layout Standard +\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 on +\emph on pas -\emph default +\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. -\layout Section +\end_layout + +\begin_layout Section Afficher les symboles LaTeX -\layout Standard +\end_layout + +\begin_layout Standard -Jusqu'à présent, LyX fournissait un équivalent visuel pour une petite partie - des symboles mathématiques disponibles en LaTeX. - À partir de la version 1.2, il offre l'affichage de la plupart des symboles - définis en LaTeX basique et -\emph on +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 on tous -\emph default +\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. -\layout Standard - -Cependant pour afficher ces symboles supplémentaires, il faut que les polices - nécessaires soient visibles par LyX. - Après avoir installé LyX, tapez -\layout LyX-Code - -xset +fp REP_LYX/xfonts -\layout Standard - -à la console (où REP_LYX est le répertoire contenant les fichiers LyX), - redémarrez LyX, chargez ce document et savourez ! -\layout Standard - -Pour rendre ces polices visibles en permanence, vous devez éditer l'un des - fichiers suivants (selon votre configuration) : -\family typewriter -/etc/X11/XF86Config-4 -\family default -, -\family typewriter -/etc/X11/XF86Config -\family default - ou -\family typewriter -/etc/X11/fs/config -\family default -. -\layout Section +\end_layout + +\begin_layout Section Quelques tableaux de symboles mathématiques -\layout Standard +\end_layout -Si vous avez suivi les instructions qui précèdent, les tableaux ci-dessous - extraits du livre +\begin_layout Standard + +Les tableaux ci-dessous extraits du livre \begin_inset Quotes fld -\end_inset +\end_inset The LaTeX companion \begin_inset Quotes frd -\end_inset +\end_inset de Goossen et al. - apparaîtront dans toute leur splendeur. - Dans le cas contraire vous verrez un paquet de texte en rouge ! -\layout Standard + vont apparaître à l'écran dans toute leur splendeur. +\end_layout + +\begin_layout Standard \begin_inset ERT -status Open +status collapsed -\layout Standard +\begin_layout Standard -\backslash +\backslash setcounter{table}{1} -\layout Standard +\end_layout -\backslash +\begin_layout Standard + +\end_layout + +\begin_layout Standard + +\backslash renewcommand{ -\backslash +\backslash thetable}{8. -\backslash +\backslash arabic{table}} -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -276,286 +301,333 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\hat{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hat{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\acute{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash acute{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\bar{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bar{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\dot{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dot{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\breve{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash breve{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\check{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash check{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\grave{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash grave{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\vec{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vec{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\ddot{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddot{a} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\tilde{a}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash tilde{a} -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Accents en mode mathématique -\end_inset +\end_layout + +\end_inset + +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -573,1066 +645,1249 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\alpha $ -\end_inset +\begin_inset Formula $\alpha$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash alpha -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\beta $ -\end_inset +\begin_inset Formula $\beta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash beta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gamma $ -\end_inset +\begin_inset Formula $\gamma$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gamma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\delta $ -\end_inset +\begin_inset Formula $\delta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash delta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\epsilon $ -\end_inset +\begin_inset Formula $\epsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash epsilon -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varepsilon $ -\end_inset +\begin_inset Formula $\varepsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varepsilon -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\zeta $ -\end_inset +\begin_inset Formula $\zeta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash zeta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\eta $ -\end_inset +\begin_inset Formula $\eta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\theta $ -\end_inset +\begin_inset Formula $\theta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash theta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vartheta $ -\end_inset +\begin_inset Formula $\vartheta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartheta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\iota $ -\end_inset +\begin_inset Formula $\iota$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash iota -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\kappa $ -\end_inset +\begin_inset Formula $\kappa$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash kappa -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lambda $ -\end_inset +\begin_inset Formula $\lambda$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lambda -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\mu $ -\end_inset +\begin_inset Formula $\mu$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mu -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nu $ -\end_inset +\begin_inset Formula $\nu$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nu -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\xi $ -\end_inset +\begin_inset Formula $\xi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash xi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $o$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard o -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\pi $ -\end_inset +\begin_inset Formula $\pi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varpi $ -\end_inset +\begin_inset Formula $\varpi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varpi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rho $ -\end_inset +\begin_inset Formula $\rho$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rho -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varrho $ -\end_inset +\begin_inset Formula $\varrho$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varrho -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sigma $ -\end_inset +\begin_inset Formula $\sigma$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sigma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varsigma $ -\end_inset +\begin_inset Formula $\varsigma$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsigma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\tau $ -\end_inset +\begin_inset Formula $\tau$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash tau -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\upsilon $ -\end_inset +\begin_inset Formula $\upsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upsilon -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\phi $ -\end_inset +\begin_inset Formula $\phi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash phi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varphi $ -\end_inset +\begin_inset Formula $\varphi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varphi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\chi $ -\end_inset +\begin_inset Formula $\chi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash chi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\psi $ -\end_inset +\begin_inset Formula $\psi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash psi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\omega $ -\end_inset +\begin_inset Formula $\omega$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash omega -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Gamma $ -\end_inset +\begin_inset Formula $\Gamma$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Gamma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Delta $ -\end_inset +\begin_inset Formula $\Delta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Delta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Theta $ -\end_inset +\begin_inset Formula $\Theta$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Theta -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Lambda $ -\end_inset +\begin_inset Formula $\Lambda$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lambda -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Xi $ -\end_inset +\begin_inset Formula $\Xi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Xi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Pi $ -\end_inset +\begin_inset Formula $\Pi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Pi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Sigma $ -\end_inset +\begin_inset Formula $\Sigma$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Sigma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Upsilon $ -\end_inset +\begin_inset Formula $\Upsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Upsilon -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Phi $ -\end_inset +\begin_inset Formula $\Phi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Phi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Psi $ -\end_inset +\begin_inset Formula $\Psi$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Psi -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Omega $ -\end_inset +\begin_inset Formula $\Omega$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Omega -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Lettres grecques -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -1650,904 +1905,1055 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\pm$ +\end_inset -\begin_inset Formula $\pm $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pm -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cap$ +\end_inset -\begin_inset Formula $\cap $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cap -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diamond$ +\end_inset -\begin_inset Formula $\diamond $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diamond -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\oplus$ +\end_inset -\begin_inset Formula $\oplus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mp$ +\end_inset -\begin_inset Formula $\mp $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mp -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cup$ +\end_inset -\begin_inset Formula $\cup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigtriangleup$ +\end_inset -\begin_inset Formula $\bigtriangleup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigtriangleup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ominus$ +\end_inset -\begin_inset Formula $\ominus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ominus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\times$ +\end_inset -\begin_inset Formula $\times $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash times -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\uplus$ +\end_inset -\begin_inset Formula $\uplus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigtriangledown$ +\end_inset -\begin_inset Formula $\bigtriangledown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigtriangledown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\otimes$ +\end_inset -\begin_inset Formula $\otimes $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash otimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\div$ +\end_inset -\begin_inset Formula $\div $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash div -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqcap$ +\end_inset -\begin_inset Formula $\sqcap $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqcap -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\triangleleft$ +\end_inset -\begin_inset Formula $\triangleleft $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\oslash$ +\end_inset -\begin_inset Formula $\oslash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oslash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ast$ +\end_inset -\begin_inset Formula $\ast $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ast -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqcup$ +\end_inset -\begin_inset Formula $\sqcup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqcup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\triangleright$ +\end_inset -\begin_inset Formula $\triangleright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\odot$ +\end_inset -\begin_inset Formula $\odot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash odot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\star$ +\end_inset -\begin_inset Formula $\star $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash star -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vee$ +\end_inset -\begin_inset Formula $\vee $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vee -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lhd$ +\end_inset -\begin_inset Formula $\lhd $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lhd -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigcirc$ +\end_inset -\begin_inset Formula $\bigcirc $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcirc -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\circ$ +\end_inset -\begin_inset Formula $\circ $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circ -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\wedge$ +\end_inset -\begin_inset Formula $\wedge $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wedge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rhd$ +\end_inset -\begin_inset Formula $\rhd $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rhd -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\dagger$ +\end_inset -\begin_inset Formula $\dagger $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dagger -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bullet$ +\end_inset -\begin_inset Formula $\bullet $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bullet -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\setminus$ +\end_inset -\begin_inset Formula $\setminus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash setminus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\unlhd$ +\end_inset -\begin_inset Formula $\unlhd $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash unlhd -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ddagger$ +\end_inset -\begin_inset Formula $\ddagger $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddagger -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cdot$ +\end_inset -\begin_inset Formula $\cdot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\wr$ +\end_inset -\begin_inset Formula $\wr $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\unrhd$ +\end_inset -\begin_inset Formula $\unrhd $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash unrhd -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\amalg$ +\end_inset -\begin_inset Formula $\amalg $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash amalg -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Symboles d'opérations binaires -\end_inset +\end_layout +\end_inset -\layout Standard + +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -2567,994 +2973,1161 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leq $ -\end_inset +\begin_inset Formula $\leq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leq -\backslash +\backslash le -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\geq $ -\end_inset +\begin_inset Formula $\geq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\equiv $ -\end_inset +\begin_inset Formula $\equiv$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash equiv -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\models $ -\end_inset +\begin_inset Formula $\models$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash models -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\prec $ -\end_inset +\begin_inset Formula $\prec$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prec -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succ $ -\end_inset +\begin_inset Formula $\succ$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succ -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sim $ -\end_inset +\begin_inset Formula $\sim$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\perp $ -\end_inset +\begin_inset Formula $\perp$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash perp -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\preceq $ -\end_inset +\begin_inset Formula $\preceq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash preceq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succeq $ -\end_inset +\begin_inset Formula $\succeq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\simeq $ -\end_inset +\begin_inset Formula $\simeq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash simeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\mid $ -\end_inset +\begin_inset Formula $\mid$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mid -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ll $ -\end_inset +\begin_inset Formula $\ll$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ll -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gg $ -\end_inset +\begin_inset Formula $\gg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gg -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\asymp $ -\end_inset +\begin_inset Formula $\asymp$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash asymp -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\parallel $ -\end_inset +\begin_inset Formula $\parallel$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash parallel -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\subset $ -\end_inset +\begin_inset Formula $\subset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\supset $ -\end_inset +\begin_inset Formula $\supset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\approx $ -\end_inset +\begin_inset Formula $\approx$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash approx -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bowtie $ -\end_inset +\begin_inset Formula $\bowtie$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bowtie -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\subseteq $ -\end_inset +\begin_inset Formula $\subseteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\supseteq $ -\end_inset +\begin_inset Formula $\supseteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cong $ -\end_inset +\begin_inset Formula $\cong$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cong -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Join $ -\end_inset +\begin_inset Formula $\Join$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Join -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsubset $ -\end_inset +\begin_inset Formula $\sqsubset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsupset $ -\end_inset +\begin_inset Formula $\sqsupset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\neq $ -\end_inset +\begin_inset Formula $\neq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash neq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smile $ -\end_inset +\begin_inset Formula $\smile$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smile -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsubseteq $ -\end_inset +\begin_inset Formula $\sqsubseteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsupseteq $ -\end_inset +\begin_inset Formula $\sqsupseteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\doteq $ -\end_inset +\begin_inset Formula $\doteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\frown $ -\end_inset +\begin_inset Formula $\frown$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash frown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\in $ -\end_inset +\begin_inset Formula $\in$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash in -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ni $ -\end_inset +\begin_inset Formula $\ni$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ni -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\propto $ -\end_inset +\begin_inset Formula $\propto$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash propto -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $=$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter = -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vdash $ -\end_inset +\begin_inset Formula $\vdash$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vdash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dashv $ -\end_inset +\begin_inset Formula $\dashv$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashv -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $<$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter < -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $>$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter > -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Symboles de relations -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -3570,762 +4143,889 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftarrow$ +\end_inset -\begin_inset Formula $\leftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\longleftarrow$ +\end_inset -\begin_inset Formula $\longleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\uparrow$ +\end_inset -\begin_inset Formula $\uparrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uparrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Leftarrow$ +\end_inset -\begin_inset Formula $\Leftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Leftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Longleftarrow$ +\end_inset -\begin_inset Formula $\Longleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Uparrow$ +\end_inset -\begin_inset Formula $\Uparrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Uparrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightarrow$ +\end_inset -\begin_inset Formula $\rightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\longrightarrow$ +\end_inset -\begin_inset Formula $\longrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\downarrow$ +\end_inset -\begin_inset Formula $\downarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Rightarrow$ +\end_inset -\begin_inset Formula $\Rightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Rightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Longrightarrow$ +\end_inset -\begin_inset Formula $\Longrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Downarrow$ +\end_inset -\begin_inset Formula $\Downarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Downarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftrightarrow$ +\end_inset -\begin_inset Formula $\leftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\longleftrightarrow$ +\end_inset -\begin_inset Formula $\longleftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longleftrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\updownarrow$ +\end_inset -\begin_inset Formula $\updownarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash updownarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Leftrightarrow$ +\end_inset -\begin_inset Formula $\Leftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Leftrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Longleftrightarrow$ +\end_inset -\begin_inset Formula $\Longleftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longleftrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Updownarrow$ +\end_inset -\begin_inset Formula $\Updownarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Updownarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mapsto$ +\end_inset -\begin_inset Formula $\mapsto $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mapsto -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\longmapsto$ +\end_inset -\begin_inset Formula $\longmapsto $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longmapsto -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nearrow$ +\end_inset -\begin_inset Formula $\nearrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nearrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hookleftarrow$ +\end_inset -\begin_inset Formula $\hookleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hookleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hookrightarrow$ +\end_inset -\begin_inset Formula $\hookrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hookrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\searrow$ +\end_inset -\begin_inset Formula $\searrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash searrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftharpoonup$ +\end_inset -\begin_inset Formula $\leftharpoonup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftharpoonup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightharpoonup$ +\end_inset -\begin_inset Formula $\rightharpoonup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightharpoonup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\swarrow$ +\end_inset -\begin_inset Formula $\swarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash swarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftharpoondown$ +\end_inset -\begin_inset Formula $\leftharpoondown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftharpoondown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightharpoondown$ +\end_inset -\begin_inset Formula $\rightharpoondown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightharpoondown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nwarrow$ +\end_inset -\begin_inset Formula $\nwarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nwarrow -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Symboles flèches -\end_inset +\end_layout + +\end_inset + +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -4345,876 +5045,1023 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ldots $ -\end_inset +\begin_inset Formula $\ldots$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ldots -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cdots $ -\end_inset +\begin_inset Formula $\cdots$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cdots -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vdots $ -\end_inset +\begin_inset Formula $\vdots$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vdots -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ddots $ -\end_inset +\begin_inset Formula $\ddots$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddots -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\aleph $ -\end_inset +\begin_inset Formula $\aleph$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash aleph -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\prime $ -\end_inset +\begin_inset Formula $\prime$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prime -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\forall $ -\end_inset +\begin_inset Formula $\forall$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash forall -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\infty $ -\end_inset +\begin_inset Formula $\infty$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash infty -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\hbar $ -\end_inset +\begin_inset Formula $\hbar$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hbar -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\emptyset $ -\end_inset +\begin_inset Formula $\emptyset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash emptyset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\exists $ -\end_inset +\begin_inset Formula $\exists$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash exists -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nabla $ -\end_inset +\begin_inset Formula $\nabla$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nabla -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\surd $ -\end_inset +\begin_inset Formula $\surd$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash surd -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Box $ -\end_inset +\begin_inset Formula $\Box$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Box -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\triangle $ -\end_inset +\begin_inset Formula $\triangle$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Diamond $ -\end_inset +\begin_inset Formula $\Diamond$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Diamond -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\imath $ -\end_inset +\begin_inset Formula $\imath$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash imath -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\jmath $ -\end_inset +\begin_inset Formula $\jmath$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash jmath -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ell $ -\end_inset +\begin_inset Formula $\ell$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ell -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\neg $ -\end_inset +\begin_inset Formula $\neg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash neg -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\top $ -\end_inset +\begin_inset Formula $\top$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash top -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\flat $ -\end_inset +\begin_inset Formula $\flat$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash flat -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\natural $ -\end_inset +\begin_inset Formula $\natural$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash natural -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sharp $ -\end_inset +\begin_inset Formula $\sharp$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sharp -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\wp $ -\end_inset +\begin_inset Formula $\wp$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wp -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bot $ -\end_inset +\begin_inset Formula $\bot$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\clubsuit $ -\end_inset +\begin_inset Formula $\clubsuit$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash clubsuit -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\diamondsuit $ -\end_inset +\begin_inset Formula $\diamondsuit$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diamondsuit -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\heartsuit $ -\end_inset +\begin_inset Formula $\heartsuit$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash heartsuit -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\spadesuit $ -\end_inset +\begin_inset Formula $\spadesuit$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash spadesuit -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\mho $ -\end_inset +\begin_inset Formula $\mho$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mho -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Re $ -\end_inset +\begin_inset Formula $\Re$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Re -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Im $ -\end_inset +\begin_inset Formula $\Im$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Im -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\angle $ -\end_inset +\begin_inset Formula $\angle$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash angle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\partial $ -\end_inset +\begin_inset Formula $\partial$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash partial -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Symboles divers -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -5234,378 +6081,445 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sum$ +\end_inset -\begin_inset Formula $\sum $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sum -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\prod$ +\end_inset -\begin_inset Formula $\prod $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prod -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\coprod$ +\end_inset -\begin_inset Formula $\coprod $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash coprod -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\int$ +\end_inset -\begin_inset Formula $\int $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash int -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\oint$ +\end_inset -\begin_inset Formula $\oint $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oint -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigcap$ +\end_inset -\begin_inset Formula $\bigcap $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcap -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigcup$ +\end_inset -\begin_inset Formula $\bigcup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigsqcup$ +\end_inset -\begin_inset Formula $\bigsqcup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigsqcup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigvee$ +\end_inset -\begin_inset Formula $\bigvee $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigvee -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigwedge$ +\end_inset -\begin_inset Formula $\bigwedge $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigwedge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigodot$ +\end_inset -\begin_inset Formula $\bigodot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigodot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigotimes$ +\end_inset -\begin_inset Formula $\bigotimes $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigotimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigoplus$ +\end_inset -\begin_inset Formula $\bigoplus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigoplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\biguplus$ +\end_inset -\begin_inset Formula $\biguplus $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash biguplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Symboles de taille variable -\end_inset +\end_layout +\end_inset -\layout Standard + +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -5623,414 +6537,485 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\arccos $ -\end_inset +\begin_inset Formula $\arccos$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cos$ +\end_inset -\begin_inset Formula $\cos $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\csc $ -\end_inset +\begin_inset Formula $\csc$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\exp$ +\end_inset -\begin_inset Formula $\exp $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ker $ -\end_inset +\begin_inset Formula $\ker$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\limsup$ +\end_inset -\begin_inset Formula $\limsup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\min $ -\end_inset +\begin_inset Formula $\min$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sinh$ +\end_inset -\begin_inset Formula $\sinh $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\arcsin $ -\end_inset +\begin_inset Formula $\arcsin$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cosh$ +\end_inset -\begin_inset Formula $\cosh $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\deg $ -\end_inset +\begin_inset Formula $\deg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gcd$ +\end_inset -\begin_inset Formula $\gcd $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lg $ -\end_inset +\begin_inset Formula $\lg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ln$ +\end_inset -\begin_inset Formula $\ln $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Pr $ -\end_inset +\begin_inset Formula $\Pr$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sup$ +\end_inset -\begin_inset Formula $\sup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\arctan $ -\end_inset +\begin_inset Formula $\arctan$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cot$ +\end_inset -\begin_inset Formula $\cot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\det $ -\end_inset +\begin_inset Formula $\det$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hom$ +\end_inset -\begin_inset Formula $\hom $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lim $ -\end_inset +\begin_inset Formula $\lim$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\log$ +\end_inset -\begin_inset Formula $\log $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sec $ -\end_inset +\begin_inset Formula $\sec$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\tan$ +\end_inset -\begin_inset Formula $\tan $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\arg $ -\end_inset +\begin_inset Formula $\arg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\coth$ +\end_inset -\begin_inset Formula $\coth $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dim $ -\end_inset +\begin_inset Formula $\dim$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\inf$ +\end_inset -\begin_inset Formula $\inf $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\liminf $ -\end_inset +\begin_inset Formula $\liminf$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\max$ +\end_inset -\begin_inset Formula $\max $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sin $ -\end_inset +\begin_inset Formula $\sin$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\tanh$ +\end_inset -\begin_inset Formula $\tanh $ -\end_inset +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Symboles de fonctions -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -6048,707 +7033,575 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\uparrow$ +\end_inset -\begin_inset Formula $\uparrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uparrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Uparrow$ +\end_inset -\begin_inset Formula $\Uparrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Uparrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\downarrow$ +\end_inset -\begin_inset Formula $\downarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Downarrow$ +\end_inset -\begin_inset Formula $\Downarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Downarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\{$ +\end_inset -\begin_inset Formula $\{ $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash { -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\}$ +\end_inset -\begin_inset Formula $\} $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash } -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\updownarrow$ +\end_inset -\begin_inset Formula $\updownarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash updownarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Updownarrow$ +\end_inset -\begin_inset Formula $\Updownarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Updownarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lfloor$ +\end_inset -\begin_inset Formula $\lfloor $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lfloor -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rfloor $ -\end_inset +\begin_inset Formula $\rfloor$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rfloor -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lceil$ +\end_inset -\begin_inset Formula $\lceil $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lceil -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rceil$ +\end_inset -\begin_inset Formula $\rceil $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rceil -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\langle $ -\end_inset +\begin_inset Formula $\langle$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash langle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rangle$ +\end_inset -\begin_inset Formula $\rangle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $/$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter / -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backslash $ -\end_inset +\begin_inset Formula $\backslash$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backslash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $|$ -\end_inset - +\end_inset -\end_inset - - -\begin_inset Text -\layout Standard +\end_layout - -\family typewriter -| -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\| $ -\end_inset - - -\end_inset +\end_inset \begin_inset Text -\layout Standard - +\begin_layout Standard -\family typewriter -\backslash +\family typewriter | -\end_inset - - -\begin_inset Text - -\layout Standard +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset - - -\begin_inset Text -\layout Standard +\begin_inset Formula $\|$ +\end_inset -\end_inset - - -\begin_inset Text -\layout Standard +\end_layout -\end_inset - - - - -\end_inset - - -\layout Caption - -Délimiteurs -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement H -wide false -collapsed false - -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rmoustache $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rmoustache -\end_inset +\end_inset \begin_inset Text -\layout Standard - - -\begin_inset Formula $\lmoustache $ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text +\family typewriter -\layout Standard - - -\family typewriter +\backslash +| +\end_layout -\backslash -lmoustache -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard +\end_layout -\begin_inset Formula $\rgroup $ -\end_inset - - -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard +\end_layout -\family typewriter - -\backslash -rgroup -\end_inset +\end_inset \begin_inset Text -\layout Standard - +\begin_layout Standard -\begin_inset Formula $\lgroup $ -\end_inset +\end_layout - -\end_inset +\end_inset \begin_inset Text -\layout Standard - +\begin_layout Standard -\family typewriter +\end_layout -\backslash -lgroup -\end_inset +\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\arrowvert $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -arrowvert -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Arrowvert $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Arrowvert -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bracevert $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bracevert -\end_inset - - -\begin_inset Text - -\layout Standard + -\end_inset - - -\begin_inset Text +\end_inset -\layout Standard -\end_inset - - - +\end_layout -\end_inset +\begin_layout Caption +Délimiteurs +\end_layout -\layout Caption +\end_inset -Grands délimiteurs -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -6762,322 +7615,377 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\widetilde{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash widetilde{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\widehat{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash widehat{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overleftarrow{abc}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overleftarrow{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overrightarrow{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overrightarrow{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overline{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overline{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\underline{abc}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash underline{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overbrace{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overbrace{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\underbrace{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash underbrace{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\sqrt{abc}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqrt{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqrt[n]{abc} -\backslash +\backslash root3{abc} -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $f'$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter f' -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\frac{abc}{xyz}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash frac{abc}{xyz} -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption -Constructions mathématiques LaTeX -\end_inset +Structures mathématiques LaTeX +\end_layout +\end_inset -\layout Standard + +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -7097,144 +8005,171 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\digamma$ +\end_inset -\begin_inset Formula $\digamma $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash digamma -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varkappa$ +\end_inset -\begin_inset Formula $\varkappa $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varkappa -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\beth $ -\end_inset +\begin_inset Formula $\beth$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash beth -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\daleth$ +\end_inset -\begin_inset Formula $\daleth $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash daleth -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gimel$ +\end_inset -\begin_inset Formula $\gimel $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gimel -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Grec et hébreu AMS -\end_inset +\end_layout +\end_inset -\layout Standard + +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -7252,120 +8187,143 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ulcorner$ +\end_inset -\begin_inset Formula $\ulcorner $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ulcorner -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\urcorner$ +\end_inset -\begin_inset Formula $\urcorner $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash urcorner -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\llcorner $ -\end_inset +\begin_inset Formula $\llcorner$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash llcorner -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lrcorner$ +\end_inset -\begin_inset Formula $\lrcorner $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lrcorner -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Délimiteurs AMS -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -7381,826 +8339,965 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\dashrightarrow$ +\end_inset -\begin_inset Formula $\dashrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dashleftarrow $ -\end_inset +\begin_inset Formula $\dashleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftleftarrows$ +\end_inset -\begin_inset Formula $\leftleftarrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftleftarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftrightarrows$ +\end_inset -\begin_inset Formula $\leftrightarrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Lleftarrow $ -\end_inset +\begin_inset Formula $\Lleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\twoheadleftarrow$ +\end_inset -\begin_inset Formula $\twoheadleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash twoheadleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftarrowtail$ +\end_inset -\begin_inset Formula $\leftarrowtail $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftarrowtail -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\looparrowleft $ -\end_inset +\begin_inset Formula $\looparrowleft$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash looparrowleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leftrightharpoons$ +\end_inset -\begin_inset Formula $\leftrightharpoons $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightharpoons -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\curvearrowleft$ +\end_inset -\begin_inset Formula $\curvearrowleft $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curvearrowleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circlearrowleft $ -\end_inset +\begin_inset Formula $\circlearrowleft$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circlearrowleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Lsh$ +\end_inset -\begin_inset Formula $\Lsh $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lsh -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\upuparrows$ +\end_inset -\begin_inset Formula $\upuparrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upuparrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\upharpoonleft $ -\end_inset +\begin_inset Formula $\upharpoonleft$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upharpoonleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\downharpoonleft$ +\end_inset -\begin_inset Formula $\downharpoonleft $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downharpoonleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\multimap$ +\end_inset -\begin_inset Formula $\multimap $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash multimap -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftrightsquigarrow $ -\end_inset +\begin_inset Formula $\leftrightsquigarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightsquigarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightrightarrows$ +\end_inset -\begin_inset Formula $\rightrightarrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightrightarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightleftarrows$ +\end_inset -\begin_inset Formula $\rightleftarrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightrightarrows $ -\end_inset +\begin_inset Formula $\rightrightarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightrightarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightleftarrows$ +\end_inset -\begin_inset Formula $\rightleftarrows $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\twoheadrightarrow$ +\end_inset -\begin_inset Formula $\twoheadrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash twoheadrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightarrowtail $ -\end_inset +\begin_inset Formula $\rightarrowtail$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightarrowtail -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\looparrowright$ +\end_inset -\begin_inset Formula $\looparrowright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash looparrowright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rightleftharpoons$ +\end_inset -\begin_inset Formula $\rightleftharpoons $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftharpoons -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curvearrowright $ -\end_inset +\begin_inset Formula $\curvearrowright$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curvearrowright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\circlearrowright$ +\end_inset -\begin_inset Formula $\circlearrowright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circlearrowright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Rsh$ +\end_inset -\begin_inset Formula $\Rsh $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Rsh -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downdownarrows $ -\end_inset +\begin_inset Formula $\downdownarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downdownarrows -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\upharpoonright$ +\end_inset -\begin_inset Formula $\upharpoonright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upharpoonright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\downharpoonright$ +\end_inset -\begin_inset Formula $\downharpoonright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downharpoonright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightsquigarrow $ -\end_inset +\begin_inset Formula $\rightsquigarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightsquigarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Flèches AMS -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -8216,170 +9313,201 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleftarrow$ +\end_inset -\begin_inset Formula $\nleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nrightarrow $ -\end_inset +\begin_inset Formula $\nrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nLeftarrow$ +\end_inset -\begin_inset Formula $\nLeftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nLeftarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nRightarrow$ +\end_inset -\begin_inset Formula $\nRightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nRightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nleftrightarrow $ -\end_inset +\begin_inset Formula $\nleftrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleftrightarrow -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nLeftrightarrow$ +\end_inset -\begin_inset Formula $\nLeftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nLeftrightarrow -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Négations de flèches AMS -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -8395,1650 +9523,1921 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leqq$ +\end_inset -\begin_inset Formula $\leqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leqslant $ -\end_inset +\begin_inset Formula $\leqslant$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leqslant -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eqslantless$ +\end_inset -\begin_inset Formula $\eqslantless $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqslantless -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lesssim$ +\end_inset -\begin_inset Formula $\lesssim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesssim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lessapprox $ -\end_inset +\begin_inset Formula $\lessapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\approxeq$ +\end_inset -\begin_inset Formula $\approxeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash approxeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lessdot$ +\end_inset -\begin_inset Formula $\lessdot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lll $ -\end_inset +\begin_inset Formula $\lll$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lll -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lessgtr$ +\end_inset -\begin_inset Formula $\lessgtr $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessgtr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lesseqgtr$ +\end_inset -\begin_inset Formula $\lesseqgtr $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesseqgtr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lesseqqgtr $ -\end_inset +\begin_inset Formula $\lesseqqgtr$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesseqqgtr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\doteqdot$ +\end_inset -\begin_inset Formula $\doteqdot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doteqdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\risingdotseq$ +\end_inset -\begin_inset Formula $\risingdotseq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash risingdotseq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\fallingdotseq $ -\end_inset +\begin_inset Formula $\fallingdotseq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash fallingdotseq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\backsim$ +\end_inset -\begin_inset Formula $\backsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\backsimeq$ +\end_inset -\begin_inset Formula $\backsimeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backsimeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\subseteqq $ -\end_inset +\begin_inset Formula $\subseteqq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subseteqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Subset$ +\end_inset -\begin_inset Formula $\Subset $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Subset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqsubset$ +\end_inset -\begin_inset Formula $\sqsubset $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\preccurlyeq $ -\end_inset +\begin_inset Formula $\preccurlyeq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash preccurlyeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\curlyeqprec$ +\end_inset -\begin_inset Formula $\curlyeqprec $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyeqprec -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\precsim$ +\end_inset -\begin_inset Formula $\precsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\precapprox $ -\end_inset +\begin_inset Formula $\precapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vartriangleleft$ +\end_inset -\begin_inset Formula $\vartriangleleft $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangleleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\trianglelefteq$ +\end_inset -\begin_inset Formula $\trianglelefteq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash trianglelefteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vDash $ -\end_inset +\begin_inset Formula $\vDash$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vDash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Vvdash$ +\end_inset -\begin_inset Formula $\Vvdash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Vvdash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\smallsmile$ +\end_inset -\begin_inset Formula $\smallsmile $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallsmile -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smallfrown $ -\end_inset +\begin_inset Formula $\smallfrown$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallfrown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bumpeq$ +\end_inset -\begin_inset Formula $\bumpeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bumpeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Bumpeq$ +\end_inset -\begin_inset Formula $\Bumpeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Bumpeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\geqq $ -\end_inset +\begin_inset Formula $\geqq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\geqslant$ +\end_inset -\begin_inset Formula $\geqslant $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geqslant -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eqslantgtr$ +\end_inset -\begin_inset Formula $\eqslantgtr $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqslantgtr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtrsim $ -\end_inset +\begin_inset Formula $\gtrsim$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gtrapprox$ +\end_inset -\begin_inset Formula $\gtrapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gtrdot$ +\end_inset -\begin_inset Formula $\gtrdot $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ggg $ -\end_inset +\begin_inset Formula $\ggg$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ggg -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gtrless$ +\end_inset -\begin_inset Formula $\gtrless $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrless -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gtreqless$ +\end_inset -\begin_inset Formula $\gtreqless $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtreqless -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtreqqless $ -\end_inset +\begin_inset Formula $\gtreqqless$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtreqqless -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eqcirc$ +\end_inset -\begin_inset Formula $\eqcirc $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqcirc -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\circeq$ +\end_inset -\begin_inset Formula $\circeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\triangleq $ -\end_inset +\begin_inset Formula $\triangleq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\thicksim$ +\end_inset -\begin_inset Formula $\thicksim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash thicksim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\thickapprox$ +\end_inset -\begin_inset Formula $\thickapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash thickapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\supseteqq $ -\end_inset +\begin_inset Formula $\supseteqq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supseteqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Supset $ -\end_inset +\begin_inset Formula $\Supset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Supset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsupset $ -\end_inset +\begin_inset Formula $\sqsupset$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succcurlyeq $ -\end_inset +\begin_inset Formula $\succcurlyeq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succcurlyeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlyeqsucc $ -\end_inset +\begin_inset Formula $\curlyeqsucc$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyeqsucc -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succsim $ -\end_inset +\begin_inset Formula $\succsim$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succapprox $ -\end_inset +\begin_inset Formula $\succapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vartriangleright $ -\end_inset +\begin_inset Formula $\vartriangleright$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangleright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\trianglerighteq $ -\end_inset +\begin_inset Formula $\trianglerighteq$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash trianglerighteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Vdash $ -\end_inset +\begin_inset Formula $\Vdash$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Vdash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\shortmid $ -\end_inset +\begin_inset Formula $\shortmid$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash shortmid -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\shortparallel $ -\end_inset +\begin_inset Formula $\shortparallel$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash shortparallel -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\between $ -\end_inset +\begin_inset Formula $\between$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash between -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\pitchfork $ -\end_inset +\begin_inset Formula $\pitchfork$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pitchfork -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varpropto $ -\end_inset +\begin_inset Formula $\varpropto$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varpropto -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\blacktriangleleft $ -\end_inset +\begin_inset Formula $\blacktriangleleft$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangleleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\therefore $ -\end_inset +\begin_inset Formula $\therefore$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash therefore -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backepsilon $ -\end_inset +\begin_inset Formula $\backepsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backepsilon -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\blacktriangleright $ -\end_inset +\begin_inset Formula $\blacktriangleright$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangleright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\because $ -\end_inset +\begin_inset Formula $\because$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash because -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Relations binaires AMS -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -10054,1280 +11453,1491 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nless$ +\end_inset -\begin_inset Formula $\nless $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nless -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleq$ +\end_inset -\begin_inset Formula $\nleq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleqslant$ +\end_inset -\begin_inset Formula $\nleqslant $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleqslant -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleqq$ +\end_inset -\begin_inset Formula $\nleqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lneq$ +\end_inset -\begin_inset Formula $\lneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lneqq$ +\end_inset -\begin_inset Formula $\lneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lvertneqq$ +\end_inset -\begin_inset Formula $\lvertneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lvertneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lnsim$ +\end_inset -\begin_inset Formula $\lnsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lnsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lnapprox$ +\end_inset -\begin_inset Formula $\lnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lnapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nprec$ +\end_inset -\begin_inset Formula $\nprec $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nprec -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\npreceq$ +\end_inset -\begin_inset Formula $\npreceq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash npreceq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\precnsim$ +\end_inset -\begin_inset Formula $\precnsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precnsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\precnapprox$ +\end_inset -\begin_inset Formula $\precnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precnapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsim$ +\end_inset -\begin_inset Formula $\nsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nshortmid$ +\end_inset -\begin_inset Formula $\nshortmid $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nshortmid -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nmid$ +\end_inset -\begin_inset Formula $\nmid $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nmid -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvdash$ +\end_inset -\begin_inset Formula $\nvdash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvdash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvDash$ +\end_inset -\begin_inset Formula $\nvDash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvDash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntriangleleft$ +\end_inset -\begin_inset Formula $\ntriangleleft $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntriangleleft -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntrianglelefteq$ +\end_inset -\begin_inset Formula $\ntrianglelefteq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntrianglelefteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsubseteq$ +\end_inset -\begin_inset Formula $\nsubseteq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsubseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subsetneq$ +\end_inset -\begin_inset Formula $\subsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subsetneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsubsetneq$ +\end_inset -\begin_inset Formula $\varsubsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsubsetneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subsetneqq$ +\end_inset -\begin_inset Formula $\subsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subsetneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsubsetneqq$ +\end_inset -\begin_inset Formula $\varsubsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsubsetneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngtr$ +\end_inset -\begin_inset Formula $\ngtr $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngtr -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeq$ +\end_inset -\begin_inset Formula $\ngeq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeqslant$ +\end_inset -\begin_inset Formula $\ngeqslant $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeqslant -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeqq$ +\end_inset -\begin_inset Formula $\ngeqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gneq$ +\end_inset -\begin_inset Formula $\gneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gneqq$ +\end_inset -\begin_inset Formula $\gneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gvertneqq$ +\end_inset -\begin_inset Formula $\gvertneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gvertneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gnsim$ +\end_inset -\begin_inset Formula $\gnsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gnsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gnapprox$ +\end_inset -\begin_inset Formula $\gnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gnapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsucc$ +\end_inset -\begin_inset Formula $\nsucc $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsucc -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsucceq$ +\end_inset -\begin_inset Formula $\nsucceq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsucceq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succnsim$ +\end_inset -\begin_inset Formula $\succnsim $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succnsim -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succnapprox$ +\end_inset -\begin_inset Formula $\succnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succnapprox -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ncong$ +\end_inset -\begin_inset Formula $\ncong $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ncong -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nshortparallel$ +\end_inset -\begin_inset Formula $\nshortparallel $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nshortparallel -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nparallel$ +\end_inset -\begin_inset Formula $\nparallel $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nparallel -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvDash$ +\end_inset -\begin_inset Formula $\nvDash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvDash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nVDash$ +\end_inset -\begin_inset Formula $\nVDash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nVDash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntriangleright$ +\end_inset -\begin_inset Formula $\ntriangleright $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntriangleright -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntrianglerighteq$ +\end_inset -\begin_inset Formula $\ntrianglerighteq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntrianglerighteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsupseteq$ +\end_inset -\begin_inset Formula $\nsupseteq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsupseteq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsupseteqq$ +\end_inset -\begin_inset Formula $\nsupseteqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsupseteqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supsetneq$ +\end_inset -\begin_inset Formula $\supsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supsetneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsupsetneq$ +\end_inset -\begin_inset Formula $\varsupsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsupsetneq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supsetneqq$ +\end_inset -\begin_inset Formula $\supsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supsetneqq -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsupsetneqq$ +\end_inset -\begin_inset Formula $\varsupsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsupsetneqq -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Négations de relations binaires AMS -\end_inset +\end_layout + +\end_inset + +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -11343,604 +12953,707 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dotplus $ -\end_inset +\begin_inset Formula $\dotplus$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dotplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smallsetminus $ -\end_inset +\begin_inset Formula $\smallsetminus$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallsetminus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Cap $ -\end_inset +\begin_inset Formula $\Cap$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Cap -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Cup $ -\end_inset +\begin_inset Formula $\Cup$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Cup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\barwedge $ -\end_inset +\begin_inset Formula $\barwedge$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash barwedge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\veebar $ -\end_inset +\begin_inset Formula $\veebar$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash veebar -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\doublebarwedge $ -\end_inset +\begin_inset Formula $\doublebarwedge$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doublebarwedge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxminus $ -\end_inset +\begin_inset Formula $\boxminus$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxminus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxtimes $ -\end_inset +\begin_inset Formula $\boxtimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxtimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxdot $ -\end_inset +\begin_inset Formula $\boxdot$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxplus $ -\end_inset +\begin_inset Formula $\boxplus$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxplus -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\divideontimes $ -\end_inset +\begin_inset Formula $\divideontimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash divideontimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ltimes $ -\end_inset +\begin_inset Formula $\ltimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ltimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rtimes $ -\end_inset +\begin_inset Formula $\rtimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rtimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftthreetimes $ -\end_inset +\begin_inset Formula $\leftthreetimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftthreetimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightthreetimes $ -\end_inset +\begin_inset Formula $\rightthreetimes$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightthreetimes -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlywedge $ -\end_inset +\begin_inset Formula $\curlywedge$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlywedge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlyvee $ -\end_inset +\begin_inset Formula $\curlyvee$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyvee -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circleddash $ -\end_inset +\begin_inset Formula $\circleddash$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circleddash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circledast $ -\end_inset +\begin_inset Formula $\circledast$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledast -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circledcirc $ -\end_inset +\begin_inset Formula $\circledcirc$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledcirc -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\centerdot $ -\end_inset +\begin_inset Formula $\centerdot$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash centerdot -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\intercal $ -\end_inset +\begin_inset Formula $\intercal$ +\end_inset -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash intercal -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset -\layout Caption +\end_layout + +\begin_layout Caption Opérations binaires AMS -\end_inset +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table placement H wide false -collapsed false +sideways false +status open -\layout Standard +\begin_layout Standard \begin_inset Tabular @@ -11956,667 +13669,782 @@ collapsed false \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hbar$ +\end_inset -\begin_inset Formula $\hbar $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hbar -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hslash$ +\end_inset -\begin_inset Formula $\hslash $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hslash -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vartriangle$ +\end_inset -\begin_inset Formula $\vartriangle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\triangledown$ +\end_inset -\begin_inset Formula $\triangledown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangledown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\square$ +\end_inset -\begin_inset Formula $\square $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash square -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lozenge$ +\end_inset -\begin_inset Formula $\lozenge $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lozenge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\circledS$ +\end_inset -\begin_inset Formula $\circledS $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledS -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\angle$ +\end_inset -\begin_inset Formula $\angle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash angle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\measuredangle$ +\end_inset -\begin_inset Formula $\measuredangle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash measuredangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nexists$ +\end_inset -\begin_inset Formula $\nexists $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nexists -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mho$ +\end_inset -\begin_inset Formula $\mho $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mho -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Finv$ +\end_inset -\begin_inset Formula $\Finv $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Finv -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Game$ +\end_inset -\begin_inset Formula $\Game $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Game -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Bbbk$ +\end_inset -\begin_inset Formula $\Bbbk $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Bbbk -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\backprime$ +\end_inset -\begin_inset Formula $\backprime $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backprime -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varnothing$ +\end_inset -\begin_inset Formula $\varnothing $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varnothing -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacktriangle$ +\end_inset -\begin_inset Formula $\blacktriangle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacktriangledown$ +\end_inset -\begin_inset Formula $\blacktriangledown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangledown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacksquare$ +\end_inset -\begin_inset Formula $\blacksquare $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacksquare -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacklozenge$ +\end_inset -\begin_inset Formula $\blacklozenge $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacklozenge -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigstar$ +\end_inset -\begin_inset Formula $\bigstar $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigstar -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sphericalangle$ +\end_inset -\begin_inset Formula $\sphericalangle $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sphericalangle -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\complement$ +\end_inset -\begin_inset Formula $\complement $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash complement -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eth$ +\end_inset -\begin_inset Formula $\eth $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eth -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diagup$ +\end_inset -\begin_inset Formula $\diagup $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diagup -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diagdown$ +\end_inset -\begin_inset Formula $\diagdown $ -\end_inset +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diagdown -\end_inset +\end_layout + +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\layout Caption +\begin_layout Caption Divers AMS -\end_inset +\end_layout + +\end_inset + +\end_layout -\the_end +\end_body +\end_document