I can write something like this:
\documentclass{article}
\usepackage{amsmath}
\usepackage[all,cmtip]{xy}
\begin{document}
\[
\xymatrix{
2 \times 2 \ar@/_2pc/[ddd]_{\txt{generalize}} \\ \\ \\
\txt{$\Lambda N.\, \lambda$ $(\text{MUL} : N \to N \to N)$ \\
$(\text{O} : N)$ \\
$(\text{S} : N \to N).\,$ \\
MUL (S (S O)) (S (S O))} \ar@/_2pc/[uuu]_{\txt{specialize}}
}
\]
\end{document}
and it looks like this:
I would like to left-align the text; I want to end up with something like this:
which I could do by using \phantom
if I could get \txt
to be left-aligned here. How do I get left-alignment inside \txt
in \xymatrix
?