Use EM dash (—, unicode x2014) instead of obsoleted and illegible double hyphen to offset parenthetical text.
The scope is definitions + examples.
The contexts have been reviewed but no undue use of parenthetical text was noted — the semantics seems good and I'll stick with Princeton's work.
So the substitution is 'automatic', but for the spaces around '--' which have been normalized (in most cases, but not all, there was no space).
This follows Merriam Webster's guidelines.
This change is easily reversible for legacy work that uses '--'.
Use EM dash (—, unicode x2014) instead of obsoleted and illegible double hyphen to offset parenthetical text. The scope is definitions + examples. The contexts have been reviewed but no undue use of parenthetical text was noted — the semantics seems good and I'll stick with Princeton's work. So the substitution is 'automatic', but for the spaces around '--' which have been normalized (in most cases, but not all, there was no space). This follows Merriam Webster's guidelines. This change is easily reversible for legacy work that uses '--'.