From 56cea075b96ef869859c0766aacdafbed0210e3a Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Fri, 27 May 2022 18:47:29 +0200
Subject: [PATCH] =?UTF-8?q?=C3=A9quivalence=20logique?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 latex/yssymbols.sty | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/latex/yssymbols.sty b/latex/yssymbols.sty
index b9a0691..c560d7c 100644
--- a/latex/yssymbols.sty
+++ b/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}