digraph "sumprod" { rankdir="LR"; remincross=true; n2 [ shape=octagon, label="c", color="black", fontcolor="black" ]; n3 [ shape=octagon, label="prod", color="black", fontcolor="black" ]; c7 [ shape=record, label="{{ A| B}|$4\n$mul|{ Y}}" ]; n1 [ shape=diamond, label="$3_Y" ]; n1:e -> c7:p4:w [color="black", style="setlinewidth(3)", label=""]; n2:e -> c7:p5:w [color="black", style="setlinewidth(3)", label=""]; c7:p6:e -> n3:w [color="black", style="setlinewidth(3)", label=""]; };