From b502e5e42660f45f4ca4595f8063d015fed572bb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 20:01:20 +0100
Subject: start task 1

---
 senc.sty | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 senc.sty

(limited to 'senc.sty')

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}}
+
-- 
cgit v1.2.3

