page moved to WolframLang: Source Code Encoding and Unicode