digraph A {
rankdir = LR;
node [shape=doublecircle,style=filled] 0
node [shape=circle,style=filled] 1
0 -> 0 [label="@ b c "];
0 -> 1 [label="<a:b> "];
1 -> 0 [label="<0:c> "];
}