From faa7a9a1d045b65e33b26f499c6a13caba969960 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sat, 9 Apr 2016 15:17:04 +0200
Subject: [PATCH] better handling of TeX  '$' characters.

---
 .../neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java  | 6 ++++--
 1 file changed, 4 insertions(+), 2 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 934c41360..8d252477c 100644
--- a/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java
+++ b/src/test/java/de/neemann/digital/draw/graphics/GraphicSVGLaTeXTest.java
@@ -11,8 +11,10 @@ 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("$\\neg$Q", gs.formatText("~Q", 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("Grün", gs.formatText("Grün", Style.NORMAL.getFontSize()));