From c48b64c70c4ea2fb74e44c48ac1b3a0c498cf0e8 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sat, 9 Apr 2016 22:12:56 +0200
Subject: [PATCH] fixed LaTeX  test failure

---
 .../neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java  | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java b/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java
index 8d252477c..68c66ddd1 100644
--- a/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java
+++ b/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java
@@ -11,11 +11,11 @@ public class GraphicSVGLaTeXTest extends TestCase {
 
         assertEquals("$Z_{0}$", gs.formatText("Z_0", Style.NORMAL.getFontSize()));
         assertEquals("\\&amp;", gs.formatText("&", Style.NORMAL.getFontSize()));
-        assertEquals("$\\geq{}$1", gs.formatText("\u22651", Style.NORMAL.getFontSize()));
-        assertEquals("$\\geq{}1$", gs.formatText("$\u22651$", Style.NORMAL.getFontSize()));
+        assertEquals("$\\geq\\!\\!{}$1", gs.formatText("\u22651", Style.NORMAL.getFontSize()));
+        assertEquals("$\\geq\\!\\!{}1$", gs.formatText("$\u22651$", Style.NORMAL.getFontSize()));
         assertEquals("$\\neg{}$Q", gs.formatText("~Q", Style.NORMAL.getFontSize()));
         assertEquals("$\\neg{}Q$", gs.formatText("$~Q$", Style.NORMAL.getFontSize()));
-        assertEquals("&lt;a&gt;", gs.formatText("<a>", Style.NORMAL.getFontSize()));
+        assertEquals("\\textless{}a\\textgreater{}", gs.formatText("<a>", Style.NORMAL.getFontSize()));
         assertEquals("Grün", gs.formatText("Grün", Style.NORMAL.getFontSize()));