From 4c7cf9558d310f037e003bd8528b7091a42a143b Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Mon, 8 Apr 2024 15:04:20 +0200
Subject: [PATCH] Use \top and \bot for initial and terminal objects

---
 master.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/master.tex b/master.tex
index 95bee57..eec93a8 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}}
-- 
GitLab