Whitespace after \neq command #3068

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?