yannsalmon-public/typo-cpge
1
0
Bifurcation 0
Code Tickets Demandes d'ajout Publications Activité

Update yssymbols.sty

Parcourir la source
Cette révision appartient à :
Yann Salmon
2020-10-06 23:39:24 +02:00
Parent 6fd817b6b8
révision 10a2b06730
1 fichiers modifiés avec 2 ajouts et 2 suppressions
Télécharger le Fichier Patch Télécharger le Fichier des Différences Développer tous les fichiers Réduire tous les fichiers

4
latex/yssymbols.sty
Voir le fichier

@@ -45,8 +45,8 @@
\def\sem#1#2{{\left\lbr#1\right\rbr}_{#2}} \def\sem#1#2{{\left\lbr#1\right\rbr}_{#2}}
\NewNegationCommand\models{\mathrel{\notaccent\models}} \NewNegationCommand\models{\mathrel{\notaccent\models}}
\def\metab#1{\ensuremath{\fbox{$#1$}}} %\def\metab#1{\ensuremath{\fbox{$#1$}}}
\def\metasyn#1{\metab{\tmit{#1}}} \let\metasyn\tmit
\newenvironment{specification}{\vskip-\lastskip\ \par\begin{mdframed}[skipbelow=1ex]\begin{description}}{\end{description}\end{mdframed}} \newenvironment{specification}{\vskip-\lastskip\ \par\begin{mdframed}[skipbelow=1ex]\begin{description}}{\end{description}\end{mdframed}}