From 5061fdbf84cd6feaf9eb8a361c9aab660b07e5e8 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Tue, 14 May 2019 10:14:37 +0200
Subject: [PATCH] =?UTF-8?q?d=C3=A9finitions=20pour=20la=20s=C3=A9mantique?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 latex/yssymbols.sty | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/latex/yssymbols.sty b/latex/yssymbols.sty
index feeccf6..5e12000 100644
--- a/latex/yssymbols.sty
+++ b/latex/yssymbols.sty
@@ -40,7 +40,8 @@
 
 
 \def\dom{\mathcal D}
-\def\sem#1#2{{\mathcal {V}}_{#2}(#1)}
+\def\sem#1#2{{\left\lbr#1\right\rbr}_{#2}}
+\NewNegationCommand\models{\mathrel{\notaccent\models}}
 
 \def\metab#1{\ensuremath{\langle #1\rangle}}
 \def\metasyn#1{\metab{\tmit{#1}}}