%!PS-Adobe-2.0 EPSF-2.0
%%Orientation: Portrait
%%BoundingBox: -20 -20 106 255
%%EndComments
%%BeginProlog
/m { moveto } def /l { lineto } def /n { newpath } def
/s { stroke } def /c { curveto } def
/b { n 0 0 m dup true charpath pathbbox 1 index 4 index sub
7 index exch sub 2 div 9 index add 1 index 4 index sub 7 index exch sub
2 div 9 index add 2 index add m pop pop pop pop
1 -1 scale show 1 -1 scale n 3 index 3 index m 1 index 0 rlineto
0 exch rlineto neg 0 rlineto closepath s pop pop } def
%%EndProlog
0 235 translate
1 -1 scale
/Helvetica findfont 12 scalefont setfont
0.5 setlinewidth
0 108 87 19 (LaTeXsugar) b
n 43 127 m 43 162 l s
0 162 87 19 (OptionalSugar) b
n 43 181 m 43 216 l s
0 216 87 19 (Sugar) b
0 0 87 19 ([Pure]) b
n 43 19 m 43 54 l s
0 54 87 19 ([HOL]) b
n 43 73 m 43 108 l s