Disambiguating the Equals Sign

Depending on context, can mean any of:

  • is known to be equal to
  • is assigned to be equal to y
  • is defined to be equal to .
  • We’re trying to show is equal to
  • The Boolean relation of

I get around this by using distinct forms of the equals sign for each of the nuances above.

I only use the equals sign when I know is equal to .

If I’m using to mean “let be equal to ”, I use either or .

If I’m defining to be equal to , I use or more often because my triple equals sign looks terrible when handwritten. The spacing is always off.

When I’m trying to show 2 sides are equal, I use . This has the advantage of making it clear that it’s wrong to transform both sides because I don’t know that they’re equal.The question mark conveys the idea of “dunno if they’re equal”.

For the last one, I use == like in programming. I’m used to it.

These distinctions may be overkill, but I think they make intent clearer, which is all the more valuable when you’re in a thicket of symbols without a map.

Related Posts

Swastika Night

Is there a name for this construction?

Fun with negation and idioms

How to change tabs to spaces

Another Way to Write Conditional Probability

Notes for May 9, 2019

A tool to look at random images


e-ink reminisces

Edwin Edwards