I just do a double dash. Some platforms auto convert it, some don’t. I’m a writer and the program I use does the conversion so it’s just muscle memory at this point.