Just switch to hyphens - they’re easier to type and they’re always directly available, without relying on conversion of double-hyphen or obscure key combinations that might not be available on different operating system.