-#LyX 1.2 created this file. For more info see http://www.lyx.org/
-\lyxformat 220
+#LyX 1.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 221
\textclass article
\language frenchb
\inputencoding latin1
\layout Section
-Conversion de et vers Mathed
+Conversion de et vers l'éditeur mathématique
\begin_inset Note
collapsed true
Informations de révision :
\layout Standard
-Traduction : Mise à jour Date : 19/06/2002
+Traduction : Mise à jour Date : 07/07/2003
\layout Standard
-Original : Révision: 1.6, Date : 19/06/2002
+Original : Révision: 1.8, Date : 17/01/2003
\end_inset
\layout Standard
Vous pouvez taper des maths dans le corps du document puis les convertir
- en Mathed en les sélectionnant et en tapant
+ en mode mathématique en les sélectionnant et en tapant
\family sans
M-c\SpecialChar ~
m
\family default
.
Le texte peut être séparé par des délimiteurs ou non.
- Ainsi, en sélectionnant les formules ci-dessous :
+ Ainsi, en sélectionnant l'une des formules ci-dessous :
\layout Standard
\align center
Afficher les symboles LaTeX
\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
+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
les symboles supplémentaires définis par l'AMS.
Par souci d'exhaustivité, nous vous reproduisons plus bas les tableaux
de symboles qui se trouvent dans les livres de Lamport et de Goossen.
-\layout Standard
-
-Cependant pour afficher ces symboles supplémentaires, il faut que les polices
- nécessaires soient visibles par LyX.
- Après avoir installé LyX, tapez
-\layout LyX-Code
-
-xset +fp REP_LYX/xfonts
-\layout Standard
-
-à la console (où REP_LYX est le répertoire contenant les fichiers LyX),
- redémarrez LyX, chargez ce document et savourez !
-\layout Standard
-
-Pour rendre ces polices visibles en permanence, vous devez éditer l'un des
- fichiers suivants (selon votre configuration) :
-\family typewriter
-/etc/X11/XF86Config-4
-\family default
-,
-\family typewriter
-/etc/X11/XF86Config
-\family default
- ou
-\family typewriter
-/etc/X11/fs/config
-\family default
-.
\layout Section
Quelques tableaux de symboles mathématiques
\layout Standard
-Si vous avez suivi les instructions qui précèdent, les tableaux ci-dessous
- extraits du livre
+Les tableaux ci-dessous extraits du livre
\begin_inset Quotes fld
\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 !
+ vont apparaître à l'écran dans toute leur splendeur.
\layout Standard
\begin_inset ERT
-status Open
+status Collapsed
\layout Standard
\layout Standard
-\begin_inset Formula $\alpha $
+\begin_inset Formula $\alpha$
\end_inset
\layout Standard
-\begin_inset Formula $\beta $
+\begin_inset Formula $\beta$
\end_inset
\layout Standard
-\begin_inset Formula $\gamma $
+\begin_inset Formula $\gamma$
\end_inset
\layout Standard
-\begin_inset Formula $\delta $
+\begin_inset Formula $\delta$
\end_inset
\layout Standard
-\begin_inset Formula $\epsilon $
+\begin_inset Formula $\epsilon$
\end_inset
\layout Standard
-\begin_inset Formula $\varepsilon $
+\begin_inset Formula $\varepsilon$
\end_inset
\layout Standard
-\begin_inset Formula $\zeta $
+\begin_inset Formula $\zeta$
\end_inset
\layout Standard
-\begin_inset Formula $\eta $
+\begin_inset Formula $\eta$
\end_inset
\layout Standard
-\begin_inset Formula $\theta $
+\begin_inset Formula $\theta$
\end_inset
\layout Standard
-\begin_inset Formula $\vartheta $
+\begin_inset Formula $\vartheta$
\end_inset
\layout Standard
-\begin_inset Formula $\iota $
+\begin_inset Formula $\iota$
\end_inset
\layout Standard
-\begin_inset Formula $\kappa $
+\begin_inset Formula $\kappa$
\end_inset
\layout Standard
-\begin_inset Formula $\lambda $
+\begin_inset Formula $\lambda$
\end_inset
\layout Standard
-\begin_inset Formula $\mu $
+\begin_inset Formula $\mu$
\end_inset
\layout Standard
-\begin_inset Formula $\nu $
+\begin_inset Formula $\nu$
\end_inset
\layout Standard
-\begin_inset Formula $\xi $
+\begin_inset Formula $\xi$
\end_inset
\layout Standard
-\begin_inset Formula $\pi $
+\begin_inset Formula $\pi$
\end_inset
\layout Standard
-\begin_inset Formula $\varpi $
+\begin_inset Formula $\varpi$
\end_inset
\layout Standard
-\begin_inset Formula $\rho $
+\begin_inset Formula $\rho$
\end_inset
\layout Standard
-\begin_inset Formula $\varrho $
+\begin_inset Formula $\varrho$
\end_inset
\layout Standard
-\begin_inset Formula $\sigma $
+\begin_inset Formula $\sigma$
\end_inset
\layout Standard
-\begin_inset Formula $\varsigma $
+\begin_inset Formula $\varsigma$
\end_inset
\layout Standard
-\begin_inset Formula $\tau $
+\begin_inset Formula $\tau$
\end_inset
\layout Standard
-\begin_inset Formula $\upsilon $
+\begin_inset Formula $\upsilon$
\end_inset
\layout Standard
-\begin_inset Formula $\phi $
+\begin_inset Formula $\phi$
\end_inset
\layout Standard
-\begin_inset Formula $\varphi $
+\begin_inset Formula $\varphi$
\end_inset
\layout Standard
-\begin_inset Formula $\chi $
+\begin_inset Formula $\chi$
\end_inset
\layout Standard
-\begin_inset Formula $\psi $
+\begin_inset Formula $\psi$
\end_inset
\layout Standard
-\begin_inset Formula $\omega $
+\begin_inset Formula $\omega$
\end_inset
\layout Standard
-\begin_inset Formula $\Gamma $
+\begin_inset Formula $\Gamma$
\end_inset
\layout Standard
-\begin_inset Formula $\Delta $
+\begin_inset Formula $\Delta$
\end_inset
\layout Standard
-\begin_inset Formula $\Theta $
+\begin_inset Formula $\Theta$
\end_inset
\layout Standard
-\begin_inset Formula $\Lambda $
+\begin_inset Formula $\Lambda$
\end_inset
\layout Standard
-\begin_inset Formula $\Xi $
+\begin_inset Formula $\Xi$
\end_inset
\layout Standard
-\begin_inset Formula $\Pi $
+\begin_inset Formula $\Pi$
\end_inset
\layout Standard
-\begin_inset Formula $\Sigma $
+\begin_inset Formula $\Sigma$
\end_inset
\layout Standard
-\begin_inset Formula $\Upsilon $
+\begin_inset Formula $\Upsilon$
\end_inset
\layout Standard
-\begin_inset Formula $\Phi $
+\begin_inset Formula $\Phi$
\end_inset
\layout Standard
-\begin_inset Formula $\Psi $
+\begin_inset Formula $\Psi$
\end_inset
\layout Standard
-\begin_inset Formula $\Omega $
+\begin_inset Formula $\Omega$
\end_inset
\layout Standard
-\begin_inset Formula $\pm $
+\begin_inset Formula $\pm$
\end_inset
\layout Standard
-\begin_inset Formula $\cap $
+\begin_inset Formula $\cap$
\end_inset
\layout Standard
-\begin_inset Formula $\diamond $
+\begin_inset Formula $\diamond$
\end_inset
\layout Standard
-\begin_inset Formula $\oplus $
+\begin_inset Formula $\oplus$
\end_inset
\layout Standard
-\begin_inset Formula $\mp $
+\begin_inset Formula $\mp$
\end_inset
\layout Standard
-\begin_inset Formula $\cup $
+\begin_inset Formula $\cup$
\end_inset
\layout Standard
-\begin_inset Formula $\bigtriangleup $
+\begin_inset Formula $\bigtriangleup$
\end_inset
\layout Standard
-\begin_inset Formula $\ominus $
+\begin_inset Formula $\ominus$
\end_inset
\layout Standard
-\begin_inset Formula $\times $
+\begin_inset Formula $\times$
\end_inset
\layout Standard
-\begin_inset Formula $\uplus $
+\begin_inset Formula $\uplus$
\end_inset
\layout Standard
-\begin_inset Formula $\bigtriangledown $
+\begin_inset Formula $\bigtriangledown$
\end_inset
\layout Standard
-\begin_inset Formula $\otimes $
+\begin_inset Formula $\otimes$
\end_inset
\layout Standard
-\begin_inset Formula $\div $
+\begin_inset Formula $\div$
\end_inset
\layout Standard
-\begin_inset Formula $\sqcap $
+\begin_inset Formula $\sqcap$
\end_inset
\layout Standard
-\begin_inset Formula $\triangleleft $
+\begin_inset Formula $\triangleleft$
\end_inset
\layout Standard
-\begin_inset Formula $\oslash $
+\begin_inset Formula $\oslash$
\end_inset
\layout Standard
-\begin_inset Formula $\ast $
+\begin_inset Formula $\ast$
\end_inset
\layout Standard
-\begin_inset Formula $\sqcup $
+\begin_inset Formula $\sqcup$
\end_inset
\layout Standard
-\begin_inset Formula $\triangleright $
+\begin_inset Formula $\triangleright$
\end_inset
\layout Standard
-\begin_inset Formula $\odot $
+\begin_inset Formula $\odot$
\end_inset
\layout Standard
-\begin_inset Formula $\star $
+\begin_inset Formula $\star$
\end_inset
\layout Standard
-\begin_inset Formula $\vee $
+\begin_inset Formula $\vee$
\end_inset
\layout Standard
-\begin_inset Formula $\lhd $
+\begin_inset Formula $\lhd$
\end_inset
\layout Standard
-\begin_inset Formula $\bigcirc $
+\begin_inset Formula $\bigcirc$
\end_inset
\layout Standard
-\begin_inset Formula $\circ $
+\begin_inset Formula $\circ$
\end_inset
\layout Standard
-\begin_inset Formula $\wedge $
+\begin_inset Formula $\wedge$
\end_inset
\layout Standard
-\begin_inset Formula $\rhd $
+\begin_inset Formula $\rhd$
\end_inset
\layout Standard
-\begin_inset Formula $\dagger $
+\begin_inset Formula $\dagger$
\end_inset
\layout Standard
-\begin_inset Formula $\bullet $
+\begin_inset Formula $\bullet$
\end_inset
\layout Standard
-\begin_inset Formula $\setminus $
+\begin_inset Formula $\setminus$
\end_inset
\layout Standard
-\begin_inset Formula $\unlhd $
+\begin_inset Formula $\unlhd$
\end_inset
\layout Standard
-\begin_inset Formula $\ddagger $
+\begin_inset Formula $\ddagger$
\end_inset
\layout Standard
-\begin_inset Formula $\cdot $
+\begin_inset Formula $\cdot$
\end_inset
\layout Standard
-\begin_inset Formula $\wr $
+\begin_inset Formula $\wr$
\end_inset
\layout Standard
-\begin_inset Formula $\unrhd $
+\begin_inset Formula $\unrhd$
\end_inset
\layout Standard
-\begin_inset Formula $\amalg $
+\begin_inset Formula $\amalg$
\end_inset
\layout Standard
-\begin_inset Formula $\leq $
+\begin_inset Formula $\leq$
\end_inset
\layout Standard
-\begin_inset Formula $\geq $
+\begin_inset Formula $\geq$
\end_inset
\layout Standard
-\begin_inset Formula $\equiv $
+\begin_inset Formula $\equiv$
\end_inset
\layout Standard
-\begin_inset Formula $\models $
+\begin_inset Formula $\models$
\end_inset
\layout Standard
-\begin_inset Formula $\prec $
+\begin_inset Formula $\prec$
\end_inset
\layout Standard
-\begin_inset Formula $\succ $
+\begin_inset Formula $\succ$
\end_inset
\layout Standard
-\begin_inset Formula $\sim $
+\begin_inset Formula $\sim$
\end_inset
\layout Standard
-\begin_inset Formula $\perp $
+\begin_inset Formula $\perp$
\end_inset
\layout Standard
-\begin_inset Formula $\preceq $
+\begin_inset Formula $\preceq$
\end_inset
\layout Standard
-\begin_inset Formula $\succeq $
+\begin_inset Formula $\succeq$
\end_inset
\layout Standard
-\begin_inset Formula $\simeq $
+\begin_inset Formula $\simeq$
\end_inset
\layout Standard
-\begin_inset Formula $\mid $
+\begin_inset Formula $\mid$
\end_inset
\layout Standard
-\begin_inset Formula $\ll $
+\begin_inset Formula $\ll$
\end_inset
\layout Standard
-\begin_inset Formula $\gg $
+\begin_inset Formula $\gg$
\end_inset
\layout Standard
-\begin_inset Formula $\asymp $
+\begin_inset Formula $\asymp$
\end_inset
\layout Standard
-\begin_inset Formula $\parallel $
+\begin_inset Formula $\parallel$
\end_inset
\layout Standard
-\begin_inset Formula $\subset $
+\begin_inset Formula $\subset$
\end_inset
\layout Standard
-\begin_inset Formula $\supset $
+\begin_inset Formula $\supset$
\end_inset
\layout Standard
-\begin_inset Formula $\approx $
+\begin_inset Formula $\approx$
\end_inset
\layout Standard
-\begin_inset Formula $\bowtie $
+\begin_inset Formula $\bowtie$
\end_inset
\layout Standard
-\begin_inset Formula $\subseteq $
+\begin_inset Formula $\subseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\supseteq $
+\begin_inset Formula $\supseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\cong $
+\begin_inset Formula $\cong$
\end_inset
\layout Standard
-\begin_inset Formula $\Join $
+\begin_inset Formula $\Join$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
\end_inset
\layout Standard
-\begin_inset Formula $\neq $
+\begin_inset Formula $\neq$
\end_inset
\layout Standard
-\begin_inset Formula $\smile $
+\begin_inset Formula $\smile$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsubseteq $
+\begin_inset Formula $\sqsubseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsupseteq $
+\begin_inset Formula $\sqsupseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\doteq $
+\begin_inset Formula $\doteq$
\end_inset
\layout Standard
-\begin_inset Formula $\frown $
+\begin_inset Formula $\frown$
\end_inset
\layout Standard
-\begin_inset Formula $\in $
+\begin_inset Formula $\in$
\end_inset
\layout Standard
-\begin_inset Formula $\ni $
+\begin_inset Formula $\ni$
\end_inset
\layout Standard
-\begin_inset Formula $\propto $
+\begin_inset Formula $\propto$
\end_inset
\layout Standard
-\begin_inset Formula $\vdash $
+\begin_inset Formula $\vdash$
\end_inset
\layout Standard
-\begin_inset Formula $\dashv $
+\begin_inset Formula $\dashv$
\end_inset
\layout Standard
-\begin_inset Formula $\leftarrow $
+\begin_inset Formula $\leftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\longleftarrow $
+\begin_inset Formula $\longleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Leftarrow $
+\begin_inset Formula $\Leftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Longleftarrow $
+\begin_inset Formula $\Longleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
\end_inset
\layout Standard
-\begin_inset Formula $\rightarrow $
+\begin_inset Formula $\rightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\longrightarrow $
+\begin_inset Formula $\longrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Rightarrow $
+\begin_inset Formula $\Rightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Longrightarrow $
+\begin_inset Formula $\Longrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leftrightarrow $
+\begin_inset Formula $\leftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\longleftrightarrow $
+\begin_inset Formula $\longleftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Leftrightarrow $
+\begin_inset Formula $\Leftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Longleftrightarrow $
+\begin_inset Formula $\Longleftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\mapsto $
+\begin_inset Formula $\mapsto$
\end_inset
\layout Standard
-\begin_inset Formula $\longmapsto $
+\begin_inset Formula $\longmapsto$
\end_inset
\layout Standard
-\begin_inset Formula $\nearrow $
+\begin_inset Formula $\nearrow$
\end_inset
\layout Standard
-\begin_inset Formula $\hookleftarrow $
+\begin_inset Formula $\hookleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\hookrightarrow $
+\begin_inset Formula $\hookrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\searrow $
+\begin_inset Formula $\searrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leftharpoonup $
+\begin_inset Formula $\leftharpoonup$
\end_inset
\layout Standard
-\begin_inset Formula $\rightharpoonup $
+\begin_inset Formula $\rightharpoonup$
\end_inset
\layout Standard
-\begin_inset Formula $\swarrow $
+\begin_inset Formula $\swarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leftharpoondown $
+\begin_inset Formula $\leftharpoondown$
\end_inset
\layout Standard
-\begin_inset Formula $\rightharpoondown $
+\begin_inset Formula $\rightharpoondown$
\end_inset
\layout Standard
-\begin_inset Formula $\nwarrow $
+\begin_inset Formula $\nwarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\ldots $
+\begin_inset Formula $\ldots$
\end_inset
\layout Standard
-\begin_inset Formula $\cdots $
+\begin_inset Formula $\cdots$
\end_inset
\layout Standard
-\begin_inset Formula $\vdots $
+\begin_inset Formula $\vdots$
\end_inset
\layout Standard
-\begin_inset Formula $\ddots $
+\begin_inset Formula $\ddots$
\end_inset
\layout Standard
-\begin_inset Formula $\aleph $
+\begin_inset Formula $\aleph$
\end_inset
\layout Standard
-\begin_inset Formula $\prime $
+\begin_inset Formula $\prime$
\end_inset
\layout Standard
-\begin_inset Formula $\forall $
+\begin_inset Formula $\forall$
\end_inset
\layout Standard
-\begin_inset Formula $\infty $
+\begin_inset Formula $\infty$
\end_inset
\layout Standard
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
\end_inset
\layout Standard
-\begin_inset Formula $\emptyset $
+\begin_inset Formula $\emptyset$
\end_inset
\layout Standard
-\begin_inset Formula $\exists $
+\begin_inset Formula $\exists$
\end_inset
\layout Standard
-\begin_inset Formula $\nabla $
+\begin_inset Formula $\nabla$
\end_inset
\layout Standard
-\begin_inset Formula $\surd $
+\begin_inset Formula $\surd$
\end_inset
\layout Standard
-\begin_inset Formula $\Box $
+\begin_inset Formula $\Box$
\end_inset
\layout Standard
-\begin_inset Formula $\triangle $
+\begin_inset Formula $\triangle$
\end_inset
\layout Standard
-\begin_inset Formula $\Diamond $
+\begin_inset Formula $\Diamond$
\end_inset
\layout Standard
-\begin_inset Formula $\imath $
+\begin_inset Formula $\imath$
\end_inset
\layout Standard
-\begin_inset Formula $\jmath $
+\begin_inset Formula $\jmath$
\end_inset
\layout Standard
-\begin_inset Formula $\ell $
+\begin_inset Formula $\ell$
\end_inset
\layout Standard
-\begin_inset Formula $\neg $
+\begin_inset Formula $\neg$
\end_inset
\layout Standard
-\begin_inset Formula $\top $
+\begin_inset Formula $\top$
\end_inset
\layout Standard
-\begin_inset Formula $\flat $
+\begin_inset Formula $\flat$
\end_inset
\layout Standard
-\begin_inset Formula $\natural $
+\begin_inset Formula $\natural$
\end_inset
\layout Standard
-\begin_inset Formula $\sharp $
+\begin_inset Formula $\sharp$
\end_inset
\layout Standard
-\begin_inset Formula $\wp $
+\begin_inset Formula $\wp$
\end_inset
\layout Standard
-\begin_inset Formula $\bot $
+\begin_inset Formula $\bot$
\end_inset
\layout Standard
-\begin_inset Formula $\clubsuit $
+\begin_inset Formula $\clubsuit$
\end_inset
\layout Standard
-\begin_inset Formula $\diamondsuit $
+\begin_inset Formula $\diamondsuit$
\end_inset
\layout Standard
-\begin_inset Formula $\heartsuit $
+\begin_inset Formula $\heartsuit$
\end_inset
\layout Standard
-\begin_inset Formula $\spadesuit $
+\begin_inset Formula $\spadesuit$
\end_inset
\layout Standard
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
\end_inset
\layout Standard
-\begin_inset Formula $\Re $
+\begin_inset Formula $\Re$
\end_inset
\layout Standard
-\begin_inset Formula $\Im $
+\begin_inset Formula $\Im$
\end_inset
\layout Standard
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
\end_inset
\layout Standard
-\begin_inset Formula $\partial $
+\begin_inset Formula $\partial$
\end_inset
\layout Standard
-\begin_inset Formula $\sum $
+\begin_inset Formula $\sum$
\end_inset
\layout Standard
-\begin_inset Formula $\prod $
+\begin_inset Formula $\prod$
\end_inset
\layout Standard
-\begin_inset Formula $\coprod $
+\begin_inset Formula $\coprod$
\end_inset
\layout Standard
-\begin_inset Formula $\int $
+\begin_inset Formula $\int$
\end_inset
\layout Standard
-\begin_inset Formula $\oint $
+\begin_inset Formula $\oint$
\end_inset
\layout Standard
-\begin_inset Formula $\bigcap $
+\begin_inset Formula $\bigcap$
\end_inset
\layout Standard
-\begin_inset Formula $\bigcup $
+\begin_inset Formula $\bigcup$
\end_inset
\layout Standard
-\begin_inset Formula $\bigsqcup $
+\begin_inset Formula $\bigsqcup$
\end_inset
\layout Standard
-\begin_inset Formula $\bigvee $
+\begin_inset Formula $\bigvee$
\end_inset
\layout Standard
-\begin_inset Formula $\bigwedge $
+\begin_inset Formula $\bigwedge$
\end_inset
\layout Standard
-\begin_inset Formula $\bigodot $
+\begin_inset Formula $\bigodot$
\end_inset
\layout Standard
-\begin_inset Formula $\bigotimes $
+\begin_inset Formula $\bigotimes$
\end_inset
\layout Standard
-\begin_inset Formula $\bigoplus $
+\begin_inset Formula $\bigoplus$
\end_inset
\layout Standard
-\begin_inset Formula $\biguplus $
+\begin_inset Formula $\biguplus$
\end_inset
\layout Standard
-\begin_inset Formula $\arccos $
+\begin_inset Formula $\arccos$
\end_inset
\layout Standard
-\begin_inset Formula $\cos $
+\begin_inset Formula $\cos$
\end_inset
\layout Standard
-\begin_inset Formula $\csc $
+\begin_inset Formula $\csc$
\end_inset
\layout Standard
-\begin_inset Formula $\exp $
+\begin_inset Formula $\exp$
\end_inset
\layout Standard
-\begin_inset Formula $\ker $
+\begin_inset Formula $\ker$
\end_inset
\layout Standard
-\begin_inset Formula $\limsup $
+\begin_inset Formula $\limsup$
\end_inset
\layout Standard
-\begin_inset Formula $\min $
+\begin_inset Formula $\min$
\end_inset
\layout Standard
-\begin_inset Formula $\sinh $
+\begin_inset Formula $\sinh$
\end_inset
\layout Standard
-\begin_inset Formula $\arcsin $
+\begin_inset Formula $\arcsin$
\end_inset
\layout Standard
-\begin_inset Formula $\cosh $
+\begin_inset Formula $\cosh$
\end_inset
\layout Standard
-\begin_inset Formula $\deg $
+\begin_inset Formula $\deg$
\end_inset
\layout Standard
-\begin_inset Formula $\gcd $
+\begin_inset Formula $\gcd$
\end_inset
\layout Standard
-\begin_inset Formula $\lg $
+\begin_inset Formula $\lg$
\end_inset
\layout Standard
-\begin_inset Formula $\ln $
+\begin_inset Formula $\ln$
\end_inset
\layout Standard
-\begin_inset Formula $\Pr $
+\begin_inset Formula $\Pr$
\end_inset
\layout Standard
-\begin_inset Formula $\sup $
+\begin_inset Formula $\sup$
\end_inset
\layout Standard
-\begin_inset Formula $\arctan $
+\begin_inset Formula $\arctan$
\end_inset
\layout Standard
-\begin_inset Formula $\cot $
+\begin_inset Formula $\cot$
\end_inset
\layout Standard
-\begin_inset Formula $\det $
+\begin_inset Formula $\det$
\end_inset
\layout Standard
-\begin_inset Formula $\hom $
+\begin_inset Formula $\hom$
\end_inset
\layout Standard
-\begin_inset Formula $\lim $
+\begin_inset Formula $\lim$
\end_inset
\layout Standard
-\begin_inset Formula $\log $
+\begin_inset Formula $\log$
\end_inset
\layout Standard
-\begin_inset Formula $\sec $
+\begin_inset Formula $\sec$
\end_inset
\layout Standard
-\begin_inset Formula $\tan $
+\begin_inset Formula $\tan$
\end_inset
\layout Standard
-\begin_inset Formula $\arg $
+\begin_inset Formula $\arg$
\end_inset
\layout Standard
-\begin_inset Formula $\coth $
+\begin_inset Formula $\coth$
\end_inset
\layout Standard
-\begin_inset Formula $\dim $
+\begin_inset Formula $\dim$
\end_inset
\layout Standard
-\begin_inset Formula $\inf $
+\begin_inset Formula $\inf$
\end_inset
\layout Standard
-\begin_inset Formula $\liminf $
+\begin_inset Formula $\liminf$
\end_inset
\layout Standard
-\begin_inset Formula $\max $
+\begin_inset Formula $\max$
\end_inset
\layout Standard
-\begin_inset Formula $\sin $
+\begin_inset Formula $\sin$
\end_inset
\layout Standard
-\begin_inset Formula $\tanh $
+\begin_inset Formula $\tanh$
\end_inset
\layout Standard
-\begin_inset Formula $\uparrow $
+\begin_inset Formula $\uparrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Uparrow $
+\begin_inset Formula $\Uparrow$
\end_inset
\layout Standard
-\begin_inset Formula $\downarrow $
+\begin_inset Formula $\downarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Downarrow $
+\begin_inset Formula $\Downarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\{ $
+\begin_inset Formula $\{$
\end_inset
\layout Standard
-\begin_inset Formula $\} $
+\begin_inset Formula $\}$
\end_inset
\layout Standard
-\begin_inset Formula $\updownarrow $
+\begin_inset Formula $\updownarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\Updownarrow $
+\begin_inset Formula $\Updownarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\lfloor $
+\begin_inset Formula $\lfloor$
\end_inset
\layout Standard
-\begin_inset Formula $\rfloor $
+\begin_inset Formula $\rfloor$
\end_inset
\layout Standard
-\begin_inset Formula $\lceil $
+\begin_inset Formula $\lceil$
\end_inset
\layout Standard
-\begin_inset Formula $\rceil $
+\begin_inset Formula $\rceil$
\end_inset
\layout Standard
-\begin_inset Formula $\langle $
+\begin_inset Formula $\langle$
\end_inset
\layout Standard
-\begin_inset Formula $\rangle $
+\begin_inset Formula $\rangle$
\end_inset
\layout Standard
-\begin_inset Formula $\backslash $
+\begin_inset Formula $\backslash$
\end_inset
\layout Standard
-\begin_inset Formula $\| $
+\begin_inset Formula $\|$
\end_inset
\layout Standard
-\begin_inset Tabular
-<lyxtabular version="3" rows="2" columns="8">
-<features>
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<column alignment="right" valignment="top" width="0pt">
-<column alignment="left" valignment="top" width="0pt">
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\rmoustache $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-rmoustache
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\lmoustache $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-lmoustache
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\rgroup $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-rgroup
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\lgroup $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-lgroup
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\arrowvert $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-arrowvert
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\Arrowvert $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-Arrowvert
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\begin_inset Formula $\bracevert $
-\end_inset
-
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-
-\family typewriter
-
-\backslash
-bracevert
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\layout Standard
-
-\end_inset
-</cell>
-</row>
-</lyxtabular>
-
-\end_inset
-
-
-\layout Caption
-
-Grands délimiteurs
-\end_inset
-
-
-\layout Standard
-
-
-\begin_inset Float table
-placement H
-wide false
-collapsed false
-
-\layout Standard
-
-
\begin_inset Tabular
<lyxtabular version="3" rows="6" columns="4">
<features>
\layout Caption
-Constructions mathématiques LaTeX
+Structures mathématiques LaTeX
\end_inset
\layout Standard
-\begin_inset Formula $\digamma $
+\begin_inset Formula $\digamma$
\end_inset
\layout Standard
-\begin_inset Formula $\varkappa $
+\begin_inset Formula $\varkappa$
\end_inset
\layout Standard
-\begin_inset Formula $\beth $
+\begin_inset Formula $\beth$
\end_inset
\layout Standard
-\begin_inset Formula $\daleth $
+\begin_inset Formula $\daleth$
\end_inset
\layout Standard
-\begin_inset Formula $\gimel $
+\begin_inset Formula $\gimel$
\end_inset
\layout Standard
-\begin_inset Formula $\ulcorner $
+\begin_inset Formula $\ulcorner$
\end_inset
\layout Standard
-\begin_inset Formula $\urcorner $
+\begin_inset Formula $\urcorner$
\end_inset
\layout Standard
-\begin_inset Formula $\llcorner $
+\begin_inset Formula $\llcorner$
\end_inset
\layout Standard
-\begin_inset Formula $\lrcorner $
+\begin_inset Formula $\lrcorner$
\end_inset
\layout Standard
-\begin_inset Formula $\dashrightarrow $
+\begin_inset Formula $\dashrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\dashleftarrow $
+\begin_inset Formula $\dashleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leftleftarrows $
+\begin_inset Formula $\leftleftarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\leftrightarrows $
+\begin_inset Formula $\leftrightarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\Lleftarrow $
+\begin_inset Formula $\Lleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\twoheadleftarrow $
+\begin_inset Formula $\twoheadleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leftarrowtail $
+\begin_inset Formula $\leftarrowtail$
\end_inset
\layout Standard
-\begin_inset Formula $\looparrowleft $
+\begin_inset Formula $\looparrowleft$
\end_inset
\layout Standard
-\begin_inset Formula $\leftrightharpoons $
+\begin_inset Formula $\leftrightharpoons$
\end_inset
\layout Standard
-\begin_inset Formula $\curvearrowleft $
+\begin_inset Formula $\curvearrowleft$
\end_inset
\layout Standard
-\begin_inset Formula $\circlearrowleft $
+\begin_inset Formula $\circlearrowleft$
\end_inset
\layout Standard
-\begin_inset Formula $\Lsh $
+\begin_inset Formula $\Lsh$
\end_inset
\layout Standard
-\begin_inset Formula $\upuparrows $
+\begin_inset Formula $\upuparrows$
\end_inset
\layout Standard
-\begin_inset Formula $\upharpoonleft $
+\begin_inset Formula $\upharpoonleft$
\end_inset
\layout Standard
-\begin_inset Formula $\downharpoonleft $
+\begin_inset Formula $\downharpoonleft$
\end_inset
\layout Standard
-\begin_inset Formula $\multimap $
+\begin_inset Formula $\multimap$
\end_inset
\layout Standard
-\begin_inset Formula $\leftrightsquigarrow $
+\begin_inset Formula $\leftrightsquigarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\rightrightarrows $
+\begin_inset Formula $\rightrightarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\rightleftarrows $
+\begin_inset Formula $\rightleftarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\twoheadrightarrow $
+\begin_inset Formula $\twoheadrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\rightarrowtail $
+\begin_inset Formula $\rightarrowtail$
\end_inset
\layout Standard
-\begin_inset Formula $\looparrowright $
+\begin_inset Formula $\looparrowright$
\end_inset
\layout Standard
-\begin_inset Formula $\rightleftharpoons $
+\begin_inset Formula $\rightleftharpoons$
\end_inset
\layout Standard
-\begin_inset Formula $\curvearrowright $
+\begin_inset Formula $\curvearrowright$
\end_inset
\layout Standard
-\begin_inset Formula $\circlearrowright $
+\begin_inset Formula $\circlearrowright$
\end_inset
\layout Standard
-\begin_inset Formula $\Rsh $
+\begin_inset Formula $\Rsh$
\end_inset
\layout Standard
-\begin_inset Formula $\downdownarrows $
+\begin_inset Formula $\downdownarrows$
\end_inset
\layout Standard
-\begin_inset Formula $\upharpoonright $
+\begin_inset Formula $\upharpoonright$
\end_inset
\layout Standard
-\begin_inset Formula $\downharpoonright $
+\begin_inset Formula $\downharpoonright$
\end_inset
\layout Standard
-\begin_inset Formula $\rightsquigarrow $
+\begin_inset Formula $\rightsquigarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nleftarrow $
+\begin_inset Formula $\nleftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nrightarrow $
+\begin_inset Formula $\nrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nLeftarrow $
+\begin_inset Formula $\nLeftarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nRightarrow $
+\begin_inset Formula $\nRightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nleftrightarrow $
+\begin_inset Formula $\nleftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\nLeftrightarrow $
+\begin_inset Formula $\nLeftrightarrow$
\end_inset
\layout Standard
-\begin_inset Formula $\leqq $
+\begin_inset Formula $\leqq$
\end_inset
\layout Standard
-\begin_inset Formula $\leqslant $
+\begin_inset Formula $\leqslant$
\end_inset
\layout Standard
-\begin_inset Formula $\eqslantless $
+\begin_inset Formula $\eqslantless$
\end_inset
\layout Standard
-\begin_inset Formula $\lesssim $
+\begin_inset Formula $\lesssim$
\end_inset
\layout Standard
-\begin_inset Formula $\lessapprox $
+\begin_inset Formula $\lessapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\approxeq $
+\begin_inset Formula $\approxeq$
\end_inset
\layout Standard
-\begin_inset Formula $\lessdot $
+\begin_inset Formula $\lessdot$
\end_inset
\layout Standard
-\begin_inset Formula $\lll $
+\begin_inset Formula $\lll$
\end_inset
\layout Standard
-\begin_inset Formula $\lessgtr $
+\begin_inset Formula $\lessgtr$
\end_inset
\layout Standard
-\begin_inset Formula $\lesseqgtr $
+\begin_inset Formula $\lesseqgtr$
\end_inset
\layout Standard
-\begin_inset Formula $\lesseqqgtr $
+\begin_inset Formula $\lesseqqgtr$
\end_inset
\layout Standard
-\begin_inset Formula $\doteqdot $
+\begin_inset Formula $\doteqdot$
\end_inset
\layout Standard
-\begin_inset Formula $\risingdotseq $
+\begin_inset Formula $\risingdotseq$
\end_inset
\layout Standard
-\begin_inset Formula $\fallingdotseq $
+\begin_inset Formula $\fallingdotseq$
\end_inset
\layout Standard
-\begin_inset Formula $\backsim $
+\begin_inset Formula $\backsim$
\end_inset
\layout Standard
-\begin_inset Formula $\backsimeq $
+\begin_inset Formula $\backsimeq$
\end_inset
\layout Standard
-\begin_inset Formula $\subseteqq $
+\begin_inset Formula $\subseteqq$
\end_inset
\layout Standard
-\begin_inset Formula $\Subset $
+\begin_inset Formula $\Subset$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsubset $
+\begin_inset Formula $\sqsubset$
\end_inset
\layout Standard
-\begin_inset Formula $\preccurlyeq $
+\begin_inset Formula $\preccurlyeq$
\end_inset
\layout Standard
-\begin_inset Formula $\curlyeqprec $
+\begin_inset Formula $\curlyeqprec$
\end_inset
\layout Standard
-\begin_inset Formula $\precsim $
+\begin_inset Formula $\precsim$
\end_inset
\layout Standard
-\begin_inset Formula $\precapprox $
+\begin_inset Formula $\precapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\vartriangleleft $
+\begin_inset Formula $\vartriangleleft$
\end_inset
\layout Standard
-\begin_inset Formula $\trianglelefteq $
+\begin_inset Formula $\trianglelefteq$
\end_inset
\layout Standard
-\begin_inset Formula $\vDash $
+\begin_inset Formula $\vDash$
\end_inset
\layout Standard
-\begin_inset Formula $\Vvdash $
+\begin_inset Formula $\Vvdash$
\end_inset
\layout Standard
-\begin_inset Formula $\smallsmile $
+\begin_inset Formula $\smallsmile$
\end_inset
\layout Standard
-\begin_inset Formula $\smallfrown $
+\begin_inset Formula $\smallfrown$
\end_inset
\layout Standard
-\begin_inset Formula $\bumpeq $
+\begin_inset Formula $\bumpeq$
\end_inset
\layout Standard
-\begin_inset Formula $\Bumpeq $
+\begin_inset Formula $\Bumpeq$
\end_inset
\layout Standard
-\begin_inset Formula $\geqq $
+\begin_inset Formula $\geqq$
\end_inset
\layout Standard
-\begin_inset Formula $\geqslant $
+\begin_inset Formula $\geqslant$
\end_inset
\layout Standard
-\begin_inset Formula $\eqslantgtr $
+\begin_inset Formula $\eqslantgtr$
\end_inset
\layout Standard
-\begin_inset Formula $\gtrsim $
+\begin_inset Formula $\gtrsim$
\end_inset
\layout Standard
-\begin_inset Formula $\gtrapprox $
+\begin_inset Formula $\gtrapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\gtrdot $
+\begin_inset Formula $\gtrdot$
\end_inset
\layout Standard
-\begin_inset Formula $\ggg $
+\begin_inset Formula $\ggg$
\end_inset
\layout Standard
-\begin_inset Formula $\gtrless $
+\begin_inset Formula $\gtrless$
\end_inset
\layout Standard
-\begin_inset Formula $\gtreqless $
+\begin_inset Formula $\gtreqless$
\end_inset
\layout Standard
-\begin_inset Formula $\gtreqqless $
+\begin_inset Formula $\gtreqqless$
\end_inset
\layout Standard
-\begin_inset Formula $\eqcirc $
+\begin_inset Formula $\eqcirc$
\end_inset
\layout Standard
-\begin_inset Formula $\circeq $
+\begin_inset Formula $\circeq$
\end_inset
\layout Standard
-\begin_inset Formula $\triangleq $
+\begin_inset Formula $\triangleq$
\end_inset
\layout Standard
-\begin_inset Formula $\thicksim $
+\begin_inset Formula $\thicksim$
\end_inset
\layout Standard
-\begin_inset Formula $\thickapprox $
+\begin_inset Formula $\thickapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\supseteqq $
+\begin_inset Formula $\supseteqq$
\end_inset
\layout Standard
-\begin_inset Formula $\Supset $
+\begin_inset Formula $\Supset$
\end_inset
\layout Standard
-\begin_inset Formula $\sqsupset $
+\begin_inset Formula $\sqsupset$
\end_inset
\layout Standard
-\begin_inset Formula $\succcurlyeq $
+\begin_inset Formula $\succcurlyeq$
\end_inset
\layout Standard
-\begin_inset Formula $\curlyeqsucc $
+\begin_inset Formula $\curlyeqsucc$
\end_inset
\layout Standard
-\begin_inset Formula $\succsim $
+\begin_inset Formula $\succsim$
\end_inset
\layout Standard
-\begin_inset Formula $\succapprox $
+\begin_inset Formula $\succapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\vartriangleright $
+\begin_inset Formula $\vartriangleright$
\end_inset
\layout Standard
-\begin_inset Formula $\trianglerighteq $
+\begin_inset Formula $\trianglerighteq$
\end_inset
\layout Standard
-\begin_inset Formula $\Vdash $
+\begin_inset Formula $\Vdash$
\end_inset
\layout Standard
-\begin_inset Formula $\shortmid $
+\begin_inset Formula $\shortmid$
\end_inset
\layout Standard
-\begin_inset Formula $\shortparallel $
+\begin_inset Formula $\shortparallel$
\end_inset
\layout Standard
-\begin_inset Formula $\between $
+\begin_inset Formula $\between$
\end_inset
\layout Standard
-\begin_inset Formula $\pitchfork $
+\begin_inset Formula $\pitchfork$
\end_inset
\layout Standard
-\begin_inset Formula $\varpropto $
+\begin_inset Formula $\varpropto$
\end_inset
\layout Standard
-\begin_inset Formula $\blacktriangleleft $
+\begin_inset Formula $\blacktriangleleft$
\end_inset
\layout Standard
-\begin_inset Formula $\therefore $
+\begin_inset Formula $\therefore$
\end_inset
\layout Standard
-\begin_inset Formula $\backepsilon $
+\begin_inset Formula $\backepsilon$
\end_inset
\layout Standard
-\begin_inset Formula $\blacktriangleright $
+\begin_inset Formula $\blacktriangleright$
\end_inset
\layout Standard
-\begin_inset Formula $\because $
+\begin_inset Formula $\because$
\end_inset
\layout Standard
-\begin_inset Formula $\nless $
+\begin_inset Formula $\nless$
\end_inset
\layout Standard
-\begin_inset Formula $\nleq $
+\begin_inset Formula $\nleq$
\end_inset
\layout Standard
-\begin_inset Formula $\nleqslant $
+\begin_inset Formula $\nleqslant$
\end_inset
\layout Standard
-\begin_inset Formula $\nleqq $
+\begin_inset Formula $\nleqq$
\end_inset
\layout Standard
-\begin_inset Formula $\lneq $
+\begin_inset Formula $\lneq$
\end_inset
\layout Standard
-\begin_inset Formula $\lneqq $
+\begin_inset Formula $\lneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\lvertneqq $
+\begin_inset Formula $\lvertneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\lnsim $
+\begin_inset Formula $\lnsim$
\end_inset
\layout Standard
-\begin_inset Formula $\lnapprox $
+\begin_inset Formula $\lnapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\nprec $
+\begin_inset Formula $\nprec$
\end_inset
\layout Standard
-\begin_inset Formula $\npreceq $
+\begin_inset Formula $\npreceq$
\end_inset
\layout Standard
-\begin_inset Formula $\precnsim $
+\begin_inset Formula $\precnsim$
\end_inset
\layout Standard
-\begin_inset Formula $\precnapprox $
+\begin_inset Formula $\precnapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\nsim $
+\begin_inset Formula $\nsim$
\end_inset
\layout Standard
-\begin_inset Formula $\nshortmid $
+\begin_inset Formula $\nshortmid$
\end_inset
\layout Standard
-\begin_inset Formula $\nmid $
+\begin_inset Formula $\nmid$
\end_inset
\layout Standard
-\begin_inset Formula $\nvdash $
+\begin_inset Formula $\nvdash$
\end_inset
\layout Standard
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
\end_inset
\layout Standard
-\begin_inset Formula $\ntriangleleft $
+\begin_inset Formula $\ntriangleleft$
\end_inset
\layout Standard
-\begin_inset Formula $\ntrianglelefteq $
+\begin_inset Formula $\ntrianglelefteq$
\end_inset
\layout Standard
-\begin_inset Formula $\nsubseteq $
+\begin_inset Formula $\nsubseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\subsetneq $
+\begin_inset Formula $\subsetneq$
\end_inset
\layout Standard
-\begin_inset Formula $\varsubsetneq $
+\begin_inset Formula $\varsubsetneq$
\end_inset
\layout Standard
-\begin_inset Formula $\subsetneqq $
+\begin_inset Formula $\subsetneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\varsubsetneqq $
+\begin_inset Formula $\varsubsetneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\ngtr $
+\begin_inset Formula $\ngtr$
\end_inset
\layout Standard
-\begin_inset Formula $\ngeq $
+\begin_inset Formula $\ngeq$
\end_inset
\layout Standard
-\begin_inset Formula $\ngeqslant $
+\begin_inset Formula $\ngeqslant$
\end_inset
\layout Standard
-\begin_inset Formula $\ngeqq $
+\begin_inset Formula $\ngeqq$
\end_inset
\layout Standard
-\begin_inset Formula $\gneq $
+\begin_inset Formula $\gneq$
\end_inset
\layout Standard
-\begin_inset Formula $\gneqq $
+\begin_inset Formula $\gneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\gvertneqq $
+\begin_inset Formula $\gvertneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\gnsim $
+\begin_inset Formula $\gnsim$
\end_inset
\layout Standard
-\begin_inset Formula $\gnapprox $
+\begin_inset Formula $\gnapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\nsucc $
+\begin_inset Formula $\nsucc$
\end_inset
\layout Standard
-\begin_inset Formula $\nsucceq $
+\begin_inset Formula $\nsucceq$
\end_inset
\layout Standard
-\begin_inset Formula $\succnsim $
+\begin_inset Formula $\succnsim$
\end_inset
\layout Standard
-\begin_inset Formula $\succnapprox $
+\begin_inset Formula $\succnapprox$
\end_inset
\layout Standard
-\begin_inset Formula $\ncong $
+\begin_inset Formula $\ncong$
\end_inset
\layout Standard
-\begin_inset Formula $\nshortparallel $
+\begin_inset Formula $\nshortparallel$
\end_inset
\layout Standard
-\begin_inset Formula $\nparallel $
+\begin_inset Formula $\nparallel$
\end_inset
\layout Standard
-\begin_inset Formula $\nvDash $
+\begin_inset Formula $\nvDash$
\end_inset
\layout Standard
-\begin_inset Formula $\nVDash $
+\begin_inset Formula $\nVDash$
\end_inset
\layout Standard
-\begin_inset Formula $\ntriangleright $
+\begin_inset Formula $\ntriangleright$
\end_inset
\layout Standard
-\begin_inset Formula $\ntrianglerighteq $
+\begin_inset Formula $\ntrianglerighteq$
\end_inset
\layout Standard
-\begin_inset Formula $\nsupseteq $
+\begin_inset Formula $\nsupseteq$
\end_inset
\layout Standard
-\begin_inset Formula $\nsupseteqq $
+\begin_inset Formula $\nsupseteqq$
\end_inset
\layout Standard
-\begin_inset Formula $\supsetneq $
+\begin_inset Formula $\supsetneq$
\end_inset
\layout Standard
-\begin_inset Formula $\varsupsetneq $
+\begin_inset Formula $\varsupsetneq$
\end_inset
\layout Standard
-\begin_inset Formula $\supsetneqq $
+\begin_inset Formula $\supsetneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\varsupsetneqq $
+\begin_inset Formula $\varsupsetneqq$
\end_inset
\layout Standard
-\begin_inset Formula $\dotplus $
+\begin_inset Formula $\dotplus$
\end_inset
\layout Standard
-\begin_inset Formula $\smallsetminus $
+\begin_inset Formula $\smallsetminus$
\end_inset
\layout Standard
-\begin_inset Formula $\Cap $
+\begin_inset Formula $\Cap$
\end_inset
\layout Standard
-\begin_inset Formula $\Cup $
+\begin_inset Formula $\Cup$
\end_inset
\layout Standard
-\begin_inset Formula $\barwedge $
+\begin_inset Formula $\barwedge$
\end_inset
\layout Standard
-\begin_inset Formula $\veebar $
+\begin_inset Formula $\veebar$
\end_inset
\layout Standard
-\begin_inset Formula $\doublebarwedge $
+\begin_inset Formula $\doublebarwedge$
\end_inset
\layout Standard
-\begin_inset Formula $\boxminus $
+\begin_inset Formula $\boxminus$
\end_inset
\layout Standard
-\begin_inset Formula $\boxtimes $
+\begin_inset Formula $\boxtimes$
\end_inset
\layout Standard
-\begin_inset Formula $\boxdot $
+\begin_inset Formula $\boxdot$
\end_inset
\layout Standard
-\begin_inset Formula $\boxplus $
+\begin_inset Formula $\boxplus$
\end_inset
\layout Standard
-\begin_inset Formula $\divideontimes $
+\begin_inset Formula $\divideontimes$
\end_inset
\layout Standard
-\begin_inset Formula $\ltimes $
+\begin_inset Formula $\ltimes$
\end_inset
\layout Standard
-\begin_inset Formula $\rtimes $
+\begin_inset Formula $\rtimes$
\end_inset
\layout Standard
-\begin_inset Formula $\leftthreetimes $
+\begin_inset Formula $\leftthreetimes$
\end_inset
\layout Standard
-\begin_inset Formula $\rightthreetimes $
+\begin_inset Formula $\rightthreetimes$
\end_inset
\layout Standard
-\begin_inset Formula $\curlywedge $
+\begin_inset Formula $\curlywedge$
\end_inset
\layout Standard
-\begin_inset Formula $\curlyvee $
+\begin_inset Formula $\curlyvee$
\end_inset
\layout Standard
-\begin_inset Formula $\circleddash $
+\begin_inset Formula $\circleddash$
\end_inset
\layout Standard
-\begin_inset Formula $\circledast $
+\begin_inset Formula $\circledast$
\end_inset
\layout Standard
-\begin_inset Formula $\circledcirc $
+\begin_inset Formula $\circledcirc$
\end_inset
\layout Standard
-\begin_inset Formula $\centerdot $
+\begin_inset Formula $\centerdot$
\end_inset
\layout Standard
-\begin_inset Formula $\intercal $
+\begin_inset Formula $\intercal$
\end_inset
\layout Standard
-\begin_inset Formula $\hbar $
+\begin_inset Formula $\hbar$
\end_inset
\layout Standard
-\begin_inset Formula $\hslash $
+\begin_inset Formula $\hslash$
\end_inset
\layout Standard
-\begin_inset Formula $\vartriangle $
+\begin_inset Formula $\vartriangle$
\end_inset
\layout Standard
-\begin_inset Formula $\triangledown $
+\begin_inset Formula $\triangledown$
\end_inset
\layout Standard
-\begin_inset Formula $\square $
+\begin_inset Formula $\square$
\end_inset
\layout Standard
-\begin_inset Formula $\lozenge $
+\begin_inset Formula $\lozenge$
\end_inset
\layout Standard
-\begin_inset Formula $\circledS $
+\begin_inset Formula $\circledS$
\end_inset
\layout Standard
-\begin_inset Formula $\angle $
+\begin_inset Formula $\angle$
\end_inset
\layout Standard
-\begin_inset Formula $\measuredangle $
+\begin_inset Formula $\measuredangle$
\end_inset
\layout Standard
-\begin_inset Formula $\nexists $
+\begin_inset Formula $\nexists$
\end_inset
\layout Standard
-\begin_inset Formula $\mho $
+\begin_inset Formula $\mho$
\end_inset
\layout Standard
-\begin_inset Formula $\Finv $
+\begin_inset Formula $\Finv$
\end_inset
\layout Standard
-\begin_inset Formula $\Game $
+\begin_inset Formula $\Game$
\end_inset
\layout Standard
-\begin_inset Formula $\Bbbk $
+\begin_inset Formula $\Bbbk$
\end_inset
\layout Standard
-\begin_inset Formula $\backprime $
+\begin_inset Formula $\backprime$
\end_inset
\layout Standard
-\begin_inset Formula $\varnothing $
+\begin_inset Formula $\varnothing$
\end_inset
\layout Standard
-\begin_inset Formula $\blacktriangle $
+\begin_inset Formula $\blacktriangle$
\end_inset
\layout Standard
-\begin_inset Formula $\blacktriangledown $
+\begin_inset Formula $\blacktriangledown$
\end_inset
\layout Standard
-\begin_inset Formula $\blacksquare $
+\begin_inset Formula $\blacksquare$
\end_inset
\layout Standard
-\begin_inset Formula $\blacklozenge $
+\begin_inset Formula $\blacklozenge$
\end_inset
\layout Standard
-\begin_inset Formula $\bigstar $
+\begin_inset Formula $\bigstar$
\end_inset
\layout Standard
-\begin_inset Formula $\sphericalangle $
+\begin_inset Formula $\sphericalangle$
\end_inset
\layout Standard
-\begin_inset Formula $\complement $
+\begin_inset Formula $\complement$
\end_inset
\layout Standard
-\begin_inset Formula $\eth $
+\begin_inset Formula $\eth$
\end_inset
\layout Standard
-\begin_inset Formula $\diagup $
+\begin_inset Formula $\diagup$
\end_inset
\layout Standard
-\begin_inset Formula $\diagdown $
+\begin_inset Formula $\diagdown$
\end_inset