added terminal symbols