[ paper ] update to lipics2018

gallais · Apr 18, 2018 · ce675b6 · ce675b6
1 parent 3f427ad
commit ce675b6
Show file tree

Hide file tree

Showing 4 changed files with 1,640 additions and 1,573 deletions.
diff --git a/doc/commands.tex b/doc/commands.tex
@@ -26,9 +26,9 @@
 
 \newcommand{\Set}{\mathcal{\textit{Set}}}
 
-\newcommand{\natsucc}[1]{\text{1\!+} #1}
-\newcommand{\used}[1]{\text{used}(#1)}
-\newcommand{\ope}[1]{\text{ope}(#1)}
+\newcommand{\natsucc}[1]{\ensuremath{\text{1\!+} #1}}
+\newcommand{\used}[1]{\ensuremath{\text{used}(#1)}}
+\newcommand{\ope}[1]{\ensuremath{\text{ope}(#1)}}
 
 \newcommand{\opeinsert}[1]{\ensuremath{\texttt{insert}_{#1}}}
 \newcommand{\opecopy}{\ensuremath{\texttt{copy}}}
@@ -38,22 +38,22 @@
 
 %% LANGUAGE
 \newcommand{\varzero}{\texttt{z}}
-\newcommand{\varsucc}[1]{\texttt{s}\, #1}
+\newcommand{\varsucc}[1]{\ensuremath{\texttt{s}\, #1}}
 
-\newcommand{\var}[1]{\texttt{var}~#1}
-\newcommand{\app}[2]{\texttt{app}~#1~#2}
-\newcommand{\exf}[2]{\texttt{exfalso}~#1~#2}
-\newcommand{\cas}[4]{\texttt{case}~#1~\texttt{return}~#2~\texttt{of}~#3~\texttt{\%\!\!\%}~#4}
-\newcommand{\cut}[2]{\texttt{cut}~#1~#2}
-\newcommand{\lam}[1]{\texttt{lam}~#1}
-\newcommand{\letin}[3]{\texttt{let}~#1 \texttt{:=}\, #2 \texttt{in}\, #3}
+\newcommand{\var}[1]{\ensuremath{\texttt{var}~#1}}
+\newcommand{\app}[2]{\ensuremath{\texttt{app}~#1~#2}}
+\newcommand{\exf}[2]{\ensuremath{\texttt{exfalso}~#1~#2}}
+\newcommand{\cas}[4]{\ensuremath{\texttt{case}~#1~\texttt{return}~#2~\texttt{of}~#3~\texttt{\%\!\!\%}~#4}}
+\newcommand{\cut}[2]{\ensuremath{\texttt{cut}~#1~#2}}
+\newcommand{\lam}[1]{\ensuremath{\texttt{lam}~#1}}
+\newcommand{\letin}[3]{\ensuremath{\texttt{let}~#1 \texttt{:=}\, #2 \texttt{in}\, #3}}
 \newcommand{\uni}{\texttt{unit}}
-\newcommand{\inl}[1]{\texttt{inl}~#1}
-\newcommand{\inr}[1]{\texttt{inr}~#1}
-\newcommand{\prd}[2]{\texttt{prd}~#1~#2}
-\newcommand{\neu}[1]{\texttt{neu}~#1}
-\newcommand{\prl}[1]{\texttt{prj$_1$}~#1}
-\newcommand{\prr}[1]{\texttt{prj$_2$}~#1}
+\newcommand{\inl}[1]{\ensuremath{\texttt{inl}~#1}}
+\newcommand{\inr}[1]{\ensuremath{\texttt{inr}~#1}}
+\newcommand{\prd}[2]{\ensuremath{\texttt{prd}~#1~#2}}
+\newcommand{\neu}[1]{\ensuremath{\texttt{neu}~#1}}
+\newcommand{\prl}[1]{\ensuremath{\texttt{prj$_1$}~#1}}
+\newcommand{\prr}[1]{\ensuremath{\texttt{prj$_2$}~#1}}
 
 %% TYPES
 \newcommand{\Base}[1]{κ\, #1}