unify symbol representation, fix display bug