-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpreamble.tex
174 lines (164 loc) · 5.77 KB
/
preamble.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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
\usepackage{cmap}
\usepackage{geometry}
\geometry{a4paper, hmargin = {5cm, 4cm}, vmargin = {4.5cm, 6.5cm}}
\usepackage[greek,english]{babel}
\languageattribute{greek}{polutoniko}
\usepackage{hyperref}
\addto\extrasenglish{\def\figureautorefname{figure}}
\addto\extrasenglish{\def\subsectionautorefname{section}}
\addto\extrasenglish{\def\subsubsectionautorefname{section}}
\usepackage{twoopt}
\usepackage{tikz}
\usepackage{tikz-qtree}
\usepackage{amsmath,amssymb}
\usepackage{stmaryrd}
\usepackage{comment}
\usepackage{rotating}
\usepackage{xifthen}
\usepackage{makeidx}
\usepackage{lingmacros}
\usepackage[inline]{enumitem}
\linespread{0.98}
\usepackage{bussproofs}
\usepackage{graphicx}
\EnableBpAbbreviations%
\def\fCenter{\mathbin{\vdash}}
\def\defscalefactor{0.7875}
\newenvironment{scprooftree}[1][\defscalefactor]%
{\gdef\scalefactor{#1}\begin{center}\proofSkipAmount\leavevmode}%
{\scalebox{\scalefactor}{\DisplayProof}\proofSkipAmount\end{center} }
\newenvironment{scprooftree*}[1][\defscalefactor]%
{\gdef\scalefactor{#1} \leavevmode\hbox\bgroup}%
{\scalebox{\scalefactor}{\DisplayProof} \egroup}
\usepackage[numbers]{natbib}
\renewcommand\bibsection%
{\section*{\refname}\small\renewcommand\bibnumfmt[1]{##1.}}
\usepackage{xstring}
\usepackage{etoolbox}
\makeatletter
\patchcmd{\NAT@test}{\else \NAT@nm}{\else \NAT@nmfmt{\NAT@nm}}{}{}
\DeclareRobustCommand\citepos%
{\begingroup
\let\NAT@nmfmt\NAT@posfmt% ...except with a different name format
\NAT@swafalse\let\NAT@ctype\z@\NAT@partrue%
\@ifstar{\NAT@fulltrue\NAT@citetp}{\NAT@fullfalse\NAT@citetp}}
\let\NAT@orig@nmfmt\NAT@nmfmt%
\def\NAT@posfmt#1{%
\StrRemoveBraces{#1}[\NAT@temp]%
\IfEndWith{\NAT@temp}{s}
{\NAT@orig@nmfmt{#1'}}
{\NAT@orig@nmfmt{#1's}}}
\makeatother
\newcommand{\mathplus}[0]{+}
\usepackage{keyval}
\usepackage{usebib}
% downmapsto.
\def\downmapsto{\rotatebox[origin=c]{270}{\ensuremath{\mapsto}}}%
% abbrev.
\def\e{\ensuremath{\mathbf{e}}}
\def\t{\ensuremath{\mathbf{t}}}
\def\DEDICATE{\ensuremath{\mathbf{dedicate}}}
\def\PERSON{\ensuremath{\mathbf{person}}}
\def\AUTHOR{\ensuremath{\mathbf{author}}}
\def\OCEAN{\ensuremath{\mathbf{ocean}}}
\def\WROTE{\ensuremath{\mathbf{wrote}}}
\def\SCARED{\ensuremath{\mathbf{scared}}}
\def\BOOK{\ensuremath{\mathbf{book}}}
\def\READ{\ensuremath{\mathbf{read}}}
\def\LIKE{\ensuremath{\mathbf{like}}}
\def\FEAR{\ensuremath{\mathbf{fear}}}
\def\KURT{\ensuremath{\mathbf{kurt}}}
\def\MARY{\ensuremath{\mathbf{mary}}}
\def\JOHN{\ensuremath{\mathbf{john}}}
\def\SAY{\ensuremath{\mathbf{say}}}
\def\OF{\ensuremath{\mathbf{of}}}
\def\NLLAM{NL$_{\lambda}$}
\def\NLCL{NL$_{\text{CL}}$}
\def\I{\ensuremath{\mathbf{I}}}
\def\B{\ensuremath{\mathbf{B}}}
\def\C{\ensuremath{\mathbf{C}}}
\def\Q{\ensuremath{\mathbf{Q}}}
\def\prod{\bullet}
\def\impr{\mathbin{\backslash}}
\def\impl{\mathbin{\slash}}
\def\hprod{\mathbin{\circ}}
\def\himpr{\fatbslash}
\def\himpl{\mathbin{\!\fatslash\,}}
\newcommand{\st}[1]{\cdot #1 \cdot}
\newcommand{\fc}[1]{\boxed{ #1 }}
\newcommand{\sq}[1][]{\ifthenelse{\isempty{#1}}{\square}{[#1]}}
\newcommand{\di}[1][]{\ifthenelse{\isempty{#1}}{\lozenge}{\langle{#1}\rangle}}
\newcommand{\tr}[1]{\llbracket{#1}\rrbracket}
\newcommand{\trace}[1]{\ensuremath{\overline{#1}}}
\newcommandtwoopt{\q}[3][][]{\ifx&\ifx&\textbf{Q}{#3}\else{#1}\himpr{#3}\fi\else{#3}\himpl({#1}\himpr{#2})\fi}
%
\def\ruleAxL{Ax^{L}}
\def\ruleAxR{Ax^{R}}
\def\ruleFocL{Foc^{L}}
\def\ruleFocR{Foc^{R}}
\def\ruleUnfL{Unf^{L}}
\def\ruleUnfR{Unf^{R}}
\def\ruleImpRSolidL{{\impr}L}
\def\ruleImpRSolidR{{\impr}R}
\def\ruleImpLSolidL{{\impl}L}
\def\ruleImpLSolidR{{\impl}R}
\def\ruleImpRQuanStrongL{{\himpr}L}
\def\ruleImpRQuanStrongR{{\himpr}R}
\def\ruleImpLQuanStrongL{{\himpl}L}
\def\ruleImpLQuanStrongR{{\himpl}R}
\def\ruleImpRQuanWeakL{{\himpr}L}
\def\ruleImpRQuanWeakR{{\himpr}R}
\def\ruleImpLQuanWeakL{{\himpl}L}
\def\ruleImpLQuanWeakR{{\himpl}R}
\def\ruleResLPSolid{\text{Res}{\impl}{\prod}}
\def\ruleResPLSolid{\text{Res}{\prod}{\impl}}
\def\ruleResRPSolid{\text{Res}{\impr}{\prod}}
\def\ruleResPRSolid{\text{Res}{\prod}{\impr}}
\def\ruleResLPQuanStrong{\text{Res}{\himpl}{\hprod}}
\def\ruleResPLQuanStrong{\text{Res}{\hprod}{\himpl}}
\def\ruleResRPQuanStrong{\text{Res}{\himpr}{\hprod}}
\def\ruleResPRQuanStrong{\text{Res}{\hprod}{\himpr}}
\def\ruleUnitLQuanStrongR{\I}
\def\ruleUnitLQuanStrongL{\I}
\def\ruleUnitLQuanStrongI{\I}
\def\ruleResLPQuanWeak{\text{Res}{\himpl}{\hprod}}
\def\ruleResPLQuanWeak{\text{Res}{\hprod}{\himpl}}
\def\ruleResRPQuanWeak{\text{Res}{\himpr}{\hprod}}
\def\ruleResPRQuanWeak{\text{Res}{\hprod}{\himpr}}
\def\ruleUnitLQuanWeakR{\I}
\def\ruleUnitLQuanWeakL{\I}
\def\ruleUnitLQuanWeakI{\I}
\def\ruleDnBQuanStrong{\text{Dn}\B}
\def\ruleDnCQuanStrong{\text{Dn}\C}
\def\ruleUpBQuanStrong{\text{Up}\B}
\def\ruleUpCQuanStrong{\text{Up}\C}
\def\ruleDnBQuanWeak{\text{Dn}\B}
\def\ruleDnCQuanWeak{\text{Dn}\C}
\def\ruleUpBQuanWeak{\text{Up}\B}
\def\ruleUpCQuanWeak{\text{Up}\C}
\def\atomS{s}
\def\atomN{n}
\def\atomNP{np}
\def\strb{\B}
\def\strc{\C}
\def\strunitQuanStrong{\I}
\def\strunitQuanWeak{\I}
\newcommand{\impRSolid}[2]{\ensuremath{{#1}\impr{#2}}}
\newcommand{\impLSolid}[2]{{#1}\impl{#2}}
\newcommand{\impRQuanStrong}[2]{{#1}\himpr{#2}}
\newcommand{\impLQuanStrong}[2]{{#1}\himpl{#2}}
\newcommand{\impRQuanWeak}[2]{{#1}\himpr{#2}}
\newcommand{\impLQuanWeak}[2]{{#1}\himpl{#2}}
\newcommand{\strprodSolid}[2]{{#1}\prod{#2}}
\newcommand{\strimpRSolid}[2]{{#1}\impr{#2}}
\newcommand{\strimpLSolid}[2]{{#1}\impl{#2}}
\newcommand{\strimpRQuanStrong}[2]{{#1}\himpr{#2}}
\newcommand{\strimpLQuanStrong}[2]{{#1}\himpl{#2}}
\newcommand{\strprodQuanStrong}[2]{{#1}\hprod{#2}}
\newcommand{\unitLQuanStrong}[1]{#1}
\newcommand{\strimpRQuanWeak}[2]{{#1}\himpr{#2}}
\newcommand{\strimpLQuanWeak}[2]{{#1}\himpl{#2}}
\newcommand{\strprodQuanWeak}[2]{{#1}\hprod{#2}}
\newcommand{\unitLQuanWeak}[1]{#1}
% only during writing
% \usepackage{xcolor}