put ∆ on Shift+AltGr+K