diff --git a/master.tex b/master.tex index 95bee5715f1a1d44c371a7d26af99a19fa179599..eec93a8fd8d2464c02f5b916b230dc940a01d97e 100644 --- a/master.tex +++ b/master.tex @@ -93,8 +93,8 @@ \newcommand{\id}[1]{\mathrm{id}_{#1}} \newcommand{\op}[1]{{#1}^\mathrm{\defn{dual}{op}}} \newcommand{\fc}[2]{{#2}^{#1}} -\newcommand{\terminal}{1} -\newcommand{\initial}{0} +\newcommand{\terminal}{\bot} +\newcommand{\initial}{\top} \newcommand{\bang}{!} \newcommand{\cobang}{\mathord{\text{\textexclamdown}}} \newcommand{\inv}[1]{{#1}^{-1}}