Linuxer+2008-05-05 15:18:59--

Hm, ist der Output dann HTML?
Dann könntest Du das mit CSS "text-decoration: overline;" formatieren...

Anderer Gedanke:
Kann man das gewünschte Ergebnis (1 mit Oberstrich) aus den entsprechenden Unicode Zeichen zusammensetzen?

Hi!

Die Ausgab ist eine ps- oder png-Datei. Das mit dem zusammensetzen der Zeichen hab ich mit den zur Verfügung stehenden Entities versucht, aber leider ohne Erfolg. Wenn, dann stand der Strich neben der Zahl :-(
Oder wie meinst du das?

Grüße, pktm