Deal with ! (universal quantifier) and != (infix disequality).