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
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / 
https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage  : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive  : https://github.com/contextgarden/context
wiki     : https://wiki.contextgarden.net
___________________________________________________________________________________

Reply via email to