<<< native
[ EDelimited
    "["
    ")"
    [ Right (EGrouped [ ENumber "0" , ESymbol Pun "," , ENumber "1" ])
    ]
]
>>> tex
\left\lbrack {0,1} \right)