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