Cette réponse contient des conseils sur la façon de le faire sur Gnome ou Vim, mais ceux-ci ne fonctionnent pas sur KDE. Ce bogue montre que KDE ne prend pas en charge la notation ISO avec Ctrl + Maj plus le code hexadécimal du caractère. Existe-t-il un autre moyen de le faire avec un clavier...