# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1307464649 -7200
# Node ID aa4e1ccda9ab0e9ae7c93388d74537c059c4365d
# Parent  af5be67953cd6a64040d9d3edacc6cf4aefc3953
Added upout.

diff -r af5be67953cd -r aa4e1ccda9ab tex/theory1_ex4.tex
--- a/tex/theory1_ex4.tex	Tue Jun 07 01:15:29 2011 +0200
+++ b/tex/theory1_ex4.tex	Tue Jun 07 18:37:29 2011 +0200
@@ -23,7 +23,7 @@
 \xymatrix
 {
 & & *++[o][F-]{50} \ar@{-}[dl] \ar@{-}[dr] & & & & & & *++[o][F-]{50} \ar@{-}[dl] \ar@{-}[dr]\\
-& *++[o][F-]{30} \ar@{-}[dl] \ar@{-}[dr] & & *++[o][F-]{60} \ar@{-}[dr] & \ar@{=>}[rr]^{delete(40)} & & & *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{60}\ar@{-}[dr]\\
+& *++[o][F-]{30} \ar@{-}[dl] \ar@{-}[dr] & & *++[o][F-]{60} \ar@{-}[dr] & \ar@{=>}[rr]^{delete(40)}_{upout(30)} & & & *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{60}\ar@{-}[dr]\\
 *++[o][F-]{20} & & *++[o][F-]{40} & & *++[o][F-]{70} & & *++[o][F-]{20} & & & & *++[o][F-]{70}\\
 }
 \end{figure}
@@ -31,7 +31,7 @@
 \xymatrix
 {
 & & *++[o][F-]{50} \ar@{-}[dl] \ar@{-}[dr] & & & & & & *++[o][F-]{50} \ar@{-}[dl] \ar@{-}[dr]\\
-& *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{60} \ar@{-}[dr] & \ar@{=>}[rr]^{delete(60)} & & & *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{70}\\
+& *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{60} \ar@{-}[dr] & \ar@{=>}[rr]^{delete(60)}_{upout(50)} & & & *++[o][F-]{30} \ar@{-}[dl] & & *++[o][F-]{70}\\
 *++[o][F-]{20} & & & & *++[o][F-]{70} & & *++[o][F-]{20} & & & & \\
 }
 \end{figure}