terminal symbol