From 9aa7acd4522e4c67e60696ed94d801e36441818c Mon Sep 17 00:00:00 2001
From: phi16 <phi16.256@gmail.com>
Date: Tue, 12 Nov 2024 22:32:45 +0900
Subject: [PATCH] Fix typo

---
 src/1Lab/Path.lagda.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/1Lab/Path.lagda.md b/src/1Lab/Path.lagda.md
index 6efe944d5..ea253a1a8 100644
--- a/src/1Lab/Path.lagda.md
+++ b/src/1Lab/Path.lagda.md
@@ -486,10 +486,10 @@ with faces $p$, $q$, $r$, and $s$, as in the diagram below.
   {a_{00}} && {a_{10}} \\
   \\
   {a_{01}} && {a_{11}}
-  \arrow["q(i)"', from=1-1, to=3-1]
-  \arrow["p(j)", from=1-1, to=1-3]
-  \arrow["s(i)", from=1-3, to=3-3]
-  \arrow["r(j)"', from=3-1, to=3-3]
+  \arrow["p(i)"', from=1-1, to=3-1]
+  \arrow["q(j)", from=1-1, to=1-3]
+  \arrow["r(i)", from=1-3, to=3-3]
+  \arrow["s(j)"', from=3-1, to=3-3]
 \end{tikzcd}\]
 ~~~
 :::