X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Ffr%2FListesPuces.lyx;h=a11f75e399a30bbad5f6317514bb714cb4dcd898;hb=1f23d65f8f6bf6b24690698160b5f6f2a55a2d8b;hp=a7c55375cb192211fad2ee7c3e6758a854e71993;hpb=25aef8a80135e4742e6513c7cf0f54b56af128d7;p=lyx.git

diff --git a/lib/examples/fr/ListesPuces.lyx b/lib/examples/fr/ListesPuces.lyx
index a7c55375cb..a11f75e399 100644
--- a/lib/examples/fr/ListesPuces.lyx
+++ b/lib/examples/fr/ListesPuces.lyx
@@ -1,38 +1,73 @@
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 544
 \begin_document
 \begin_header
-\use_default_options false
+\save_transient_properties true
+\origin /systemlyxdir/examples/fr/
 \textclass article
 \begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
 \end_preamble
+\use_default_options false
+\maintain_unincluded_children false
 \language french
-\inputencoding latin1
-\font_roman default
-\font_sans default
-\font_typewriter default
+\language_package default
+\inputencoding auto
+\fontencoding global
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
 \font_default_family default
+\use_non_tex_fonts false
 \font_sc false
 \font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
+\font_sf_scale 100 100
+\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures false
 \graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
 \paperfontsize 10
 \spacing single
 \use_hyperref false
 \papersize default
 \use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 1
+\use_package esint 1
+\use_package mathdots 1
+\use_package mathtools 1
+\use_package mhchem 1
+\use_package stackrel 1
+\use_package stmaryrd 1
+\use_package undertilde 1
 \cite_engine basic
+\cite_engine_type default
+\biblio_style plain
 \use_bibtopic false
+\use_indices false
 \paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 0
+\use_minted 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
 \secnumdepth 3
 \tocdepth 3
 \paragraph_separation indent
-\defskip medskip
-\quotes_language french
+\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style swiss
+\dynamic_quotes 0
 \papercolumns 1
 \papersides 1
 \paperpagestyle default
@@ -42,7 +77,9 @@
 \bullet 3 0 8 -1
 \tracking_changes false
 \output_changes false
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
 \end_header
 
 \begin_body
@@ -117,12 +154,13 @@ chaque niveau peut avoir sa propre forme de puce
 
 \begin_deeper
 \begin_layout Itemize
-LyX affiche cependant toutes les puces comme des 
-\begin_inset Quotes fld
+\SpecialChar LyX
+ affiche cependant toutes les puces comme des 
+\begin_inset Quotes cld
 \end_inset
 
  * 
-\begin_inset Quotes frd
+\begin_inset Quotes crd
 \end_inset
 
 
@@ -132,7 +170,8 @@ LyX affiche cependant toutes les puces comme des
 \end_deeper
 \end_deeper
 \begin_layout Itemize
-À noter aussi que LyX 
+À noter aussi que \SpecialChar LyX
+ 
 \emph on
 ne vérifie pas
 \emph default
@@ -141,7 +180,8 @@ ne vérifie pas
 
 \begin_deeper
 \begin_layout Itemize
-Sauf pour appliquer la limite de profondeur de LaTeX qui est de 6 pour toutes
+Sauf pour appliquer la limite de profondeur de \SpecialChar LaTeX
+ qui est de 6 pour toutes
  les listes.
 \end_layout
 
@@ -160,7 +200,7 @@ Oui.
 \begin_layout Standard
 Vous pouvez accéder à la fenêtre par le menu 
 \family sans
-Document\SpecialChar \menuseparator
+Document\SpecialChar menuseparator
 Paramètres
 \family default
  et sélectionner l'onglet 
@@ -213,7 +253,7 @@ Standard
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="left" valignment="top" width="0pt">
@@ -225,21 +265,9 @@ Standard
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-normalfont
-\backslash
-bfseries{--}
-\end_layout
-
-\end_inset
-
 
+\series bold
+–
 \end_layout
 
 \end_inset
@@ -248,20 +276,7 @@ bfseries{--}
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-vdash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\vdash$
 \end_inset
 
 
@@ -273,20 +288,7 @@ vdash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-dashv
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\dashv$
 \end_inset
 
 
@@ -298,20 +300,7 @@ dashv
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-flat
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\flat$
 \end_inset
 
 
@@ -323,20 +312,7 @@ flat
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-natural
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\natural$
 \end_inset
 
 
@@ -348,20 +324,7 @@ natural
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-sharp
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\sharp$
 \end_inset
 
 
@@ -375,20 +338,7 @@ sharp
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-ast
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\ast$
 \end_inset
 
 
@@ -400,20 +350,7 @@ ast
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-star
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\star$
 \end_inset
 
 
@@ -425,20 +362,7 @@ star
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bullet
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\bullet$
 \end_inset
 
 
@@ -450,20 +374,7 @@ bullet
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circ
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\circ$
 \end_inset
 
 
@@ -475,20 +386,7 @@ circ
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-cdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\cdot$
 \end_inset
 
 
@@ -500,20 +398,7 @@ cdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-dagger
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\dagger$
 \end_inset
 
 
@@ -527,21 +412,20 @@ dagger
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\bigtriangleup$
+\end_inset
 
 
-\backslash
-(
-\backslash
-bigtriangleup
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\bigtriangledown$
+\end_inset
 
 
 \end_layout
@@ -552,21 +436,20 @@ bigtriangleup
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\triangleleft$
+\end_inset
 
 
-\backslash
-(
-\backslash
-bigtriangledown
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\triangleright$
+\end_inset
 
 
 \end_layout
@@ -577,46 +460,46 @@ bigtriangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\lhd$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangleleft
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\rhd$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
+</row>
+<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\oplus$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangleright
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\ominus$
+\end_inset
 
 
 \end_layout
@@ -627,46 +510,44 @@ triangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\otimes$
+\end_inset
 
 
-\backslash
-(
-\backslash
-lhd
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\oslash$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\odot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-rhd
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\spadesuit$
+\end_inset
 
 
 \end_layout
@@ -679,20 +560,7 @@ rhd
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-oplus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\diamond$
 \end_inset
 
 
@@ -704,497 +572,7 @@ oplus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-ominus
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-otimes
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-oslash
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-odot
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-spadesuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-diamond
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Diamond
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Box
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-diamondsuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-heartsuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-clubsuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-leadsto
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoonup
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoondown
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-succ
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-</lyxtabular>
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset VSpace 0.3cm
-\end_inset
-
-
-\end_layout
-
-\begin_layout Subsection*
-Maths (Symboles AMS
-\begin_inset Foot
-status collapsed
-
-\begin_layout Plain Layout
-American Mathematical Society
-\end_layout
-
-\end_inset
-
-)
-\end_layout
-
-\begin_layout Standard
-\begin_inset VSpace 0.3cm
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\align center
-\begin_inset Tabular
-<lyxtabular version="3" rows="6" columns="6">
-<features>
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rrightarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Diamond$
 \end_inset
 
 
@@ -1206,20 +584,7 @@ Rrightarrow
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrowtail
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Box$
 \end_inset
 
 
@@ -1231,20 +596,7 @@ rightarrowtail
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-twoheadrightarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\diamondsuit$
 \end_inset
 
 
@@ -1256,20 +608,7 @@ twoheadrightarrow
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightsquigarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\heartsuit$
 \end_inset
 
 
@@ -1277,24 +616,11 @@ rightsquigarrow
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-looparrowright
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\clubsuit$
 \end_inset
 
 
@@ -1302,24 +628,13 @@ looparrowright
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-multimap
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightarrow$
 \end_inset
 
 
@@ -1327,26 +642,11 @@ multimap
 
 \end_inset
 </cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxtimes
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\leadsto$
 \end_inset
 
 
@@ -1354,24 +654,11 @@ boxtimes
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxplus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightharpoonup$
 \end_inset
 
 
@@ -1379,24 +666,11 @@ boxplus
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxminus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightharpoondown$
 \end_inset
 
 
@@ -1404,24 +678,11 @@ boxminus
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Rightarrow$
 \end_inset
 
 
@@ -1429,76 +690,71 @@ boxdot
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\succ$
+\end_inset
 
 
-\backslash
-(
-\backslash
-divideontimes
-\backslash
-)
 \end_layout
 
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
 \end_inset
 
 
 \end_layout
 
+\begin_layout Standard
+\begin_inset VSpace 0.3cm
 \end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
 
-\begin_layout Plain Layout
-\begin_inset ERT
+
+\end_layout
+
+\begin_layout Subsection*
+Maths (Symboles AMS
+\begin_inset Foot
 status collapsed
 
 \begin_layout Plain Layout
+American Mathematical Society
+\end_layout
 
+\end_inset
 
-\backslash
-(
-\backslash
-Vvdash
-\backslash
 )
 \end_layout
 
+\begin_layout Standard
+\begin_inset VSpace 0.3cm
 \end_inset
 
 
 \end_layout
 
-\end_inset
-</cell>
-</row>
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="6" columns="6">
+<features tabularvalignment="middle">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
 <row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-lessdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Rrightarrow$
 \end_inset
 
 
@@ -1510,20 +766,7 @@ lessdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-gtrdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightarrowtail$
 \end_inset
 
 
@@ -1535,20 +778,7 @@ gtrdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-maltese
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\twoheadrightarrow$
 \end_inset
 
 
@@ -1560,20 +790,7 @@ maltese
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bigstar
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightsquigarrow$
 \end_inset
 
 
@@ -1585,73 +802,70 @@ bigstar
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\looparrowright$
+\end_inset
 
 
-\backslash
-(
-\backslash
-checkmark
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\multimap$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\boxtimes$
+\end_inset
 
 
-\backslash
-(
-\backslash
-Vdash
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\boxplus$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-</row>
-<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\boxminus$
+\end_inset
 
 
-\backslash
-(
-\backslash
-backsim
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\boxdot$
+\end_inset
 
 
 \end_layout
@@ -1662,45 +876,33 @@ backsim
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\divideontimes$
+\end_inset
 
 
-\backslash
-(
-\backslash
-thicksim
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\Vvdash$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
+</row>
+<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-centerdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\lessdot$
 \end_inset
 
 
@@ -1712,21 +914,20 @@ centerdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\gtrdot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-circleddash
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\maltese$
+\end_inset
 
 
 \end_layout
@@ -1737,21 +938,20 @@ circleddash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\bigstar$
+\end_inset
 
 
-\backslash
-(
-\backslash
-circledast
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\checkmark$
+\end_inset
 
 
 \end_layout
@@ -1762,20 +962,7 @@ circledast
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circledcirc
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Vdash$
 \end_inset
 
 
@@ -1789,21 +976,20 @@ circledcirc
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\backsim$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangleleft
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\thicksim$
+\end_inset
 
 
 \end_layout
@@ -1814,21 +1000,20 @@ vartriangleleft
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\centerdot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangleright
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\circleddash$
+\end_inset
 
 
 \end_layout
@@ -1839,46 +1024,46 @@ vartriangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\circledast$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangle
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\circledcirc$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
+</row>
+<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\vartriangleleft$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangledown
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\vartriangleright$
+\end_inset
 
 
 \end_layout
@@ -1889,46 +1074,44 @@ triangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\vartriangle$
+\end_inset
 
 
-\backslash
-(
-\backslash
-lozenge
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\triangledown$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\lozenge$
+\end_inset
 
 
-\backslash
-(
-\backslash
-square
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\square$
+\end_inset
 
 
 \end_layout
@@ -1941,20 +1124,7 @@ square
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangleleft
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangleleft$
 \end_inset
 
 
@@ -1966,20 +1136,7 @@ blacktriangleleft
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangleright
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangleright$
 \end_inset
 
 
@@ -1991,20 +1148,7 @@ blacktriangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangle
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangle$
 \end_inset
 
 
@@ -2016,20 +1160,7 @@ blacktriangle
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangledown
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangledown$
 \end_inset
 
 
@@ -2041,20 +1172,7 @@ blacktriangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacklozenge
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacklozenge$
 \end_inset
 
 
@@ -2066,20 +1184,7 @@ blacklozenge
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacksquare
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacksquare$
 \end_inset
 
 
@@ -2109,8 +1214,8 @@ status collapsed
 
 \begin_layout Plain Layout
 NFSS est le nouveau schéma de sélection de police (New Font Selecting Scheme)
- de LaTeX2e (basiquement, c'est ce qui a changé les commandes de police
- de 
+ de \SpecialChar LaTeX2e
+ (basiquement, c'est ce qui a changé les commandes de police de 
 \family typewriter
 {
 \backslash
@@ -2124,9 +1229,9 @@ textbf{...}
 \family default
 , bien que les vrais changements soient à l'intérieur).
  PS signifie PostScript®.
- PSNFSS est un ensemble de fichiers LaTeX qui fournissent le support de
- NFSS pour les 35 polices PS de base présentes dans beaucoup d'imprimantes
- postscript.
+ PSNFSS est un ensemble de fichiers \SpecialChar LaTeX
+ qui fournissent le support de NFSS
+ pour les 35 polices PS de base présentes dans beaucoup d'imprimantes postscript.
 \end_layout
 
 \end_inset
@@ -2145,7 +1250,7 @@ textbf{...}
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -2949,7 +2054,7 @@ Ding 2
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -3753,7 +2858,7 @@ Ding 3
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -4557,7 +3662,7 @@ Ding 4
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">