Equals Operator

[stefnotch]

Depending on the context, an equals sign can mean a few slightly different things:

• Assignment $a = 3$ , which is normal in a programming context or when defining a variable. A mathematical example is $\displaystyle \sum_{i=1}^n i$. There, $i$ is 1, then 2, then 3, ...
• Equality $x^2 + 2x + 1 = 0$ , which is what one usually expects
• Check if they are equal $\top = (\bot \lor \top)$ , which is perfectly reasonable in boolean algebra. This is logical equality
• Calculate result: The equals symbol on a physical calculator.

[stefnotch]

Added to thesis