diff --git a/source/Scrolls/TriangleScrolls.mmt b/source/Scrolls/TriangleScrolls.mmt
index ada4d82f045999b8bb73b64642ea6e8cd389ba1f..f51376c8809e29b63b385e9015bbea575b626705 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}."
     ❙