Gark Garcia

> This should be mentioned in docs somewhere. Indeed, it should. However, I feel like this shouldn't be in the user-facing documentation, as regular users are probably not interested in...

> The second section in Overview/Manual/Implementation/Documentation markup that starts `## comment` talks about and describes tags like ``, ... isn't in the wiki yet. > > Also I should mention...

I am concerned about the implications of this PR. Maybe it's better to leave the conversion to the clients, even if we have to traverse the AST twice.

> I am concerned about the implications of this PR. Maybe it's better to leave the conversion to the clients, even if we have to traverse the AST twice. @rocky...

That's a big issue indeed. Recursion is formally equivalent to iteration on regards to tree traversal algorithms (I think). The problem is most tree traversal algorithms are much cleaner when...

I've now confirmed this wasn't mathicsscript-specific. This was an error in `replace_unicode_with_wl`, and it should be fixed via https://github.com/mathics/Mathics/pull/1108. The only reason why it didn't show up in mathicsserver is...

I should also point out that there is some unsoundness going on with warnings. Essentially, named characters aren't escaped in warning messages: ``` Mathicscript: 1.1.2, Mathics 2.0.0dev on CPython 3.6.9...

@rocky @mmatera I can take care of all of this, but I'd like to know if you guys have any thoughts or concerns.

> However, maybe it would be better to just modify the messages in the routine in the front-end that shows them (I do not have present where it this, and...

@suhr Is this something Mathematica does?