diff options
author | Camil Staps | 2016-02-02 20:01:20 +0100 |
---|---|---|
committer | Camil Staps | 2016-02-02 20:01:20 +0100 |
commit | b502e5e42660f45f4ca4595f8063d015fed572bb (patch) | |
tree | 1ac558cc0a68e333416824b155a6126d5918a487 /senc.sty | |
parent | Initial commit (diff) |
start task 1
Diffstat (limited to 'senc.sty')
-rw-r--r-- | senc.sty | 12 |
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}} + |