Re: A few more unicode symbols.

[Edwin Leuven]

Enrico Forestieri wrote:

But in practice it is invaluable for identifying problematic
constructs that otherwise would require exporting as latex for
examination.

maybe it is a good idea to document these somewhere ?