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.