diff --git a/catprog.tex b/catprog.tex
index 88f1e3a..3738c63 100644
--- a/catprog.tex
+++ b/catprog.tex
@@ -77,9 +77,9 @@
 \providecommand{\Hom}{\mathsf{Hom}}
 \providecommand{\id}{\mathsf{id}}
 \providecommand{\op}{\mathsf{op}}
-\providecommand{\comp}{\mathbin{\circ}}
-\providecommand{\iso}{\mathbin{\cong}}
-\providecommand{\tensor}{\mathbin{\otimes}}
+\providecommand{\comp}{\circ}
+\providecommand{\iso}{\cong}
+\providecommand{\tensor}{\otimes}
 \providecommand{\unit}{\star}
 \providecommand{\bang}{\operatorname!}				% Initial/final map