équivalence logique

latex/yssymbols.sty

@@ -50,6 +50,9 @@
 \def\dom{\mathcal D}
 \def\sem#1#2{{\left\lbr#1\right\rbr}_{#2}}
 \NewNegationCommand\models{\mathrel{\notaccent\models}}
+\def\lequiv{\mathrel{\mathord\models\reflectbox{$\models$}}}
+\def\V{\ensuremath{\mathup{V}}}
+\def\F{\ensuremath{\mathup{F}}}
 
 %\def\metab#1{\ensuremath{\fbox{$#1$}}}
 \let\metasyn\tmit
@@ -60,8 +63,7 @@
 
 \def\nsql#1{\textbf{\sffamily #1}}
 
-\def\V{\ensuremath{\mathup{V}}}
-\def\F{\ensuremath{\mathup{F}}}
+
 
 \let\textterm\texttt
 \def\auto{\mathcal A}