blob: a8239f49754ca3dd92cdc2ecf7364f0760572eab (
plain)
1
|
\Cat & & \stop & \rTo \pt t & \stop \\ & \rTo _f & \stop & \rTo \pt m & \stop & \rTo _g & \\ & & \stop & \rTo \pt b & \stop \\ \Modify \Two \pt t \pt m <\alpha \Two \pt m \pt b <\beta \endCat
|