Syntax for equality and rewrite hints.