add useful symbols