Треугольная коммутативная диаграмма с ксиматрицей

Question

Я использую xymatrixпакет (который, как мне кажется, более дружелюбен, чем пакет tikz), и пытаюсь сделать простую треугольную диаграмму с круглой стрелкой посередине. Я имею в виду, я сделал вот это:

\documentclass{article}
\usepackage[all]{xy}
\begin{document}
$\xymatrix
   { & \mathcal{L} \ar[dl]_{\pi_j} \ar[dr]^{\pi_i} & \\
     G_j \ar[rr]_{\pi_i^j} & & G_i
   }
$
\end{document}

и я хочу добавить круглую стрелку в середине. Я пробовал добавлять строки, но диагональные стрелки стали сумасшедшими, и результат ужасный.

Answer 1

Так?

\documentclass{article}
\usepackage[all]{xy}
\begin{document}
$\xymatrix
   { & \mathcal{L} \ar[dl]_{\pi_j} \ar[dr]^{\pi_i} \ar[d]|-{\circ} & \\
     G_j \ar[rr]_{\pi_i^j} & & G_i
   }
$
\end{document}

Answer 2

Вы знаете tikz-cdупаковку? Это не так уж и сложно:

\documentclass{article} 
\usepackage{tikz-cd} 
\usepackage{stix}
\begin{document} 
\begin{tikzcd}[column sep=small, row sep=small] 
    & \mathcal{L} \arrow{ddl}[swap]{\pi_{j}} \arrow{ddr}{\pi_{i}} &\\
    & \circlearrowleft &\\[-2ex]
    G_{j} \arrow{rr}[swap]{\pi_{i}^{j}} & & G_{i} \\
\end{tikzcd}
\end{document}

Answer 3

Мы все еще гадаем, как вы хотите, чтобы это выглядело, но вот попытка:

Это можно получить с помощью:

\documentclass{article}
\usepackage{amssymb}
\usepackage[cmtip,all]{xy}

\begin{document}

$\xymatrix{
  & \mathcal{L} \ar[dl]_{\pi_j} \ar[dr]^{\pi_i}
  \ar@{}[d]|-{\circlearrowleft} \\
  G_j \ar[rr]_{\pi_i^j}
  && G_i
}
$

\end{document}