I get slightly depressed when I see students write stuff like (A = X) ^ (B = X) ^ (A ≠ B) … (in relational algebra/calculus or SQL)