1 files changed, 174 insertions, 10 deletions
diff --git a/test/command/1608.md b/test/command/1608.md
index f7ef2b839..77fdaf6d3 100644
--- a/test/command/1608.md
+++ b/test/command/1608.md
@@ -28,14 +28,178 @@ Triangles with sides of length \(a=p^2-q^2\), \(b=2pq\) and \(c=p^2+q^2\) are ri
 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 "."]]
-,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."]]]
-,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"]]
-,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."]]]
-,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."]]]
+[ 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 "."
+        ]
+    ]
+, 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."
+            ]
+        ]
+    ]
+, 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 "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."
+            ]
+        ]
+    ]
+, 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."
+        ]
+    ]
+]
 ```