diff options
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}} + |