Hacker News new | ask | show | jobs
by yreg 1387 days ago
Hmm, it is the correct unicode character: × U+00D7 MULTIPLICATION_SIGN

Perhaps × html entity would fix that.