From 28e06a8b7b7fe2d753a9e1e2ab45b91b70794206 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Mon, 21 Aug 2023 15:44:29 +0200
Subject: [PATCH] angle fix

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

diff --git a/source/Scrolls/TriangleScrolls.mmt b/source/Scrolls/TriangleScrolls.mmt
index ada4d82..f51376c 100644
--- a/source/Scrolls/TriangleScrolls.mmt
+++ b/source/Scrolls/TriangleScrolls.mmt
@@ -25,7 +25,7 @@ theory TriangleProblem =
 theory TriangleProblem_RightAngleAtC =
     include ?TriangleProblem ❙
     rightAngleC
-        : ⊦ ( ∠r B C A ) ≐ 90.0 ❘
+        : ⊦ ( ∠ B,C,A ) ≐ 90.0 ❘
         meta ?MetaAnnotations?label s"⊾${lverb C}"  ❘
         meta ?MetaAnnotations?description s"${lverb A C} ⟂ ${lverb B C}: right angle at ${lverb C} as enclosed by legs ${lverb A C} and ${lverb B C}."
     ❙
-- 
GitLab