macros.tex

   1 \usepackage{bussproofs}\r
   2 \r
   3 \theoremstyle{plain}\r
   4 \newtheorem{theorem}{Theorem}\r
   5 \newtheorem{lemma}{Lemma}\r
   6 % \newtheorem{prop}[thm]{Proposition}\r
   7 % \newtheorem*{cor}{Corollary}\r
   8 \r
   9 \theoremstyle{definition}\r
  10 \newtheorem{definition}{Definition}\r
  11 % \newtheorem{conj}{Conjecture}[section]\r
  12 \newtheorem{example}{Example}\r
  13 \r
  14 % \theoremstyle{remark}\r
  15 % \newtheorem*{rem}{Remark}\r
  16 % \newtheorem*{note}{Note}\r
  17 \r
  18 \newcommand{\defeq}{:=}\r
  19 \newcommand{\underscore}{\_\!\_}\r
  20 \r
  21 \newcommand{\TmIdentity}{\operatorname{I}}\r
  22 \newcommand{\TmTrue}{\operatorname{tt}}\r
  23 \newcommand{\TmFalse}{\operatorname{ff}}\r
  24 \r
  25 \newcommand{\SepP}[2]{\langle #1 \mid #2\rangle}\r
  26 \newcommand{\Subtm}{\preceq}%{\trianglelefteq}\r
  27 \newcommand{\Subtmapp}{\preceq^a}\r
  28 \newcommand{\EtaEq}{=_\eta}\r
  29 \newcommand{\EtaNeq}{\not\EtaEq}\r
  30 \newcommand{\true}{\operatorname{tt}}\r
  31 \newcommand{\false}{\operatorname{ff}}\r
  32 \newcommand{\todo}[1]{{\color{red}#1}}\r
  33 \newcommand{\ddef}{\mathrel{::=}}\r
  34 \newcommand{\semi}{\mathrel{;}}\r
  35 \r
  36 \newcommand{\ih}{\emph{i.h.}}\r
  37 \newcommand{\ie}{\emph{i.e.}}\r
  38 \newcommand{\eg}{\emph{e.g.}}\r
  39 % \newcommand{\EtaNeq}{\mathrel{\texttt{<>}}}\r
  40 \r
  41 \newcommand{\Commento}[1]{{\bf\color{red}#1}}\r
  42 \r
  43 \newcommand{\LambdaFire}{$\lambda_f$}\r
  44 \newcommand{\NewSystem}{$\lambda_{\color{red}???}$}\r
  45 \r
  46 % explicit substitution objectified\r
  47 \newcommand{\en}[2]{\texttt{[}#2\texttt{/}#1\texttt{]}}\r
  48 \newcommand{\comma}{\texttt{,}}\r
  49 \renewcommand{\semi}{\texttt{;}}\r
  50 \newcommand{\as}{{\ast}} % asterisk\r
  51 \r
  52 \newcommand{\Operator}[1]{\texttt{#1}}\r
  53 \newcommand{\Match}[2]{\Operator{match}^{#1}\,#2}\r
  54 \newcommand{\Branch}[2]{#1\mathrel{\texttt{=>}}#2}\r
  55 \newcommand{\SepPA}[3]{\langle#1 \mid #2 \mid #3\rangle}\r
  56 \newcommand{\Sep}{\mathrel{\texttt{|}}}\r
  57 \newcommand{\Num}{\mathrm{N}}\r
  58 \newcommand{\Numeral}[1]{\bar{#1}}\r
  59 \r
  60 \newcommand{\ToFire}[1]{#1{\downarrow}}\r
  61 \r
  62 \r
  63 % from strong_fireballs macros.tex\r
  64 \newcommand{\Lam}[1]{\lambda #1.\,}\r
  65 \r
  66 \newcommand{\hl}[1]{{\underline{#1}}}\r
  67 \newcommand{\Esub}[2]{\texttt{[}#2\texttt{/}#1\texttt{]}}\r
  68 \newcommand{\Comma}{\texttt{,}}\r
  69 \newcommand{\Semi}{\texttt{;}}\r
  70 \newcommand{\Subst}[2]{\{#2/#1\}}\r
  71 % \newcommand{\Comma}{}\r
  72 \newcommand{\tm}{t}\r
  73 \newcommand{\tmtwo}{u}\r
  74 \newcommand{\tmthree}{s}\r
  75 \newcommand{\var}{x}\r
  76 \newcommand{\vartwo}{y}\r
  77 \newcommand{\varthree}{z}\r
  78 \newcommand{\varfour}{w}\r
  79 \r
  80 \newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}\r