X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Ffr_mathed.lyx;h=1eb8090c6fd0167f8c6cc337a94dd52de13f0a5c;hb=e9d9f2e27bf7d8174022a8c9fffc94c981ab7c0f;hp=3d3736b45773021b0615f89e31faf8a264b6db7e;hpb=0244ddce8756ec3db0b904445df3b3c825cbe50c;p=lyx.git
diff --git a/lib/examples/fr_mathed.lyx b/lib/examples/fr_mathed.lyx
index 3d3736b457..1eb8090c6f 100644
--- a/lib/examples/fr_mathed.lyx
+++ b/lib/examples/fr_mathed.lyx
@@ -1,61 +1,79 @@
-#LyX 1.2 created this file. For more info see http://www.lyx.org/
-\lyxformat 220
+#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
+\spacing single
+\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 : 16/06/2002
-\layout Standard
+Original : Révision: 1.8, Date : 17/01/2003
+\end_layout
-Original : Révision: 1.5, Date : 21/03/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,335 +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 \[
-\frac{abc}{xyz}\]
-\end_inset
+\begin_inset Formula \begin{equation}
+\frac{abc}{xyz}\end{equation}
+\end_inset
-\layout Standard
+
+\end_layout
+
+\begin_layout Standard
Pour l'instant, il n'y a aucun moyen officiel de reconvertir le contenu
d'un insert mathématique en texte standard.
Cependant vous pouvez y arriver par des voies détournées.
Sélectionnez le contenu de l'insert mathématique (pas l'insert lui-même,
seulement son contenu), mais ne le copiez
-\emph 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.
- Vous pouvez créer un répertoire contenant des liens symboliques vers les
- polices requises avec le script suivant
-\layout LyX-Code
-
-#!/bin/sh
-\layout LyX-Code
-
-\layout LyX-Code
-
-LYXDIR=`pwd`
-\layout LyX-Code
-
-LYX_XFONTS=$LYXDIR/xfonts
-\layout LyX-Code
-
-\layout LyX-Code
-
-if [ ! -d $LYX_XFONTS ]; then
-\layout LyX-Code
-
- mkdir $LYX_XFONTS || exit
-\layout LyX-Code
-
-fi
-\layout LyX-Code
-
-\layout LyX-Code
-
-rm -f $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
-\layout LyX-Code
-
-\layout LyX-Code
-
-for file in `sed -e 's/^
-\backslash
-(.*
-\backslash
-.pf[ab]
-\backslash
-) .*$/
-\backslash
-1/' < fonts-xlfd`; do
-\layout LyX-Code
-
- filepath=`kpsewhich $file`
-\layout LyX-Code
-
- if [ $? -eq 0 ]; then
-\layout LyX-Code
-
- if [ ! -e $LYX_XFONTS/$file ]; then
-\layout LyX-Code
-
- ln -s $filepath $LYX_XFONTS/$file
-\layout LyX-Code
-
- fi
-\layout LyX-Code
-
- echo `grep -e $file fonts-xlfd` >> $LYX_XFONTS/fonts.scale
-\layout LyX-Code
-
- echo "$file found."
-\layout LyX-Code
-
- fi
-\layout LyX-Code
-
-done
-\layout LyX-Code
-
-\layout LyX-Code
-
-awk "/
-\backslash
-.pf/ { nlines++ }
-\backslash
-
-\layout LyX-Code
-
-END { print nlines }" < $LYX_XFONTS/fonts.scale > $LYX_XFONTS/fonts.dir
-\layout LyX-Code
-
-\layout LyX-Code
-
-cat $LYX_XFONTS/fonts.scale >> $LYX_XFONTS/fonts.dir
-\layout LyX-Code
-
-cp $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
-\layout Standard
-
-où le fichier
-\family typewriter
-fonts-xlfd
-\family default
- contient
-\layout LyX-Code
-
-cmr10.pfb -bluesky-cmr-medium-r-normal--0-0-0-0-m-0-adobe-fontspecific
-\layout LyX-Code
-
-cmmi10.pfb -bluesky-cmmi-medium-i-normal--0-0-0-0-m-0-adobe-fontspecific
-\layout LyX-Code
-
-cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eufr10.pfb -bluesky-eufrak--medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eufb10.pfb -bluesky-eufrak-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eusr10.pfb -bluesky-eus-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-eusb10.pfb -bluesky-eus-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-msam10.pfb -bluesky-msam-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-msbm10.pfb -bluesky-msbm-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-marvosym.pfb -marvo-marvosym-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-wasy10.pfb -hoekwater-wasy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-wasyb10.pfb -hoekwater-wasy-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-logo10.pfb -hoekwater-logo-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-logobf10.pfb -hoekwater-logo-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcrm.pfa -adobe-lcrm-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcry.pfa -adobe-lcry-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout LyX-Code
-
-plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
-\layout Standard
+\end_layout
-Ensuite, vous devez dire indiquer au serveur X l'emplacement de ce répertoire
- et des polices s'y trouvant.
- Tapez
-\layout LyX-Code
-
-xset +fp LYX_XFONTS; xset fp rehash
-\layout Standard
-
-à la console, redémarrez LyX, chargez ce document et savourez !
-\layout Section
+\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
@@ -413,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
@@ -710,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
@@ -1787,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
@@ -2704,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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_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 $>$
-\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
|
-\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
@@ -3707,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
-\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
@@ -4482,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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_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 $\Re$
+\end_inset
-\begin_inset Formula $\Re $
-\end_inset
+\end_layout
-\end_inset
+\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_layout
-\end_inset
+\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_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 $\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
@@ -5371,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\end_layout
-\end_inset
+\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
@@ -5760,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_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\limsup $
-\end_inset
+\begin_inset Formula $\limsup$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\min$
+\end_inset
-\begin_inset Formula $\min $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\sinh $
-\end_inset
+\begin_inset Formula $\sinh$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\arcsin$
+\end_inset
-\begin_inset Formula $\arcsin $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\cosh $
-\end_inset
+\begin_inset Formula $\cosh$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\deg$
+\end_inset
-\begin_inset Formula $\deg $
-\end_inset
+\end_layout
-\end_inset
+\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_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\hom $
-\end_inset
+\begin_inset Formula $\hom$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\lim$
+\end_inset
-\begin_inset Formula $\lim $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\log $
-\end_inset
+\begin_inset Formula $\log$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\sec$
+\end_inset
-\begin_inset Formula $\sec $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\tan $
-\end_inset
+\begin_inset Formula $\tan$
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\arg$
+\end_inset
-\begin_inset Formula $\arg $
-\end_inset
+\end_layout
-\end_inset
+\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
+
+\end_layout
-\layout Caption
+\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
@@ -6185,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
-
-
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-{
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\}$
-\end_inset
-
+\end_inset
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
+\end_layout
-\family typewriter
-
-\backslash
-}
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
+\begin_layout Standard
-\begin_inset Formula $\updownarrow $
-\end_inset
+\family typewriter
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
+\backslash
+{
+\end_layout
-\backslash
-updownarrow
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $\Updownarrow $
-\end_inset
-
+\begin_layout Standard
-\end_inset
- |
-
-\begin_inset Text
-\layout Standard
+\begin_inset Formula $\}$
+\end_inset
-\family typewriter
+\end_layout
-\backslash
-Updownarrow
-\end_inset
+\end_inset
|
-
-
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\lfloor $
-\end_inset
+\family typewriter
+\backslash
+}
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\begin_inset Formula $\updownarrow$
+\end_inset
-\backslash
-lfloor
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\rfloor $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
-
-\backslash
-rfloor
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\lceil $
-\end_inset
+\family typewriter
+\backslash
+updownarrow
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
+\begin_layout Standard
-\family typewriter
-\backslash
-lceil
-\end_inset
- |
-
-\begin_inset Text
+\begin_inset Formula $\Updownarrow$
+\end_inset
-\layout Standard
+\end_layout
-\begin_inset Formula $\rceil $
-\end_inset
-
-
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
-rceil
-\end_inset
+\backslash
+Updownarrow
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $\langle $
-\end_inset
+\begin_layout Standard
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
+\begin_inset Formula $\lfloor$
+\end_inset
-\family typewriter
+\end_layout
-\backslash
-langle
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $\rangle $
-\end_inset
-
-
-\end_inset
- |
-
-\begin_inset Text
+\begin_layout Standard
-\layout Standard
+\family typewriter
-\family typewriter
+\backslash
+lfloor
+\end_layout
-\backslash
-rangle
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $/$
-\end_inset
+\begin_layout Standard
-\end_inset
- |
-
-\begin_inset Text
+\begin_inset Formula $\rfloor$
+\end_inset
-\layout Standard
+\end_layout
-\family typewriter
-/
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\backslash $
-\end_inset
+\family typewriter
+\backslash
+rfloor
+\end_layout
-\end_inset
- |
-
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-backslash
-\end_inset
+\end_inset
|
-
-
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $|$
-\end_inset
+\begin_layout Standard
-\end_inset
- |
-
-\begin_inset Text
+\begin_inset Formula $\lceil$
+\end_inset
-\layout Standard
+\end_layout
-\family typewriter
-|
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-
-\begin_inset Formula $\| $
-\end_inset
-
-
-\end_inset
- |
-
-\begin_inset Text
+\begin_layout Standard
-\layout Standard
+\family typewriter
-\family typewriter
+\backslash
+lceil
+\end_layout
-\backslash
-|
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\end_inset
- |
-
-\begin_inset Text
-\layout Standard
+\begin_inset Formula $\rceil$
+\end_inset
-\end_inset
- |
-
-\begin_inset Text
-\layout Standard
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
-
-\end_inset
- |
-
-
-
-\end_inset
-
-
-\layout Caption
-
-Délimiteurs
-\end_inset
-
-
-\layout Standard
-
+\begin_layout Standard
-\begin_inset Float table
-placement H
-wide false
-collapsed false
-\layout Standard
+\family typewriter
+\backslash
+rceil
+\end_layout
-\begin_inset Tabular
-
-
-
-
-
-
-
-
-
-
+\end_inset
+
+
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\rmoustache $
-\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
+langle
+\end_layout
-\backslash
-rmoustache
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\rangle$
+\end_inset
-\begin_inset Formula $\lmoustache $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
+
+\backslash
+rangle
+\end_layout
-\backslash
-lmoustache
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\rgroup $
-\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
+/
+\end_layout
-\backslash
-rgroup
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\backslash$
+\end_inset
-\begin_inset Formula $\lgroup $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
-lgroup
-\end_inset
+\backslash
+backslash
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\begin_inset Formula $\arrowvert $
-\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
+|
+\end_layout
-\backslash
-arrowvert
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\begin_inset Formula $\|$
+\end_inset
-\begin_inset Formula $\Arrowvert $
-\end_inset
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
+
+\backslash
+|
+\end_layout
-\backslash
-Arrowvert
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+\end_layout
-\begin_inset Formula $\bracevert $
-\end_inset
-
-
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+\end_layout
-\family typewriter
-
-\backslash
-bracevert
-\end_inset
+\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
+
+\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
@@ -6899,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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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
+
+\begin_layout Caption
+Structures mathématiques LaTeX
+\end_layout
-\layout Caption
+\end_inset
-Constructions mathématiques LaTeX
-\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
@@ -7234,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
-\layout Caption
+\end_layout
+
+\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
@@ -7389,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_layout
-\end_inset
+\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
+
+\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
@@ -7518,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_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
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
@@ -8353,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_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 $\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_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
|
\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
+
+\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
@@ -8532,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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_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 $\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 $\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
@@ -10191,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
@@ -11480,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
@@ -12093,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