http://www.cs.utah.edu/~rafkind/tmp/redex.png _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
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
