Added symbols to abstract syntax