WYSIWYG editors make this problem worse, not better. It is extremely common, if not expected, for a WYSIWYG editor to change the character that has been typed

WYSIWYG editors make this problem worse, not better. It is extremely common, if not expected, for a WYSIWYG editor to change the character that has been typed by the user to a different character which the editor thinks better corresponds to the intention of the user. That very principle is essentially wrong. And in a WYSIWYG editor, the user is not necessarily aware that this "helpful" change has taken place. In particular, the user will not be aware if the characters are visually identical. Typesetting concerns only belong to typesetting tools. And even then, almost all these typesetting rules relating to quotes and dashes are obscure, actively debated, dependent on language and most important of all, completely useless.