From 7096394f76a2f97f04a63f10447a04804b740b69 Mon Sep 17 00:00:00 2001
From: saundersp <pierre.saundersgb@gmail.com>
Date: Wed, 12 Feb 2025 19:00:49 +0100
Subject: [PATCH] packages/macros.sty : Changed isomorphism and equivalence
symbols
---
packages/macros.sty | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/packages/macros.sty b/packages/macros.sty
index 8905bcc..35cdbcf 100644
--- a/packages/macros.sty
+++ b/packages/macros.sty
@@ -35,7 +35,7 @@
\DeclareMathOperator{\Rel}{\mathcal{R}} % New symbol for binary relations
\DeclareMathOperator{\composes}{\circ} % New symbol composing morphisms
\DeclarePairedDelimiter{\abs}{|}{|}
-\newcommand{\isomorphic}{\cong} % Isomorphism
+\newcommand{\isomorphic}{\simeq} % Isomorphism
\DeclarePairedDelimiter{\card}{|}{|}
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
@@ -56,7 +56,7 @@
\newcommand{\Norm}[1]{\lVert #1\rVert}
\newcommand{\powerset}[1]{\mathcal{P}(#1)} % Power set
\newcommand{\converges}{\rightarrow}
-\newcommand{\equivalence}{\Leftrightarrow}
+\newcommand{\equivalence}{\Longleftrightarrow}
\renewcommand{\implies}{\Longrightarrow}
\newcommand{\Limplies}{\Longleftarrow}
\newcommand{\impliespart}{\fbox{$\implies$}}