As a reference for any of us English-speakers who wish to get the characters correct, there is https://sites.psu.edu/symbolcodes/windows/codealt/ https://sites.

As a reference for any of us English-speakers who wish to get the characters correct, there is https://sites.psu.edu/symbolcodes/windows/codealt/ https://sites.psu.edu/symbolcodes/windows/codealt/, which I keep bookmarked at work and at home.