summaryrefslogtreecommitdiff
path: root/smurf.sty
diff options
context:
space:
mode:
authorCamil Staps2016-04-27 11:22:04 +0200
committerCamil Staps2016-04-27 11:22:04 +0200
commit3fa9bef7dd28e1e45fe20d48905bdd118fd6d350 (patch)
treeac329422852414332ff73db8a03a555cae301020 /smurf.sty
parentGet (diff)
Intro regels
Diffstat (limited to 'smurf.sty')
-rw-r--r--smurf.sty7
1 files changed, 4 insertions, 3 deletions
diff --git a/smurf.sty b/smurf.sty
index c80e99d..6bc6fde 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -41,13 +41,14 @@
\def\trans#1#2#3#4#5#6{\left\langle#1,#2,#3\right\rangle\to\left(#4,#5,#6\right)}
% Rules
-\def\rgetns{[\mbox{get}_{\mbox{ns}}]}
+\def\rule#1#2{[\mbox{#1}_{\mbox{\footnotesize{#2}}}]}
+\def\rgetns{\rule{get}{ns}}
% Common names
\def\stk{\mathit{stk}}
\def\str{\mathit{str}}
-\def\i{\mathit{i}}
-\def\o{\mathit{o}}
+\def\ip{\mathit{i}}
+\def\op{\mathit{o}}
\def\pgm{\mathit{pgm}}
\def\stm{\mathit{stm}}
\def\st{\mathit{st}}