Еще об изогнутых стрелках
Кроме конструкции @/.../, изгиб стрелки можно задавать конструкцией @( направление_выхода,направление_входа), где направление_выхода и направление_входа — это буквы или пары букв, значение которых показано на следующем рисунке:

Пример:
![]() | $\xymatrix{ A\ar@(ul,dl)[]_f\ar[r]^g&B }$ |
Заодно показано, как с помощью "пустого" указателя направления [] и @(...)-конструкции можно напечатать стрелку, ведущую из формулы в нее же.