tikz diagram of multiple redexes