no mathbin for iso

2026-01-12 19:58:54 +00:00
1 changed files with 3 additions and 3 deletions
--- 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