Comment by aikinai

It vexes me that almost no one uses the real minus sign. But you also can't blame them since it's never been made readily-available. So you really have to be pedantic and spend time going to get it if you want to use it.