Commit 02aec485 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added \Aats macro

parent 868ae1e4
......@@ -180,7 +180,7 @@
\newcommand{\tsrep}[1]{\textsf{\textup{Repr}}(#1)}
\newcommand{\vdashA}{\vdash_{\!\scriptscriptstyle\mathcal{A}}}
\newcommand{\vdashAts}{\vdash_{\!\scriptscriptstyle\mathcal{A}_{ts}}}
\newcommand{\vdashAts}{\vdash_{\!\scriptscriptstyle\mathcal{A}_\text{ts}}}
\newcommand{\vdashp}{\vdash^{\texttt{Path}}}
\newcommand{\pvdash}[3]{\vdashp_{#1,#2,#3}}%\mathcal{P}
\newcommand{\evdash}[2]{\vdash^{\texttt{Env}}_{#1,#2}}
......@@ -189,6 +189,7 @@
\DeclareMathAlphabet{\mathbbm}{U}{bbold}{m}{n}
\newcommand{\dyn}{\ensuremath{\mathbbm{\qm}}}
\newcommand{\Aa}{\ensuremath{_{\scriptscriptstyle\mathcal{A}}}}
\newcommand{\Aats}{\ensuremath{_{\scriptscriptstyle\mathcal{A}_\text{ts}}}}
\newcommand{\leqA}{\leq_{\!\scriptscriptstyle\mathcal{A}}}
......
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