In the differential panel, the Nakamura's Lemma... button uses ASCII characters only. That looks ugly and doesn’t match standard OS X UI.
For convenience, copy and paste the characters below and spread some Unicode love!
U+2019 ’ right single quotation mark, the preferred character to use for apostrophe according to the Unicode standard. On US keyboards, type ⇧⌥] (shift-option-]).
U+2026 … horizontal ellipsis. On US keyboards, type ⌥; (option-;).
In the differential panel, the Nakamura's Lemma... button uses ASCII characters only. That looks ugly and doesn’t match standard OS X UI.
For convenience, copy and paste the characters below and spread some Unicode love!
U+2019 ’ right single quotation mark, the preferred character to use for apostrophe according to the Unicode standard. On US keyboards, type ⇧⌥] (shift-option-]).
U+2026 … horizontal ellipsis. On US keyboards, type ⌥; (option-;).