<<< tex 3\times4 >>> native [ ENumber "3" , ESymbol Bin "\215" , ENumber "4" ]