-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathconfig.tex
68 lines (59 loc) · 2.2 KB
/
config.tex
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
%+-----------------------------------------------------------------------+%
\Class{CSEN 920}
\Edition{Fall 2011}
\Title{Formal Semantics of Programming Languages}
\Lecturer[Jung]{Assoc. Prof. Dr. Georg Jung}
\Email{[email protected]}
%+-----------------------------------------------------------------------+%
\usepackage[utf8]{inputenx}
\usepackage{graphicx}
\usepackage{listings}
\usepackage{times}
\usepackage{syntax}
\usepackage{figsize}
\usepackage{colortbl}
\usepackage{url}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{latexsym}
\usepackage{stmaryrd}
\usepackage{textcomp}
\usepackage[geometry]{ifsym}
\usepackage{wasysym}
\usepackage{bussproofs}
%\input{lst-languages}
\newcommand{\ie}{\emph{i.\,e.}}
\newcommand{\eg}{\emph{e.\,g.}}
\newcommand{\vs}{\emph{vs.}}
\newcommand{\wrt}{\emph{wrt.}}
\newcommand{\etc}{\emph{etc.}}
\newcommand{\etal}{\emph{et.\,al.}}
\newcommand{\Alpha}{\ensuremath{\mathrm{A}}}
\newcommand{\Beta}{\ensuremath{\mathrm{B}}}
\newcommand{\Epsilon}{\ensuremath{\mathrm{E}}}
\newcommand{\Zeta}{\ensuremath{\mathrm{Z}}}
\newcommand{\Eta}{\ensuremath{\mathrm{H}}}
\newcommand{\Iota}{\ensuremath{\mathrm{I}}}
\newcommand{\Kappa}{\ensuremath{\mathrm{K}}}
\newcommand{\Mu}{\ensuremath{\mathrm{M}}}
\newcommand{\Nu}{\ensuremath{\mathrm{N}}}
\newcommand{\omikron}{\ensuremath{\mathrm{o}}}
\newcommand{\Omikron}{\ensuremath{\mathrm{O}}}
\newcommand{\Rho}{\ensuremath{\mathrm{R}}}
\newcommand{\Tau}{\ensuremath{\mathrm{T}}}
\newcommand{\Chi}{\ensuremath{\mathrm{X}}}
\definecolor{Crimson}{RGB}{220,20,60}
\definecolor{Sangria}{RGB}{146,0,10}
\definecolor{Cyan4}{RGB}{0,144,144}
\definecolor{Red2}{RGB}{208,0,0}
\definecolor{Glaucous}{RGB}{96,130,182}
\newcommand{\SyntacticSetColor}[1]{{\color{Glaucous}#1}}
\newcommand{\N}{\ensuremath{\SyntacticSetColor{\textbf{N}}}}
\newcommand{\T}{\ensuremath{\SyntacticSetColor{\textbf{T}}}}
\newcommand{\Loc}{\ensuremath{\SyntacticSetColor{\textbf{Loc}}}}
\newcommand{\Aexp}{\ensuremath{\SyntacticSetColor{\textbf{Aexp}}}}
\newcommand{\Bexp}{\ensuremath{\SyntacticSetColor{\textbf{Bexp}}}}
\newcommand{\Com}{\ensuremath{\SyntacticSetColor{\textbf{Com}}}}
\newcommand{\Vbar}{\ensuremath{~|~}}
\newcommand{\<}{\ensuremath{\langle}}
\renewcommand{\>}{\ensuremath{\rangle}}