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$}}