@pschwede I use bing Translator because :

* it's not a google property.
* it accepts a big text block, up to 5,000 chars.
* and the output is paginated properly.

the google translate output is a mess if copied and pasted back into a letter or post. Or it has been in my experience at least.

regarding the contents, I recognized the Pi char, but really wanted a more mnemonic way to remember your username for posts. LOL, the @ one in itself is hard to remember, the Chinese one, impossible.