Unify notational variants.