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

Question

我想在Graphviz图中包含元素符号（∈，Wiki link）。

isElementOf [label=<&#8712;>]

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

错误的最终结果示例：

正确的最终结果示例：

Answer 1

尝试isElementOf [label=<&#8712;>]

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;>];
}