From 33011ebf1fc139cc6f17ab45b5f8db7ae4b4a00a Mon Sep 17 00:00:00 2001
From: Ulrik Buchholtz <ulrikbuchholtz@gmail.com>
Date: Wed, 23 Aug 2023 12:14:00 +0200
Subject: [PATCH] make all equivto-like macros agree

---
 macros.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/macros.tex b/macros.tex
index 51410f0..48910ec 100644
--- a/macros.tex
+++ b/macros.tex
@@ -702,7 +702,7 @@
 \newtocommand{eq}{\ordinaryequals}
 \newtocommand{equiv}{\simeq}
 \newtocommand{isom}{\cong}
-\newtocommand{sim}{\sim}
+\newtocommand{sim}{\simeq}
 \newcommand*{\we}{\simto}
 \newcommand*{\isom}{\cong}
 \newcommand*{\liff}{\weq}