Symbol: TYPE_AND