summaryrefslogtreecommitdiff
path: root/senc.sty
diff options
context:
space:
mode:
authorCamil Staps2016-02-02 20:01:20 +0100
committerCamil Staps2016-02-02 20:01:20 +0100
commitb502e5e42660f45f4ca4595f8063d015fed572bb (patch)
tree1ac558cc0a68e333416824b155a6126d5918a487 /senc.sty
parentInitial commit (diff)
start task 1
Diffstat (limited to 'senc.sty')
-rw-r--r--senc.sty12
1 files changed, 12 insertions, 0 deletions
diff --git a/senc.sty b/senc.sty
new file mode 100644
index 0000000..17c1186
--- /dev/null
+++ b/senc.sty
@@ -0,0 +1,12 @@
+\RequirePackage{amssymb,amsmath,stmaryrd}
+
+\def\A#1{\mathcal{A}\left\llbracket#1\right\rrbracket}
+\def\B#1{\mathcal{B}\left\llbracket#1\right\rrbracket}
+\def\N#1{\mathcal{N}\left\llbracket#1\right\rrbracket}
+\def\s{s\;}
+
+\def\x{\mathtt{x}}
+
+\def\tt{\mathbf{tt}}
+\def\ff{\mathbf{ff}}
+