\documentclass{ppex} \nonstopmode \usepackage [all,2cell]{xy} \pagestyle{empty} \setlength\textwidth{183.0pt} \begin{document} \ResetPreambleCommands \ReadyForTheFray \usepackage [all,2cell]{xy} \UseAllTwocells \[ \xymatrix @=15mm { L_1 \rlowertwocell<-3>_{a_1}{<-1>} \rcompositemap<6>_{a_2}^{a_3}{\omit} & R_1 \dtwocell<0>_{a_4}{"} \\ L_2 \uuppertwocell_u^d{\omit} \rtwocell<2>{'id} & R_2 }\] \end{document}