I just upgraded to v14 via brew and my dot images are broken.
[dot]
digraph {
graph [bgcolor=transparent dpi=180 nodesep=0.2 pad=0.1 rankdir=TB ranksep=0.2]
node [color=“#4361ee” fillcolor=transparent fixedsize=None fontcolor=“#111111” fontname=Recursive fontsize=14 height=0.32 justification=left penwidth=None shape=box size=None style=filled width=0.32]
{
rank=same
“EV(A)” [label=A color=transparent fillcolor=“#364fdb” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
“EV(B)” [label=B color=transparent fillcolor=“#364fdb” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
}
“GV((ab¬g)+(ag¬b)+¬e ↦ D)” [label=“(ab¬g)+(ag¬b)+¬e ↦ D” color=transparent fillcolor=“#c1eeff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
“GV(∞ ↦ E)” [label=“∞ ↦ E” color=transparent fillcolor=“#c1eeff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
“GV(¬d+¬g ↦ G)” [label=“¬d+¬g ↦ G” color=transparent fillcolor=“#c1eeff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
“EV(G)” [label=G color=transparent fillcolor=“#dc0072” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
“EV(D)” [label=D color=transparent fillcolor=“#dc0072” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
“EV(E)” [label=E color=transparent fillcolor=“#dc0072” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
{
rank=same
“GV((ab¬g)+(ag¬b) ↦ H)” [label=“(ab¬g)+(ag¬b) ↦ H” color=transparent fillcolor=“#9ae4ff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
“GV(b+d+¬a ↦ I)” [label=“b+d+¬a ↦ I” color=transparent fillcolor=“#9ae4ff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
“GV(¬a ↦ J)” [label=“¬a ↦ J” color=transparent fillcolor=“#9ae4ff” fixedsize=None fontcolor=“#111111” fontname=“Cascadia Mono” fontsize=14 height=0.1 justification=left penwidth=0 shape=box size=None style=“filled, rounded” width=None]
}
{
rank=same
“EV(H)” [label=H color=transparent fillcolor=“#6300a1” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
“EV(I)” [label=I color=transparent fillcolor=“#6300a1” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
“EV(J)” [label=J color=transparent fillcolor=“#6300a1” fixedsize=shape fontcolor=“#ffffff” fontname=“Cascadia Mono” fontsize=14 height=0.32 justification=left penwidth=0 shape=circle size=None style=filled width=0.32]
}
“EV(G)” → “GV((ab¬g)+(ag¬b)+¬e ↦ D)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(G)” → “GV(¬d+¬g ↦ G)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(G)” → “GV((ab¬g)+(ag¬b) ↦ H)” [arrowsize=0.7 color=“#9ca1ae”]
“GV((ab¬g)+(ag¬b)+¬e ↦ D)” → “EV(D)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(D)” → “GV(¬d+¬g ↦ G)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(D)” → “GV(b+d+¬a ↦ I)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(A)” → “GV((ab¬g)+(ag¬b)+¬e ↦ D)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(A)” → “GV((ab¬g)+(ag¬b) ↦ H)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(A)” → “GV(b+d+¬a ↦ I)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(A)” → “GV(¬a ↦ J)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(B)” → “GV((ab¬g)+(ag¬b)+¬e ↦ D)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(B)” → “GV((ab¬g)+(ag¬b) ↦ H)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(B)” → “GV(b+d+¬a ↦ I)” [arrowsize=0.7 color=“#9ca1ae”]
“EV(E)” → “GV((ab¬g)+(ag¬b)+¬e ↦ D)” [arrowsize=0.7 color=“#9ca1ae”]
“GV(∞ ↦ E)” → “EV(E)” [arrowsize=0.7 color=“#9ca1ae”]
“GV(¬d+¬g ↦ G)” → “EV(G)” [arrowsize=0.7 color=“#9ca1ae”]
“GV((ab¬g)+(ag¬b) ↦ H)” → “EV(H)” [arrowsize=0.7 color=“#9ca1ae”]
“GV(b+d+¬a ↦ I)” → “EV(I)” [arrowsize=0.7 color=“#9ca1ae”]
“GV(¬a ↦ J)” → “EV(J)” [arrowsize=0.7 color=“#9ca1ae”]
“lab-EV(A)” [label=Stretched fontsize=14 shape=none]
“lab-EV(A)” → “EV(A)”
“lab-EV(B)” [label=CoinToss fontsize=14 shape=none]
“lab-EV(B)” → “EV(B)”
subgraph cluster_1 {
rank=source
}
“lab-EV(H)” [label=LeftPull fontsize=14 shape=none]
“EV(H)” → “lab-EV(H)”
“lab-EV(I)” [label=RightPull fontsize=14 shape=none]
“EV(I)” → “lab-EV(I)”
“lab-EV(J)” [label=Stretch fontsize=14 shape=none]
“EV(J)” → “lab-EV(J)”
subgraph cluster_2 {
rank=sink
}
}
[/dot]
