I did, hence my other comment in this thread — proper dashes are easy. “--” can also be input on iOS by entering “- -” and then deleting the space. Or you can

I did, hence my other comment in this thread — proper dashes are easy. “--” can also be input on iOS by entering “- -” and then deleting the space. Or you can disable the “Smart punctuation” setting and type what you actually mean.