diff --git a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/LaTeXFormatter.java b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/LaTeXFormatter.java index 4a3960e5b..d77575625 100644 --- a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/LaTeXFormatter.java +++ b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/LaTeXFormatter.java @@ -27,6 +27,7 @@ public final class LaTeXFormatter { public static String format(Expression exp) { return format(new ExpressionToText().createText(exp, FormatToExpression.FORMATTER_LATEX), true); } + /** * Formats the given text * @@ -41,7 +42,10 @@ public final class LaTeXFormatter { if (text instanceof Simple) { return ((Simple) text).getText(); } else if (text instanceof Blank) { - return " "; + if (mathMode) + return "\\ "; + else + return " "; } else if (text instanceof Character) { return character(((Character) text).getChar(), mathMode); } else if (text instanceof Decorate) {