<<< native [ EIdentifier "x" , ESymbol Rel ">" , ENumber "4" ] >>> mml $$x>4$$