The operator ~ can be used in the following ways:
~
list2 ~
symbol2atoms(
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.