4 ms·
And Option-Shift-Hyphen in macOS, which is easy if you know it. And a press and hold on a hyphen on iOS, which is discoverable, even.
by dwb 9mo ago
And Option-Shift-Hyphen in macOS, which is easy if you know it. And a press and hold on a hyphen on iOS, which is discoverable, even.
- BalinKing 9mo agoYeah, I'm on macOS (although even back on Windows, I used to use the Character Map all the time).
- trissim 9mo agoFair, the em dash comment was a cheap shot. Withdrawn. The substantive point stands: you've now "skimmed" multiple files, called them all "boilerplate," and haven't engaged with the actual proof structure. The rebuttals section addresses "The Proofs Are Trivial" directly (Concern 9). At some point "I skimmed it and it looks trivial" stops being a critique and starts being "I didn't read it."