Does anyone happen to know: is 🔎 a Unicode assigned character or a Debian private use character? Thanks, ... Peter E. -- https://en.wikibooks.org/wiki/Oberon Tel: +1 604 670 0140 Bcc: peter at easthope. ca