~
and /~
The operator ~
can be used in the following ways:
list1 ~
list2
symbol1 ~
symbol2
atoms(
symbol1)
and
atoms(
symbol2)
, the lists of their atomic symbols, do
congruate.
The comparison expr1
/~
expr2 holds iff the
comparison
expr1
~
expr2 does not hold.