Skip to content
Snippets Groups Projects
Commit 5da82f03 authored by Paul-Walcher's avatar Paul-Walcher
Browse files

added parentheses

parent 9901c813
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/RectangleScroll.mmt
+ 1
− 1
View file @ 5da82f03
...@@ -47,7 +47,7 @@ theory RectangleScroll = ...@@ -47,7 +47,7 @@ theory RectangleScroll =
meta ?MetaAnnotations?description s"Scrolls that takes three points and given a right-angle fact between those points 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." ❙ and the distances from the first to the second and the second to the third point, constructs a rectangle." ❙
ConstructedRectangle : Rectangle ConstructedRectangle : Rectangle
❘ = RectangleCons A B C ❘ = (RectangleCons A B C)
❘ meta ?MetaAnnotations?label s"Rectangle" ❘ meta ?MetaAnnotations?label s"Rectangle"
❘ meta ?MetaAnnotations?description s"The constructed Rectangle." ❘ meta ?MetaAnnotations?description s"The constructed Rectangle."
❙ ❙
......
source/Scrolls/RectangleType.mmt
+ 1
− 1
View file @ 5da82f03
namespace http://mathhub.info/FrameIT/frameworld ❚ namespace http://mathhub.info/FrameIT/frameworld ❚
fixmeta ur:?LF ❚ fixmeta ?FrameworldMeta ❚
theory RectangleType = theory RectangleType =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment