How do you use Graphviz/DOT's HTML features to add a subscript character to an edge label?
Like this:
digraph g { 1 -> 2 [label=<Regular<SUB>subscript</SUB>>]; }