unify notation.