https://digitalixy.com/zh-TW/tech/maude/183636/how-the-command-and-option-keys-work-on-a-mac/