It means not equal. So 5 /= 5
is false as 5 == 5
is true.
x /= y = not (x == y)
As suggested, it recalls the mathematical symbol “≠” (/=) opposite to “=” (==).
It means not equal. So 5 /= 5
is false as 5 == 5
is true.
x /= y = not (x == y)
As suggested, it recalls the mathematical symbol “≠” (/=) opposite to “=” (==).