--- latex/direct-not.svg    Thu Jul 31 15:32:28 2014
+++ latex/direct.svg    Thu Jul 31 15:33:40 2014
@@ -1,6 +1,6 @@
 <?xml version='1.0'?>
 <!-- This file was generated by dvisvgm 1.8 -->
-<svg height='6.89265pt' version='1.1' viewBox='19.9253 3.06999 32.0864 6.89265' width='32.0864pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
+<svg height='6.89265pt' version='1.1' viewBox='19.9253 3.06999 22.3323 6.89265' width='22.3323pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
 <defs>
 <font horiz-adv-x='0' id='cmr10'>
 <font-face ascent='750' descent='-250' font-family='cmr10' units-per-em='1000'/>
@@ -16,6 +16,20 @@
 </style>
 <g id='page1'>
 <text class='f0' x='19.9253' y='9.96264'>Hello</text>
-<path d='M52.0117 6.74609C52.0117 4.96875 50.5742 3.52734 48.7969 3.52734C47.0195 3.52734 45.5781 4.96875 45.5781 6.74609C45.5781 8.52344 47.0195 9.96094 48.7969 9.96094C50.5742 9.96094 52.0117 8.52344 52.0117 6.74609ZM48.7969 6.74609' fill='#0000cc'/>
+<g transform="translate(48.7955,9.96264) scale(1,-1)"><g>
+<g stroke="rgb(0.0%,0.0%,0.0%)">
+<g fill="rgb(0.0%,0.0%,0.0%)">
+<g stroke-width="0.4pt">
+<g>
+<g>
+<g fill="rgb(0.0%,0.0%,80.0003%)">
+<path d="M  0.0 3.22916 M  3.22916 3.22916 C  3.22916 5.01259 1.78343 6.45831 0.0 6.45831 C  -1.78343 6.45831 -3.22916 5.01259 -3.22916 3.22916 C  -3.22916 1.44572 -1.78343 0.0 0.0 0.0 C  1.78343 0.0 3.22916 1.44572 3.22916 3.22916 Z M  0.0 3.22916" style="stroke:none"/>
 </g>
+</g>
+</g>
+</g>
+</g>
+</g>
+</g>
+</g></g>
 </svg>