import Html exposing (span)
import Html.Attributes exposing (property)
import Json.Encode exposing (string)
main = span [ property "innerHTML" <| string "x &times; y"] []