I think > .EQ > z = x+y > .EN > .EQ > c = a+b > .EN
is indeed the canonical way, unless you want to use a matrix (which is much more complicated).
I think > .EQ > z = x+y > .EN > .EQ > c = a+b > .EN
is indeed the canonical way, unless you want to use a matrix (which is much more complicated).