<<< native [ EDelimited "[" ")" [ Right (EGrouped [ ENumber "0" , ESymbol Pun "," , ENumber "1" ]) ] ] >>> mml $$\left[0,1\right)$$