8 Sep
2024
8 Sep
'24
11:54 p.m.
On Sun, 8 Sep 2024, Wolfgang Schuster wrote:
Using the proper commands (e.g. \notin) was always the better choice because they produce better output than \not does.
One could do something like this: \define[1]\not {\ifdefined\csname not#1 \endcsname\relax \csname not#1 \endcsname \else \normalnot#1% \fi} Aditya