O comentário de muru responde à pergunta:
Chave de caracteres alternativos é outro nome para AltGr. Veja en.wikipedia.org/wiki/AltGr_key , help.ubuntu.com/community/ComposeKey (o artigo usa AltGr para obter uma chave de composição) - muru Mar 29 '16 at 17:33