Is there a symbol for potential equality? Essentially I'd like to condense:
$ (a = b) \lor (a \ne b) $
so that I can express the phrase "a may or may not be equal to b". Apologies if my syntax is not entirely correct; I come from a computer science background.