Personally I’ve always preferred a minus sign closer, like the latter. While the subtraction operator looks better as the former. But I think this is just a calculator-ism that has infected my math syntax.
But especially for matrix inversion, the super wide subtraction symbol just looks awful to me. A little calculator style minus symbol is also nice because it’ll clear the matrix more easily…
The issue of non-ASCII-constrained environments is that it's still not easily accessible on most keyboards.
I do know and use the compose key but it's not the same as having a standard key for it. Trying on a mobile device, long pressing the dash key there suggests 2 dashes (not sure if the second choice is en-dash or em-dash), which is some but that's not the 4 types discussed here.
Do you know one where it's easy to type? There are many international keyboards but I don't think any has that many dashes. Compose key is the best I think.
It’s easier to type HYPHEN-MINUS‐the‐keyboard-key, but text should be displayed using the appropriate glyph, depending on its semantic meaning, which is never HYPHEN-MINUS‐the-glyph.
(This discussion is similar to the classic net discussion about TAB‐the‐ASCII‐character versus TAB‐the‐keyboard‐key, with some people having trouble conceptualizing the difference.)