Here's the English text for the link that Gunnar posted above:
https://help.gnome.org/users/gnome-help/stable/tips-specialchars.html
Here's the English text for the link that Gunnar posted above:
https:/ /help.gnome. org/users/ gnome-help/ stable/ tips-specialcha rs.html