3 Einträge, 1 Seite |
1
2
3
4
5
6
7
digraph 12.5 {
node [shape = doublecircle]; q2;
node [shape = circle];
q0 -> q1 [ label="walk / 1"]; /* hier soll die 1 einen Überstrich erhalten */
q1 -> q2 [ label="shop"];
rankdir=LR;
}
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?
3 Einträge, 1 Seite |