TODO : unify symbol representation