digraph "sumprod" { rankdir="LR"; remincross=true; n2 [ shape=octagon, label="a", color="black", fontcolor="black" ]; n3 [ shape=octagon, label="b", color="black", fontcolor="black" ]; n4 [ shape=octagon, label="c", color="black", fontcolor="black" ]; n5 [ shape=octagon, label="sum", color="black", fontcolor="black" ]; c9 [ shape=record, label="{{ A| B}|$1\n$add|{ Y}}" ]; c10 [ shape=record, label="{{ A| B}|$2\n$add|{ Y}}" ]; c9:p8:e -> c10:p6:w [color="black", style="setlinewidth(3)", label=""]; n2:e -> c9:p6:w [color="black", style="setlinewidth(3)", label=""]; n3:e -> c9:p7:w [color="black", style="setlinewidth(3)", label=""]; n4:e -> c10:p7:w [color="black", style="setlinewidth(3)", label=""]; c10:p8:e -> n5:w [color="black", style="setlinewidth(3)", label=""]; };