Defined syntactic equality.