Viewing profile — wdporter

I think he might mean it does not fully prove anything. Is the dash an awkward attempt at a pun?

I find this page the cleanest: https://en.wikipedia.org/wiki/List_of_Unicode_characters . I can usually just do a Ctrl-F and find what I want.

Easy on windows: press and hold the alt key, and then 0151 on the numeric keypad.

If you're on windows and have a numeric keypad, it's alt-0150.

alt-0151 (numeric keypad) on windows Some other useful ones to memorise: 0150 the endash, 0133 the ellipsis, 0145 the single quote opening, 0146 the apostrophe/single quote closing…

true, perhaps, but a colon would have been more appropriate here and programmers should be familiar enough with them also.

Agreed. Good typography is good writing.

I probably shouldn’t presume to speak for the OP, but given that they’re optional, I would think so, yes.