Use a 'real' minus with tex4ht

This relies on a Unicode conversion to HTML, and may be altered
once v3 is finished (no need for text mode).