diff --git a/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java b/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java
index 6b912ca42..230e6cf87 100644
--- a/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java
+++ b/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java
@@ -112,12 +112,11 @@ public class GraphicSwing implements Graphic {
     }
 
     @Override
-    public void drawText(Vector p1, Vector p2, String theText, Orientation orientation, Style style) {
+    public void drawText(Vector p1, Vector p2, String text, Orientation orientation, Style style) {
         applyStyle(style); // sets also font size!
         int height = gr.getFontMetrics().getHeight();
         if (height > minFontSize) {
-            if (theText == null || theText.length() == 0) return;
-            String text = theText.replace('~', '¬');
+            if (text == null || text.length() == 0) return;
 
             //GraphicMinMax.approxTextSize(this, p1, p2, text, orientation, style);
 
@@ -137,10 +136,10 @@ public class GraphicSwing implements Graphic {
 
             GraphicsFormatter.Fragment fragment = null;
             try {
-                Text t = new Parser(theText).parse();
+                Text t = new Parser(text).parse();
                 fragment = GraphicsFormatter.createFragment(gr, t);
             } catch (ParseException | GraphicsFormatter.FormatterException e) {
-                e.printStackTrace();
+                // on formatting errors show original text
             }
 
             AffineTransform old = null;
diff --git a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
index b49efe448..8079e72af 100644
--- a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
+++ b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
@@ -40,7 +40,6 @@ public final class GraphicsFormatter {
     public static void draw(Graphics2D gr, int x, int y, Fragment fragment) {
         Font font = gr.getFont();
         Stroke stroke = gr.getStroke();
-        gr.setStroke(new BasicStroke(2f));
         fragment.draw(gr, x, y);
         gr.setFont(font);
         gr.setStroke(stroke);
@@ -91,7 +90,7 @@ public final class GraphicsFormatter {
                 case MATH:
                     return createFragment(gr, font.deriveFont(Font.ITALIC), d.getContent());
                 case OVERLINE:
-                    return new OverlineFragment(createFragment(gr, font, d.getContent()), font.getSize() / 10);
+                    return new OverlineFragment(createFragment(gr, font, d.getContent()), font.getSize());
                 default:
                     return createFragment(gr, font, d.getContent());
             }
@@ -130,6 +129,7 @@ public final class GraphicsFormatter {
         }
 
         void draw(Graphics2D gr, int xOfs, int yOfs) {
+//            gr.setStroke(new BasicStroke());
 //            gr.drawRect(xOfs + x, yOfs + y + base - dy, dx, dy);
 //            gr.drawLine(xOfs + x, yOfs + y, xOfs + x + dx, yOfs + y);
         }
@@ -138,7 +138,7 @@ public final class GraphicsFormatter {
          * @return the width of this fragment
          */
         public int getWidth() {
-            return dx;
+            return dx + dy / 10;
         }
     }
 
@@ -254,13 +254,15 @@ public final class GraphicsFormatter {
     private final static class OverlineFragment extends Fragment {
         private final Fragment fragment;
         private final int indent;
+        private final float fontSize;
 
-        private OverlineFragment(Fragment fragment, int indent) {
+        private OverlineFragment(Fragment fragment, float fontSize) {
             this.fragment = fragment;
-            this.indent = indent;
+            this.fontSize = fontSize;
             this.dx = fragment.dx;
             this.dy = fragment.dy;
             this.base = fragment.base;
+            this.indent = dx < fontSize / 2 ? 0 : (int) fontSize / 10;
         }
 
         @Override
@@ -268,6 +270,7 @@ public final class GraphicsFormatter {
             super.draw(gr, xOfs, yOfs);
             fragment.draw(gr, xOfs + x, yOfs + y);
             int yy = yOfs + y - dy + base;
+            gr.setStroke(new BasicStroke(fontSize / 10f, BasicStroke.CAP_BUTT, BasicStroke.JOIN_BEVEL));
             gr.drawLine(xOfs + x + indent, yy, xOfs + x + dx - indent / 2, yy);
         }
     }