> No, they used the ⌥ symbol, which is the option/alt key symbol also established by Apple. Fair enough; I did not notice the difference. > which is, shocker,

> No, they used the ⌥ symbol, which is the option/alt key symbol also established by Apple. Fair enough; I did not notice the difference. > which is, shocker, company-specific. I would not have proposed it if I thought it was. > It's not printed on keyboards. It’s printed on some keyboards: https://hhkeyboard.us/hhkb/pro-classic/sku/cg01000-296201 https://hhkeyboard.us/hhkb/pro-classic/sku/cg01000-296201