Am Freitag, 13. Mai 2022 schrieb Dr. Nikolaus Klepp:
Now, the question remains, how do I know the keys to invoke/print/type that (or any) symbol on a given keyboard configuration…
Look at https://wiki.archlinux.org/title/Xmodmap : 0. column is just a line number, 1. Column "0x0038 (8)" is the unmodified key, in this case "8", 7. column is "ISO_Level3_Shift+Shift+Key" which translates to:
<AltGr> + <Shift> + <8> --> ™
:)
Yes, great. That's what I was looking for. Thanks also for the explanation.
Cheers, Stefan