packages/macros.sty : Changed isomorphism and equivalence symbols

This commit is contained in:
saundersp 2025-02-12 19:00:49 +01:00
parent fec2806d58
commit 7096394f76

View File

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