==Equal Comparison

The == function tests if the object in the second position is equal to the object in the first position, as follows:

a b->c

#a #b->c

"a" "b"->c

(a) (b)->c

[a] [b]->c

[[a]] [[b]]->c

'a' 'b'->c

a_u₁ b_u₂->c

obj₁ obj₂->0

A true result is represented by the real number one. A false result is represented by the real number zero.