Как включить символ элемента в графвизе? - PullRequest
0 голосов
/ 01 апреля 2019

Я хочу включить символ элемента (∈, Wiki-ссылка ) в график Graphviz.

isElementOf [label=<&#8712;>]

Как это сделать правильно?Код выше дает другой символ (квадрат с четырьмя нулями).

Пример неправильного конечного результата:

Link 1

Пример правильного конечного результата:

Link 2

1 Ответ

0 голосов
/ 01 апреля 2019

попробуй вот так isElementOf [label=<&#8712;>]

enter image description here

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