saundersp/notebook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

package/macros.sty : Added notimplies command

Browse Source
This commit is contained in:
saundersp
2025-07-15 13:57:12 +02:00
parent 6f054ac4d9
commit 1cd05ba0e6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
packages/macros.sty
View File

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