# Edges with fancy arrows. OK.
[node.1] {label:   Node  1} -> {arrowhead: box;     dir: forward; label: A box}      [node.2]{color:blue}
[node.3] {label: 'Node  3'} -> {arrowhead: crow;    dir: forward; label: A crow}     [node.4]{color:blue}
[node.5] {label: "Node  5"} -> {arrowhead: diamond; dir: forward; label: A diamond}  [node.6]{color:blue}
[node.7] {label: <Node  7>} -> {arrowhead: veevee;  dir: forward; label: A veevee}   [node.8]{color:blue}
[node.9] {label:   Node  9} -> {arrowhead: teetee;  dir: forward; label: A teetee}  [node.10]{color:blue}

