<<< mml $x>4\text{X is greater than 4}\text{X is greater than 4}$ >>> native [ EIdentifier "x" , ESymbol Rel ">" , ENumber "4" ]