[protontypes]

Maybe because the em dash is not on the keyboard of most people? It is not about the dash, but about the long em dash.

[int_19h]

It's very easy to type on macOS, not to mention auto-substitution that many apps have (and these days this extends to web browsers).