Two quantities are said to be equal if they are, in some well-defined sense, equivalent. Equality of quantities 
and 
is written 
. Equal is implemented in the Wolfram
Language as Equal[A,
B, ...], or A==B==....
Equality of multiple expressions is commonly denoted
 |  |  |
(1)
|
 |  |  |
(2)
|
which is equivalent to 
.
Equality is transitive, so if 
and 
,
then it is also true that 
.
A symbol with three horizontal line segments (
) resembling the equals sign is used to denote both equality
by definition (e.g., 
means 
is defined
to be equal to 
)
and congruence (e.g., 
means 13 divided by 12 leaves a remainder
of 1--a fact known to all readers of analog clocks).
Given an expression involving known constants, integration in finite terms, computation of limits, etc., the constant problem asks to
determine if the expression is equal to zero (or, equivalently, if the equality 
holds, since this is equivalent to
). In general, this is a very difficult
(and unsolved) problem.
Equalities that the Wolfram Language cannot establish "out of the box" include
(1+Sqrt[5])/2 == GoldenRatio (1+E)^2 == 1+2E+E^2
