diff options
Diffstat (limited to 'senc.sty')
| -rw-r--r-- | senc.sty | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -6,6 +6,7 @@ \def\s{s\;} \def\x{\mathtt{x}} +\def\y{\mathtt{y}} \def\tt{\mathbf{tt}} \def\ff{\mathbf{ff}} @@ -25,3 +26,16 @@ %\renewcommand{\allttsub}[1]{\begin{math}_{\textcolor{red}{#1}}\end{math}} \renewcommand{\psqan}[5]{\{#1\}^{\textcolor{red}{#4}}\espace #2 \espace \{#3\}^{\textcolor{red}{#5}}} +\newcommand{\transl}[2]{\langle #1, #2\rangle} +\newcommand{\sfor}[4]{\mbox{\texttt{for~}}\sass#1#2\mbox{\texttt{~to~}}#3\mbox{\texttt{~do~}}#4} +\newcommand{\sassert}[2]{\mbox{\texttt{assert~}}#1\mbox{\texttt{~before~}}#2} +\newcommand{\sabort}{\mbox{\texttt{abort}}} + +\def\rcompsos#1{[\mbox{comp}_{\mbox{\footnotesize{sos}}}^{#1}]} +\def\rasssos{[\mbox{ass}_{\mbox{\footnotesize{sos}}}]} +\def\rskipsos{[\mbox{skip}_{\mbox{\footnotesize{sos}}}]} +\def\rifsos#1{[\mbox{if}_{\mbox{\footnotesize{sos}}}^{\mbox{\footnotesize{#1}}}]} +\def\rwhilesos{[\mbox{while}_{\mbox{\footnotesize{sos}}}]} + +\def\rassert{[\mbox{assert}_{\mbox{\footnotesize{sos}}}]} + |