Am Thu, 30 May 2013 23:48:00 +0200 schrieb "Diggory" <diggsey at googlemail.com>: > # would not be bad, but not & as that would just be confusing... It has the additional advantage to be a non-modifier symbol on a few Latin based keyboard layouts (English, German, Maltese, ...). -- Marco