iDevices (and maybe MacOS too?) correct various dashes to the Unicode equivalents. Double dash seems to get converted to em-dash automatically.