From 348823b83c5e4f661b721e6c44cbd1957fed0efb Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey@sergey-goncharov.org>
Date: Mon, 12 Jan 2026 19:58:54 +0000
Subject: [PATCH] no mathbin for iso

---
 catprog.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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