Commit a169b4ad authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added command \dyn

parent e22f1fde
......@@ -158,3 +158,7 @@
\newcommand{\vdashp}{\vdash^{\texttt{Path}}}
\newcommand{\pvdash}[4]{\vdashp_{#1,#3,#4,#2}}%\mathcal{P}
\newcommand{\evdash}[3]{\vdash^{\texttt{Env}}_{#2,#3,#1}}
\DeclareMathSymbol{\qm}{\mathalpha}{operators}{"3F}
\DeclareMathAlphabet{\mathbbm}{U}{bbold}{m}{n}
\newcommand{\dyn}{\ensuremath{\mathbbm{\qm}}}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment