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

variables métasyntaxiques encadrées plutôt que mises entre chevrons

Parcourir la source
Cette révision appartient à :
Yann Salmon
2020-01-27 21:51:58 +01:00
Parent e034e23943
révision 42dd8e53a6
1 fichiers modifiés avec 1 ajouts et 1 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

2
latex/yssymbols.sty
Voir le fichier

@@ -44,7 +44,7 @@
\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{\langle #1\rangle}} \def\metab#1{\ensuremath{\fbox{$#1$}}}
\def\metasyn#1{\metab{\tmit{#1}}} \def\metasyn#1{\metab{\tmit{#1}}}
\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}}