<<< native [ ESuper (EIdentifier "X") (ENumber "2") , ESymbol Rel "=" , EIdentifier "y" , EGrouped [ EText TextNormal " under " , ESub (EIdentifier "H") (ENumber "0") , EText TextNormal " except when " , EGrouped [ EIdentifier "x" , EGrouped [ EText TextBold " is less than " , EIdentifier "z" , EText TextBold "." ] ] ] ] >>> mml X 2 = y under H 0 except when x 𝐢𝐬 𝐥𝐞𝐬𝐬 𝐭𝐡𝐚𝐧 z .