In redex, when A reduces to B such that an arrow points to B from A and A is in quadrants 1 or 4 relative to B, the text is flipped. Here is a screenshot
http://www.cs.utah.edu/~rafkind/tmp/redex.png
In redex, when A reduces to B such that an arrow points to B from A and A is in quadrants 1 or 4 relative to B, the text is flipped. Here is a screenshot
http://www.cs.utah.edu/~rafkind/tmp/redex.png