如何在graphviz中包含元素符号？

Question

我想将元素符号 (∈, Wiki link) 包含到 Graphviz 图中。

isElementOf [label=<∈>]

这是如何正确完成的？上面的代码给出了不同的符号（带四个零的正方形）。

错误的最终结果示例：

正确的最终结果示例：

Answer 1

这样试试isElementOf [label=<∈>]

digraph G {

  subgraph cluster_0 {
    style=filled;
    color=lightgrey;
    node [style=filled,color=white];
    a0 -> a1 -> a2 -> a3;
    label = "process #1";
  }

  subgraph cluster_1 {
    node [style=filled];
    b0 -> b1 -> b2 -> b3;
    label = "process #2";
    color=blue
  }
  start -> a0;
  start -> b0;
  a1 -> b3;
  b2 -> a3;
  a3 -> a0;
  a3 -> end;
  b3 -> end;

  start [shape=Mdiamond];
  end [label=<&#8712;>];
}

如何在graphviz中包含元素符号？

How to include element symbol in graphviz?

math

symbols

graphviz