diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/latexgen.cpp | 1 | ||||
| -rw-r--r-- | src/util.cpp | 6 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/latexgen.cpp b/src/latexgen.cpp index 6db6148..8b8c835 100644 --- a/src/latexgen.cpp +++ b/src/latexgen.cpp @@ -323,6 +323,7 @@ static void writeDefaultHeaderPart1(FTextStream &t) " \\fontseries{bc}\\selectfont%\n" " \\color{darkgray}%\n" "}\n" + "\\newcommand{\\+}{\\discretionary{\\mbox{\\scriptsize$\\hookleftarrow$}}{}{}}\n" "\n"; // Define page & text layout diff --git a/src/util.cpp b/src/util.cpp index 54be42d..a4600d1 100644 --- a/src/util.cpp +++ b/src/util.cpp @@ -6527,9 +6527,9 @@ void filterLatexString(FTextStream &t,const char *str, case '^': t << "$^\\wedge$"; break; case '&': t << "\\&"; break; case '*': t << "$\\ast$"; break; - case '_': if (!insideTabbing) t << "\\-"; + case '_': if (!insideTabbing) t << "\\+"; t << "\\_"; - if (!insideTabbing) t << "\\-"; + if (!insideTabbing) t << "\\+"; break; case '{': t << "\\{"; break; case '}': t << "\\}"; break; @@ -6566,7 +6566,7 @@ void filterLatexString(FTextStream &t,const char *str, ((c>='A' && c<='Z' && pc!=' ' && pc!='\0') || (c==':' && pc!=':') || (pc=='.' && isId(c))) ) { - t << "\\-"; + t << "\\+"; } t << (char)c; } |