wdporter·há 5 meses·discussI think he might mean it does not fully prove anything. Is the dash an awkward attempt at a pun?
wdporter·há 6 meses·discussI 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.
wdporter·há 7 meses·discussEasy on windows: press and hold the alt key, and then 0151 on the numeric keypad.
wdporter·há 7 meses·discussalt-0151 (numeric keypad) on windowsSome other useful ones to memorise:0150 the endash, 0133 the ellipsis, 0145 the single quote opening, 0146 the apostrophe/single quote closing, 0147 and 0148 for double quotes, 0149 for a bullet point.
wdporter·há 7 meses·discusstrue, perhaps, but a colon would have been more appropriate here and programmers should be familiar enough with them also.
wdporter·há 7 meses·discussI probably shouldn’t presume to speak for the OP, but given that they’re optional, I would think so, yes.