equals -package:unification-fd
The document equals contains an equal sign, "=".
The document equals contains an equal sign, "=".
Test the two arrays for equality.
Test two different types of finite numbers for equality.
Test two different types of finite numbers for equality.
The document equals consists of an equals sign, "=".
The document equals contains an equal sign, "=".
Print
=. Do not use
txt "=".
Tests if two relations <math> are equal, i.e., they contain the
same elements.
Test two different types of
Closed values for equality.
Without Shift: =. With Shift: +.
The Equals relation is used to express equality between two
entities. Given an equality, you are then able to substitute one side
of the equality for the other, anywhere you please.