https://wp.jochen.hayek.name/blog-en/2009/10/25/pipe-symbol-at-apple-keyboard/