TikZ로 보편성질 다이어그램 그리는 방법
코드
\documentclass[12pt]{article}
\usepackage{tikz}
\begin{document}
$$
\begin{tikzpicture}[node distance=3.5cm, auto]
\node (Vtimes) {$V_{1} \times V_{2}$};
\node (Votimes) [right of = Vtimes] {$V_{1} \otimes V_{2}$};
\node (W) [node distance=2.0cm, below of = Votimes] {$W$};
\draw[->] (Vtimes) to node [swap] {$\phi$} (W);
\draw[->] (Vtimes) to node {$f$} (Votimes);
\draw[->, dashed] (Votimes) to node {$\psi$} (W);
\end{tikzpicture}
$$
\end{document}
설명
$\KaTeX$에서는 아직 다이어그램을 그리는 기능이 부족하다. 위와 같이 대각선이 포함된 다이어그램을 그리려면 TikZ의 도움이 필요하다. 위 코드는 Overleaf에서 이상 없이 실행된다.