diff --git a/packages/macros.sty b/packages/macros.sty index 6edf20a..11fcbb2 100644 --- a/packages/macros.sty +++ b/packages/macros.sty @@ -67,6 +67,7 @@ \newcommand{\powerset}[1]{\mathcal{P}(#1)} % Power set \newcommand{\converges}{\rightarrow} \DeclareMathOperator{\equivalence}{\Longleftrightarrow} +\newcommand{\notimplies}{\mathrel{{\ooalign{\hidewidth$\not\phantom{=}$\hidewidth\cr$\implies$}}}} \DeclareMathOperator{\Limplies}{\Longleftarrow} \newcommand{\impliespart}{\fbox{$\implies$}} \newcommand{\Limpliespart}{\fbox{$\Limplies$}}