For anyone wondering how to input that funny symbol which does not exist on the overwhelming majority of keyboards: You have to press Ctrl + Alt at once.