diff --git a/source/Scrolls/README.md b/source/Scrolls/README.md index ed57baef1005998745f5b75cebcf238294fddf90..95e8ed120b3fd9198eb22bae7c15dc95316d35bf 100644 --- a/source/Scrolls/README.md +++ b/source/Scrolls/README.md @@ -55,7 +55,7 @@ theory Midpoint = midpoint : 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?description s"The midpoint between points ${lverb P} and ${lverb Q}." â™