terminal symbols