From 9fb4c54fe83e1a91b95013c782de1e34b4a4e613 Mon Sep 17 00:00:00 2001
From: Navid Roux <navid.roux@fau.de>
Date: Tue, 27 Oct 2020 10:48:49 +0100
Subject: [PATCH] correct midpoint example

---
 source/Scrolls/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/Scrolls/README.md b/source/Scrolls/README.md
index ed57bae..95e8ed1 100644
--- a/source/Scrolls/README.md
+++ b/source/Scrolls/README.md
@@ -55,7 +55,7 @@ theory Midpoint =
 
         midpoint
             : point ❘
-            = ⟨0.5 ⋅ (P_x + Q_x), 0.5 ⋅ (P_x + Q_x), 0.5 ⋅ (P_x + Q_x)⟩ ❘
+            = ⟨0.5 ⋅ (P _x + Q _x), 0.5 ⋅ (P _y + Q _y), 0.5 ⋅ (P _z + Q _z)⟩ ❘
             meta ?MetaAnnotations?label s"Mid[${lverb P Q}]" ❘
             meta ?MetaAnnotations?description s"The midpoint between points ${lverb P} and ${lverb Q}."
         ❙
-- 
GitLab