4
$\begingroup$

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.

  • 0
    Perhaps you mean to state that $a$ and $b$ are of the same type, so that it makes sense to ask whether they are equal in the first place?2016-01-22

1 Answers 1

7

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.

  • 1
    ≟ is the unicode symbol. Unicode: U+225F, UTF-8: E2 89 9F2018-11-07