diff options
Diffstat (limited to 'test/command/1608.md')
-rw-r--r-- | test/command/1608.md | 331 |
1 files changed, 163 insertions, 168 deletions
diff --git a/test/command/1608.md b/test/command/1608.md index bc77117ac..59bd54ab4 100644 --- a/test/command/1608.md +++ b/test/command/1608.md @@ -29,182 +29,177 @@ These are all pretty interesting facts. \end{remark} ^D [ Div - ( "def:tri", [ "definition" ], [] ) - [ Para - [ Strong - [ Str "Definition", Space, Str "1" ] - , Space - , Str "(right-angled" - , Space - , Str "triangles)." - , Space - , Space - , Str "A" - , Space - , Emph - [ Str "right-angled", Space, Str "triangle" ] - , Space - , Str "is" - , Space - , Str "a" - , Space - , Str "triangle" - , Space - , Str "whose" - , Space - , Str "sides" - , Space - , Str "of" - , Space - , Str "length\160" - , Math InlineMath "a" - , Str "," - , Space - , Math InlineMath "b" - , Space - , Str "and\160" - , Math InlineMath "c" - , Str "," - , Space - , Str "in" - , Space - , Str "some" - , Space - , Str "permutation" - , Space - , Str "of" - , Space - , Str "order," - , Space - , Str "satisfies" - , Space - , Math InlineMath "a^2+b^2=c^2" - , Str "." + ( "def:tri" , [ "definition" ] , [] ) + [ Para + [ Strong [ Str "Definition" , Space , Str "1" ] + , Space + , Str "(right-angled" + , Space + , Str "triangles)." + , Space + , Space + , Str "A" + , Space + , Emph [ Str "right-angled" , Space , Str "triangle" ] + , Space + , Str "is" + , Space + , Str "a" + , Space + , Str "triangle" + , Space + , Str "whose" + , Space + , Str "sides" + , Space + , Str "of" + , Space + , Str "length\160" + , Math InlineMath "a" + , Str "," + , Space + , Math InlineMath "b" + , Space + , Str "and\160" + , Math InlineMath "c" + , Str "," + , Space + , Str "in" + , Space + , Str "some" + , Space + , Str "permutation" + , Space + , Str "of" + , Space + , Str "order," + , Space + , Str "satisfies" + , Space + , Math InlineMath "a^2+b^2=c^2" + , Str "." + ] ] - ] , Div - ( "", [ "lemma" ], [] ) - [ Para - [ Strong - [ Str "Lemma", Space, Str "2" ] - , Str "." - , Space - , Space - , Emph - [ Str "The" - , Space - , Str "triangle" - , Space - , Str "with" - , Space - , Str "sides" - , Space - , Str "of" - , Space - , Str "length\160" - , Math InlineMath "3" - , Str "," - , Space - , Math InlineMath "4" - , Space - , Str "and\160" - , Math InlineMath "5" - , Space - , Str "is" - , Space - , Str "right-angled." - ] + ( "" , [ "lemma" ] , [] ) + [ Para + [ Strong [ Str "Lemma" , Space , Str "2" ] + , Str "." + , Space + , Space + , Emph + [ Str "The" + , Space + , Str "triangle" + , Space + , Str "with" + , Space + , Str "sides" + , Space + , Str "of" + , Space + , Str "length\160" + , Math InlineMath "3" + , Str "," + , Space + , Math InlineMath "4" + , Space + , Str "and\160" + , Math InlineMath "5" + , Space + , Str "is" + , Space + , Str "right-angled." + ] + ] ] - ] , Div - ( "", [ "proof" ], [] ) - [ Para - [ Emph - [ Str "Proof." ] - , Space - , Str "This" - , Space - , Str "lemma" - , Space - , Str "follows" - , Space - , Str "from" - , Space - , Link - ( "" - , [] - , - [ ( "reference-type", "ref" ), ( "reference", "def:tri" ) ] - ) - [ Str "Definition\160\&1" ] - ( "#def:tri", "" ) - , Space - , Str "since" - , Space - , Math InlineMath "3^2+4^2=9+16=25=5^2" - , Str "." - , Str "\160\9723" + ( "" , [ "proof" ] , [] ) + [ Para + [ Emph [ Str "Proof." ] + , Space + , Str "This" + , Space + , Str "lemma" + , Space + , Str "follows" + , Space + , Str "from" + , Space + , Link + ( "" + , [] + , [ ( "reference-type" , "ref" ) + , ( "reference" , "def:tri" ) + ] + ) + [ Str "Definition\160\&1" ] + ( "#def:tri" , "" ) + , Space + , Str "since" + , Space + , Math InlineMath "3^2+4^2=9+16=25=5^2" + , Str "." + , Str "\160\9723" + ] ] - ] , Div - ( "thm:py", [ "theorem" ], [] ) - [ Para - [ Strong - [ Str "Theorem", Space, Str "3" ] - , Space - , Str "(Pythagorean" - , Space - , Str "triplets)." - , Space - , Space - , Emph - [ Str "Triangles" - , Space - , Str "with" - , Space - , Str "sides" - , Space - , Str "of" - , Space - , Str "length" - , Space - , Math InlineMath "a=p^2-q^2" - , Str "," - , Space - , Math InlineMath "b=2pq" - , Space - , Str "and" - , Space - , Math InlineMath "c=p^2+q^2" - , Space - , Str "are" - , Space - , Str "right-angled" - , Space - , Str "triangles." - ] + ( "thm:py" , [ "theorem" ] , [] ) + [ Para + [ Strong [ Str "Theorem" , Space , Str "3" ] + , Space + , Str "(Pythagorean" + , Space + , Str "triplets)." + , Space + , Space + , Emph + [ Str "Triangles" + , Space + , Str "with" + , Space + , Str "sides" + , Space + , Str "of" + , Space + , Str "length" + , Space + , Math InlineMath "a=p^2-q^2" + , Str "," + , Space + , Math InlineMath "b=2pq" + , Space + , Str "and" + , Space + , Math InlineMath "c=p^2+q^2" + , Space + , Str "are" + , Space + , Str "right-angled" + , Space + , Str "triangles." + ] + ] ] - ] , Div - ( "", [ "remark" ], [] ) - [ Para - [ Emph - [ Str "Remark", Space, Str "1" ] - , Str "." - , Space - , Space - , Str "These" - , Space - , Str "are" - , Space - , Str "all" - , Space - , Str "pretty" - , Space - , Str "interesting" - , Space - , Str "facts." + ( "" , [ "remark" ] , [] ) + [ Para + [ Emph [ Str "Remark" , Space , Str "1" ] + , Str "." + , Space + , Space + , Str "These" + , Space + , Str "are" + , Space + , Str "all" + , Space + , Str "pretty" + , Space + , Str "interesting" + , Space + , Str "facts." + ] ] - ] ] ``` |