+ char_type const c = command[n];
+ docstring const latex = runparams.encoding->latexChar(c);
+ result += latex;
+ if (latex.length() > 1 && latex[latex.length() - 1] != '}') {
+ // Prevent eating of a following
+ // space or command corruption by
+ // following characters
+ result += "{}";
+ }