Probably it's "compose key" feature available on linux, allowing one to type alternative characters via key mnemonics, rather than numeric key codes like on win

Probably it's "compose key" feature available on linux, allowing one to type alternative characters via key mnemonics, rather than numeric key codes like on windows. https://en.wikipedia.org/wiki/Compose_key https://en.wikipedia.org/wiki/Compose_key