& (and) — bitwise and
expression and expression
expression & expression
and : Z x Z -> Z
3 and 9 = 1
Logical and yields the following bitwise combinations: 0 and 0 = 0, 0 and 1 = 0, 1 and 0 = 0 and 1 and 1 = 1. If the expressions are not in Z, they are truncated before the bitwise and is performed.
