On 05/04/2012 21:02, John Scipione wrote: >>> For Option, as was stated previously, there is no obvious choice. But, >>> as was stated before my original suggestion, Option Key ⌥ is logical >>> and so I still say we go with that. If you have doubts, the actual >>> Unicode name for that symbol is OPTION KEY. So, it seems like a good >>> "option" to me. :) >> >> Note there is also an ALTERNATIVE KEY SYMBOL U+2387 ⎇ > > Yes, that is a good "alternative" :) Seriously, though, either works. I was thinking about ALT actually for this one (or command rather). But maybe it's not distinct enough from the OPTION symbol. > >> Oh there is a HELM SYMBOL U+2388 ⎈ with alternative name as "control". >> Not very visual though. > > I considered that, but, it looks like a spider web to me. Ditto. François.