3 ms·

Here's a reliable way to use the Option key on macOS for keyboard shortcuts instead of special characters.