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