-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlocal.sty
33 lines (25 loc) · 1.02 KB
/
local.sty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
\newcommand{\smt}[1]{\sqrbrc{#1}}
\newcommand{\thy}{\mathtt{thy}}
\newcommand{\Thy}{\mathtt{Thy}}
\newcommand{\mo}[2]{\mathtt{mor}(#1,#2)}
\newcommand{\Mo}[2]{\mathtt{Mor}(#1,#2)}
\newcommand{\IMo}[2]{\mathtt{Mor^i}(#1,#2)}
\newcommand{\cls}[1]{\ov{#1}}
\newcommand{\flt}[1]{#1^\flat}
\newcommand{\dom}[1]{\mathtt{dom}(#1)}
\newcommand{\fltd}[2]{#2^{\flat}}
\newcommand{\Exp}[1]{\mathtt{Obj}(#1)}
\newcommand{\flti}[1]{#1^{\flat i}}
\newcommand{\Expi}[1]{\mathtt{Obj}^i(#1)}
\newcommand{\cn}[1]{\ensuremath{\operatorname{\mathtt{#1}}}}
\newcommand{\keyword}[1]{\ensuremath{\operatorname{\mathbf{#1}}}}
\newcommand{\icl}[1]{\keyword{include}{\;#1}}
\newcommand{\strc}[2]{\keyword{struct}{\;#1:#2}}
\newcommand{\ipc}[3]{#2\stackrel{#1}{\harr}#3}
\newcommand{\ipce}[2]{#1\stackrel{\ast}{\harr}#2}
\newcommand{\Log}{\cn{Log}}
\definecolor{Emerald}{rgb}{0,.96,1}
\definecolor{Turquoise}{rgb}{0,.96,1}
\definecolor{Green}{rgb}{0,.96,0}
\definecolor{RedViolet}{rgb}{.9,0,0}
\definecolor{Gray}{rgb}{.6,.6,.6}