DOT / graphviz节点标签不显示类似HTML的下标

Question

Graphviz的HTML-like labels documentation建议我可以使用此.dot文件创建一个标记为Uₓ的节点：

digraph G {
    U [label=<U<SUB>X</SUB>>];
    U->X
}

不幸的是，生成的图形显示了一个用UX代替Uₓ的节点：

我是否缺少使Uₓ下标X的东西？

[UPDATE：我正在输出带有dot mygraph.dot -Tpng -o mygraph.png的PNG图像，并收到无警告或错误。版本是：

$ dot -V
dot - graphviz version 2.40.1 (20161225.0304)

在macOS上随brew一起安装

UPDATE 2：我尝试用-Tsvg输出SVG而不是-Tpng输出PNG，但确实得到了下标X。 X的字体大小与U完全相同，只是向下移了一点。为什么这么糟糕？

Answer 1

我对我的评论不满意，所以我将尝试对所见内容进行更好的概述（因此，没有答案，只是一个摘要）。对于此概述，我使用了以下输入：

digraph G {
    U [label=<U<sub>x</sub>>];
    U->X
    V [label=<U<SUB>x</SUB>>];
    V->X
    V1 [label=<Ux>];
    V1->X
    W [label=<U<sub>X</sub>>];
    W->X
    Y [label=<U<SUB>X</SUB>>];
    Y->X
    Y1 [label=<UX>];
    Y1->X
}

和以下版本的点：

• Windows：点-graphviz版本2.38.0（20140413.2041）
• Cygwin：点-graphviz版本2.40.1（20161225.0304）

结果如下：

Windows png：

Windows svg：

Cygwin png：

Cygwin svg：