better arrows in dot output
Add this to the automata generated for the documentation
edge [arrowhead = vee, arrowsize = .6]
Suggested by Akim
Add this to the automata generated for the documentation
edge [arrowhead = vee, arrowsize = .6]
Suggested by Akim