Symbol: MAX_ELEMENT