In message <[EMAIL PROTECTED]>, Akim Demaille writes:
>I'm very OK with changing them.  I buy any suggestion of names.
>Currently there are four guys:
>[...]
>      s/@PND@/#/g

If you ask someone in the UK to draw you a `pound sign' you'll get one
of these: `£' (that's the British currency symbol in case something is
eating high bits or you aren't reading this in latin1).  And in fact
the HTML entity `&pound;' refers this character.

Anyway, `@PND@' is a poor mnemonic for UK users - perhaps there's a
better choice?  Is `hash' (@HSH@) a globally recognised name for `#',
or is that a UK-only usage?

Or `number sign' (@NUM@ or @NMB@)?  Not in very common usage here, but
at least not ambiguous.

Cheers,
Olly

Reply via email to