@gsalvisberg Versuche mal: STRG+Shift+u + Unicode-Zahlencode. Also STRG+Shift+u + 1111. Abschließen mit Leertaste.

ALT GR sowie ALT GR + Shift führen auch zu zahlreichen Sonderzeichen (probiere z. B. mal ALT GR + y oder ALT GR + x)

Hier gibt es eine kleine (unvollständige) Übersicht: https://wiki.ubuntu.com/UbuntuGermanTranslators/Sonderzeichen