symbol productions