3
$\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
    What context would you want to do this in? I would personally use an equals sign with a question mark above it.2012-12-07
  • 0
    That's what I've usually seen as well - what Tom suggested.2012-12-07
  • 1
    What would you like a symbol that carries no information? Or if it should, what kind of information you would like it to have?2012-12-07
  • 4
    From a logical point of view, $(a=b)\lor (a\ne b)$ is a tautology. One can condense it by saying nothing.2012-12-07
  • 0
    True, but I had a case in which I specifically wanted to emphasize that fact by asking whether it was the case that (a = b) or the case that (a ?= b)... unless there is a way to condense THAT?2012-12-08
  • 0
    André, in cases where it might potentially be assumed that $a = b$ or assumed that $a \ne b$ you may want to be explicit in saying that it's not known. Usually the way I phrase the meaning of this needed symbol is "does not necessarily equal." Let's say you're trying to prove the general case for a theorem and find that the theorem is false, even though it works in some specific cases. It helps to be able to make the distinction.2015-10-28
  • 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

6

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.

  • 0
    No Unicode symbol for a question mark over an equals sign?2012-12-07
  • 0
    Not that I'm aware of. You can define it as a new command if you're going to be using it a lot. Also, \overset allows for other symbols to be used above an equals sign, such as !. \overset and amsmath are preferred over \stackrel{?}{=} I believe.2012-12-07
  • 0
    I don't see it often in texts - usually it is not needed, as noted in the comments to the OP's question. I'd definitely say it's more informal. I've seen it in lectures given by my professors, as well as in a few texts - but nothing 'well known' like Rudin, Spivak, or something like that.2012-12-08
  • 1
    @JakePetroules There actually is a Unicode symbol, called Questioned Equal To: ≟2018-10-25
  • 1
    ≟ is the unicode symbol. Unicode: U+225F, UTF-8: E2 89 9F2018-11-07