実験してみましょう。XyJaxによる図式 ↓
$`\newcommand{\B}[1]{ {\bf #1} }
\xymatrix@C-1pc{
% 1
{\B{L}}\ar[d]\ar[rr]
& {}
& {\B{FinSet}}\ar[d]\ar[rr]
& {}
& {\B{Set}}\ar[d]
& {}
\\
% 2
{\B{MMat}} \ar[dd]\ar[dr]\ar[rr]
& {}
& {\B{MFXMat}} \ar[dd]\ar[dr]\ar[rr]
& {}
& {\B{MXMat}} \ar[dd]\ar[dr]
& {}
\\
% 3
{}
& {\B{Mat}} \ar[dd] \ar[rr]
& {}
& {\B{FXMat}} \ar[dd] \ar[rr]
& {}
& {\B{XMat}} \ar[dd]
\\
% 4
{\B{MTens}} \ar[dr]\ar[rr]
& {}
& {\B{MFXTens}}\ar[dr]\ar[rr]
& {}
& {\B{MXTens}}\ar[dr]
& {}
\\
% 5
{}
& {\B{Tens}}\ar[rr]
& {}
& {\B{FXTens}}\ar[rr]
& {}
& {\B{XTens}}
}`$
図式ではない数式もレンダリングされます（ときにレンダリングされないかも知れないですが）。$`\newcommand{\cat}[1]{\mathcal{#1}}
\newcommand{\Id}{\mathrm{Id} }
\newcommand{\ID}{\mathrm{ID} }
\newcommand{\In}{\text{ in } }
\require{color} % 緑色
\newcommand{\Keyword}[1]{ \textcolor{green}{\text{#1}} }%
\newcommand{\For}{\Keyword{For } }%
\newcommand{\Define}{\Keyword{Define } }%
\newcommand{\Declare}{\Keyword{Declare } }`$
$`\For F = (F, F', \eta^F, \varepsilon^F): \cat{C} \to \cat{D} \In {\bf Adj}\\
\For G = (G, G', \eta^G, \varepsilon^G): \cat{D} \to \cat{E} \In {\bf Adj}\\
\Declare F;G : \cat{C} \to \cat{E} \In {\bf Adj}\\
\Define F;G :=
(F*G, G'*F', \eta^F;(F*\eta^G* F'), (G'*\varepsilon^F*G);\varepsilon^G )\\
\:\\
\For \cat{C} \in |{\bf Adj}|\\
\Declare \Id_\cat{C} : \cat{C} \to \cat{C}\\
\Define \Id_\cat{C} := (\Id_\cat{C}, \Id_\cat{C}, \ID_{\Id_\cat{C}}, \ID_{\Id_\cat{C}})`$
