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