From 1cd05ba0e6180ded61836bddf28c3d1fdb967039 Mon Sep 17 00:00:00 2001
From: saundersp <pierre.saundersgb@gmail.com>
Date: Tue, 15 Jul 2025 13:57:12 +0200
Subject: [PATCH] package/macros.sty : Added notimplies command

---
 packages/macros.sty | 1 +
 1 file changed, 1 insertion(+)

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