Literal `Ctrl`? Or do you just mean as another mod...
# random
k
Literal
Ctrl
? Or do you just mean as another modifier for shortcuts?