From 42dd8e53a61cb9b2e756b89f90cbe1be16f051ff Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Mon, 27 Jan 2020 21:51:58 +0100
Subject: [PATCH] =?UTF-8?q?variables=20m=C3=A9tasyntaxiques=20encadr=C3=A9?=
 =?UTF-8?q?es=20plut=C3=B4t=20que=20mises=20entre=20chevrons?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/latex/yssymbols.sty b/latex/yssymbols.sty
index bdf2540..4011fc0 100644
--- a/latex/yssymbols.sty
+++ b/latex/yssymbols.sty
@@ -44,7 +44,7 @@
 \def\sem#1#2{{\left\lbr#1\right\rbr}_{#2}}
 \NewNegationCommand\models{\mathrel{\notaccent\models}}
 
-\def\metab#1{\ensuremath{\langle #1\rangle}}
+\def\metab#1{\ensuremath{\fbox{$#1$}}}
 \def\metasyn#1{\metab{\tmit{#1}}}
 
 \newenvironment{specification}{\vskip-\lastskip\ \par\begin{mdframed}[skipbelow=1ex]\begin{description}}{\end{description}\end{mdframed}}