Using the \neq command always adds whitespace after the symbol, which leads to awkward typesetting.
(\neg (a \Rightarrow \neg b) \lor {(c \land \neg a)}) \Leftrightarrow (a \Leftrightarrow d)
is rendered as
When comparing to KaTeX it gets rendered correctly:
We can advise users to workaround this by using mathord, but it is not very user friendly
(\mathord{\neg} (a \mathbin{\Rightarrow} \mathord{\neg} b) \mathbin{\lor} {(c \mathbin{\land} \mathord{\neg} a)}) \mathbin{\Leftrightarrow} (a \mathbin{\Leftrightarrow} d)
Is this intentional?
Using the
\neqcommand always adds whitespace after the symbol, which leads to awkward typesetting.is rendered as
When comparing to KaTeX it gets rendered correctly:
We can advise users to workaround this by using
mathord, but it is not very user friendlyIs this intentional?