Remove corrupt .aux on pdflatex failure to prevent broken next-run

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Makefile

@@ -110,7 +110,7 @@ edit: $(SRCNAMES)
 
 %.pdf: $(TEXSRC) $(wildcard $(THISDIR)*.tex) $(BBLNAMES)
 	@echo Compiling $@
-	($(PDF) $(@:.pdf=.tex)) || (touch --date="`date -R -r $(@:.pdf=.tex)`" $@ & grep "Warning" $(@:.pdf=.log))
+	($(PDF) $(@:.pdf=.tex)) || (touch --date="`date -R -r $(@:.pdf=.tex)`" $@ & rm -f $(@:.pdf=.aux) & grep "Warning" $(@:.pdf=.log))
 
 
 	@echo Recompile tikz images

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