For example, the inline code ``Foo₁`` is generated as `\code{Foo1}` instead of `\code{Foo₁}` when using `make latex`. Tested with Sphinx 1.4.1. Blocking https://github.com/agda/agda/issues/1953.
For example, the inline code
Foo₁is generated as\code{Foo1}instead of\code{Foo₁}when usingmake latex.Tested with Sphinx 1.4.1.
Blocking agda/agda#1953.