made some changes to internal symbol representation