**For the Linux, the character ^ is commonly used to represent the key Ctrl on the keyboard.

Press "Ctrl + ç" or "Press Ctrl + Shift + ]" then type quit**

Image description