Skip to content
Snippets Groups Projects
Verified Commit de135132 authored by bessw's avatar bessw
Browse files

implemented html version of the OppositeLen scroll

parent 57234dea
No related branches found
No related tags found
1 merge request!2OppositeLen HTML implementation
......@@ -103,7 +103,35 @@ theory OppositeLen =
// the description verbalizes deducedLineCA, hence must come after its declaration ❙
meta ?MetaAnnotations?label "OppositeLen" ❙
meta ?MetaAnnotations?description s"Given a triangle △${lverb A B C} right-angled at ⊾${lverb C}, the opposite side has length ${lverb deducedLineCA} = tan(${lverb angleB}) ⋅ ${lverb B C}." ❙
meta ?MetaAnnotations?description s"<scroll-description title='OppositeLenScroll' alt='Given a triangle △${lverb A B C} right-angled at ⊾${lverb C}, the opposite side has length ${lverb deducedLineCA} = tan(${lverb angleB}) ⋅ ${lverb B C}.'>
<span>Given a triangle</span>
<math>
<mi>&xutri;<!-- △ --></mi>
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?A'>${lverb A}</mi>
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?B'>${lverb B}</mi>
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem?C'>${lverb C}</mi>
</math>
<span>right-angled at</span>
<math>
<!--<mi>&angrtvbd;</mi>--><!-- ⦝ -->
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC'>${lverb rightAngleC}</mi>
</math>,<br />
<span>the opposite side has length</span>
<math>
<mi data-solution-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA'>${lverb deducedLineCA}</mi>
<mo>&equals;</mo>
<mrow>
<mi>tan</mi>
<!--<mo>&#8289;</mo>-->
<mo>(</mo>
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB'>${lverb angleB}</mi>
<mo>)</mo>
</mrow>
<mo>&#8290;</mo>
<mi dropzone='copy' data-slot-id='http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC'>${lverb distanceBC}</mi>
</math>
<span>.</span>
</scroll-description>" ❙
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment