I type them manually out of habit. There are a handful of other common non-ASCII marks I have muscle memory for as well.

Compose-minus-minus-minus in X

It's one of the long-press punctuation marks on Android

Option-shift-minus on Mac