From 5fc83e6bc95a3ea0eafbfbd245db159471304e30 Mon Sep 17 00:00:00 2001
From: Paul-Walcher <paulwalcher12@gmail.com>
Date: Mon, 24 Jun 2024 11:02:28 +0200
Subject: [PATCH] Fixed Typo

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

diff --git a/source/Scrolls/SphereScroll.mmt b/source/Scrolls/SphereScroll.mmt
index 858a469..0a72637 100644
--- a/source/Scrolls/SphereScroll.mmt
+++ b/source/Scrolls/SphereScroll.mmt
@@ -17,7 +17,7 @@ theory SphereScroll =
         ❙
 
         dMT: Σ x:ℝ . ⊦ (d- M T) ≐ x
-         ❘ meta ?MetaAnnotations?label MT"
+         ❘ meta ?MetaAnnotations?label "dMT"
          ❘ meta ?MetaAnnotations?description "The distance between the mid- and edgepoint (i.e. the radius)"
         ❙
 
-- 
GitLab