diff --git a/source/Scrolls/RectangleScroll.mmt b/source/Scrolls/RectangleScroll.mmt index d26f55b3717a62e981f7f47a2b4ce28a6b3fee4b..0ee28694f945852a685e39540458df087f354641 100644 --- a/source/Scrolls/RectangleScroll.mmt +++ b/source/Scrolls/RectangleScroll.mmt @@ -47,7 +47,7 @@ theory RectangleScroll = meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points and the distances from the first to the second and the second to the third point, constructs a rectangle." ♠ConstructedRectangle : Rectangle - ☠= RectangleCons A B C + ☠= (RectangleCons A B C) ☠meta ?MetaAnnotations?label s"Rectangle" ☠meta ?MetaAnnotations?description s"The constructed Rectangle." ♠diff --git a/source/Scrolls/RectangleType.mmt b/source/Scrolls/RectangleType.mmt index becda192f0d2696b0fbe4e58a92ff614965f611f..3986b057a0bc58012fedd235cdcf52223ed4a329 100644 --- a/source/Scrolls/RectangleType.mmt +++ b/source/Scrolls/RectangleType.mmt @@ -1,5 +1,5 @@ namespace http://mathhub.info/FrameIT/frameworld ⚠-fixmeta ur:?LF ⚠+fixmeta ?FrameworldMeta ⚠theory RectangleType =