summaryrefslogtreecommitdiff
path: root/smurf.sty
diff options
context:
space:
mode:
authorCamil Staps2016-04-28 08:06:02 +0200
committerCamil Staps2016-04-28 14:45:09 +0200
commitb807028edf7f1f5122dbf53d6a44e2d327b87a0c (patch)
treec924eb958882f18053e7c86a9724be8676742aae /smurf.sty
parentFixes (diff)
Unescape
Diffstat (limited to 'smurf.sty')
-rw-r--r--smurf.sty4
1 files changed, 3 insertions, 1 deletions
diff --git a/smurf.sty b/smurf.sty
index 7d6b322..0bf2f53 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -3,11 +3,13 @@
% General
\def\isdef{\stackrel{\text{def}}{=}}
+% Parsing
\def\parsepgmop{\mathit{Parse}}
\def\parsepgm#1{\parsepgmop\left(#1\right)}
-
\def\parsestrop{\mathit{ParseStr}}
\def\parsestr#1{\parsestrop\left(#1\right)}
+\def\unescapeop{\mathit{unescape}}
+\def\unescape#1{\unescapeop\left(#1\right)}
% Types
\def\Pgm{\mathit{Pgm}}