From 1bd3e36e5a64d9ad94ce458178d6ce56fb330b75 Mon Sep 17 00:00:00 2001 From: EFanZh Date: Sun, 20 Oct 2024 22:27:37 +0800 Subject: [PATCH] Use consistent epsilon symbol (#335) --- src/content/3.2/adjunctions.tex | 4 ++-- src/content/3.9/algebras-for-monads.tex | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/content/3.2/adjunctions.tex b/src/content/3.2/adjunctions.tex index a61a0328..3cf7e936 100644 --- a/src/content/3.2/adjunctions.tex +++ b/src/content/3.2/adjunctions.tex @@ -157,7 +157,7 @@ \section{Adjunction and Unit/Counit Pair} \centering \begin{tikzcd}[column sep=large, row sep=large] L \arrow[rd, equal] \arrow[r, "L \circ \eta"] - & L \circ R \circ L \arrow[d, "\epsilon \circ L"] \\ + & L \circ R \circ L \arrow[d, "\varepsilon \circ L"] \\ & L \end{tikzcd} \end{subfigure}% @@ -166,7 +166,7 @@ \section{Adjunction and Unit/Counit Pair} \centering \begin{tikzcd}[column sep=large, row sep=large] R \arrow[rd, equal] \arrow[r, "\eta \circ R"] - & R \circ L \circ R \arrow[d, "R \circ \epsilon"] \\ + & R \circ L \circ R \arrow[d, "R \circ \varepsilon"] \\ & R \end{tikzcd} \end{subfigure} diff --git a/src/content/3.9/algebras-for-monads.tex b/src/content/3.9/algebras-for-monads.tex index 939bec88..f76398d3 100644 --- a/src/content/3.9/algebras-for-monads.tex +++ b/src/content/3.9/algebras-for-monads.tex @@ -330,7 +330,7 @@ \section{Coalgebras for Comonads} \centering \begin{tikzcd}[column sep=large, row sep=large] a \arrow[rd, equal] - & Wa \arrow[l, "\epsilon_a"'] \\ + & Wa \arrow[l, "\varepsilon_a"'] \\ & a \arrow[u, "\mathit{coa}"'] \end{tikzcd} \end{subfigure}%