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

Reply via email to