Skip to content
Snippets Groups Projects
Commit 9fb4c54f authored by Navid Roux's avatar Navid Roux :speech_balloon:
Browse files

correct midpoint example

parent 0e3e0793
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/README.md
+ 1
− 1
View file @ 9fb4c54f
...@@ -55,7 +55,7 @@ theory Midpoint = ...@@ -55,7 +55,7 @@ theory Midpoint =
midpoint midpoint
: point ❘ : point ❘
= ⟨0.5 ⋅ (P_x + Q_x), 0.5 ⋅ (P_x + Q_x), 0.5 ⋅ (P_x + Q_x)⟩ ❘ = ⟨0.5 ⋅ (P _x + Q _x), 0.5 ⋅ (P _y + Q _y), 0.5 ⋅ (P _z + Q _z)⟩ ❘
meta ?MetaAnnotations?label s"Mid[${lverb P Q}]" ❘ meta ?MetaAnnotations?label s"Mid[${lverb P Q}]" ❘
meta ?MetaAnnotations?description s"The midpoint between points ${lverb P} and ${lverb Q}." meta ?MetaAnnotations?description s"The midpoint between points ${lverb P} and ${lverb Q}."
❙ ❙
......
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