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.
$\endgroup$ 72 Answers
$\begingroup$The most common usage I have seen is
$$a \overset{?}{=} b$$
Usually its context I've seen is before you're trying to prove that they indeed equal or something of that matter.
$\endgroup$ 5 $\begingroup$≟
The Unicode symbol ≟ can be used for questionable equality.
Unicode Reference:
$\endgroup$