Task 6

1 files changed, 14 insertions, 0 deletions

diff --git a/senc.sty b/senc.sty
index 9a6af38..f6e15d8 100644
--- a/senc.sty
+++ b/senc.sty
@@ -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}}}]}
+