Zulip Chat Archive
Stream: new members
Topic: Inequality notation
Thorsten Altenkirch (Sep 21 2020 at 15:01):
Is there a predefined notation for ¬ (x = y) such as x <> y?
Johan Commelin (Sep 21 2020 at 15:02):
\ne
Johan Commelin (Sep 21 2020 at 15:03):
I.e., unicode /=
Last updated: Dec 20 2023 at 11:08 UTC