Graphviz（DOT），同一标签中的不同字体

Question

我想知道是否可以在同一标签中使用不同的字体大小。如果是这样，可以为我提供一些例子吗？

Answer 1

是的，可以使用HTML-Like labels。

这是一个简单的例子：

digraph g{
    a[label=<
        <FONT POINT-SIZE="20">Bigger</FONT>
         and 
        <FONT POINT-SIZE="10">Smaller</FONT>
    >];
}

输出：