Expand name of unicode function as latex in docs

[Carreau]

Not sure how to do it, but something that would look like that would be usefull to know how to type these.

For example above, it is hard to know if it is a \notin or a \in\not

[jiahao]

Documentation for tab-completion was added in JuliaLang/julia#8479, but not exactly at the level of integration you have in mind probably.

[Carreau]

Yes, thanks, I was aware of the above page. I forgot to mention, but having these aka \... is also helpfull to search :-)
Anyway that's just a proposal / feature request.

I dived into sphinx, but gave up as I don't really find how to modify the generated HTML easily, and it will probably need a way to access the unicode<->tex map which is a bit annoying.

[jiahao]

In principle we could inherit HTML doc writer class and customize it to keep track of unicode characters it encounters and inject the tab-completions at the end of a paragraph... sounds like a lot of work though, and possibly another good use case for pyjulia :)

[Carreau]

Yes, I suppose. I was (almost) considering javascript onload. Pretty easy to target the right dom element with jquery. I would need to export the julia charmap in json, but doable.