

For exact numeric quantities, Equal uses numerical approximations to establish inequality, which can be affected by the value of the global variable $Ma圎xtraPrecision. For example, 1.01`2=1 returns True, while 1.01`3=1 returns False.

Equality for numbers below machine precision is established based on agreement to within the precision of the lowest precision number. Numbers with machine precision ( MachinePrecision) or greater are considered equal if they differ in at most their last seven binary digits.The single-argument form Equal returns True (as, slightly paradoxically, does the single-argument form Unequal ). The multiple-argument form Equal, which may also be input as expr 1= expr 2 …, returns True if all expressions expr i are numerically equal, False if at least two are not equal and unevaluated otherwise. Equal may be input using double equal signs as expr 1= expr 2 or using the \ character as expr 1 expr 2. For example, Equal )/2, GoldenRatio ] returns True, Equal returns False and Equal returns unevaluated. Equal returns True if expr 1 and expr 2 are numerically equal, False if they are unequal and unevaluated if equality cannot be established.In TraditionalForm, lhs= rhs is output as lhs rhs.

