From 16e8e7f29669aca093983cb78730d998f8e26247 Mon Sep 17 00:00:00 2001
From: Paul-Walcher <paulwalcher12@gmail.com>
Date: Tue, 25 Jun 2024 09:13:52 +0200
Subject: [PATCH] added length to cuboid

---
 source/Scrolls/CuboidScroll.mmt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/source/Scrolls/CuboidScroll.mmt b/source/Scrolls/CuboidScroll.mmt
index f7e6729..fc0f2de 100644
--- a/source/Scrolls/CuboidScroll.mmt
+++ b/source/Scrolls/CuboidScroll.mmt
@@ -28,6 +28,11 @@ theory CuboidScroll =
         rTBC: ⊦ (∠ T,(getB R),(getC R)) ≐ 90.0
          ❘ meta ?MetaAnnotations?label "rTBC"
          ❘ meta ?MetaAnnotations?description "A right angle between TBC, where B is the point enclosed by T C"
+        
+        
+        dTB: Σ x:ℝ . ⊦ (d- T ( getB R )) ≐ x
+         ❘ meta ?MetaAnnotations?label "dTB"
+         ❘ meta ?MetaAnnotations?description "The distance from the top point to B"
         ❙
 
         
-- 
GitLab