## "Fossies" - the Fresh Open Source Software Archive

### Member "pandoc-2.18/test/command/1608.md" (4 Apr 2022, 4667 Bytes) of package /linux/www/pandoc-2.18.tar.gz:

As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) GitHub Flavored Markdown source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 
2 % pandoc -f latex -t native
3 \newtheorem{theorem}{Theorem}
4 \newtheorem{corollary}[theorem]{Corollary}
5 \newtheorem{lemma}[theorem]{Lemma}
6 \theoremstyle{definition}
7 \newtheorem{definition}[theorem]{Definition}
8 \theoremstyle{remark}
9 \newtheorem{remark}{Remark}
10
11 \begin{definition}[right-angled triangles] \label{def:tri}
12 A \emph{right-angled triangle} is a triangle whose sides of length~$$a$$, $$b$$ and~$$c$$, in some permutation of order, satisfies $$a^2+b^2=c^2$$.
13 \end{definition}
14
15 \begin{lemma}
16 The triangle with sides of length~$$3$$, $$4$$ and~$$5$$ is right-angled.
17 \end{lemma}
18
19 \begin{proof}
20 This lemma follows from \cref{def:tri} since $$3^2+4^2=9+16=25=5^2$$.
21 \end{proof}
22
23 \begin{theorem}[Pythagorean triplets] \label{thm:py}
24 Triangles with sides of length $$a=p^2-q^2$$, $$b=2pq$$ and $$c=p^2+q^2$$ are right-angled triangles.
25 \end{theorem}
26
27 \begin{remark}
28 These are all pretty interesting facts.
29 \end{remark}
30 ^D
31 [ Div
32     ( "def:tri" , [ "definition" ] , [] )
33     [ Para
34         [ Strong [ Str "Definition" , Space , Str "1" ]
35         , Space
36         , Str "(right-angled"
37         , Space
38         , Str "triangles)."
39         , Space
40         , Space
41         , Str "A"
42         , Space
43         , Emph [ Str "right-angled" , Space , Str "triangle" ]
44         , Space
45         , Str "is"
46         , Space
47         , Str "a"
48         , Space
49         , Str "triangle"
50         , Space
51         , Str "whose"
52         , Space
53         , Str "sides"
54         , Space
55         , Str "of"
56         , Space
57         , Str "length\160"
58         , Math InlineMath "a"
59         , Str ","
60         , Space
61         , Math InlineMath "b"
62         , Space
63         , Str "and\160"
64         , Math InlineMath "c"
65         , Str ","
66         , Space
67         , Str "in"
68         , Space
69         , Str "some"
70         , Space
71         , Str "permutation"
72         , Space
73         , Str "of"
74         , Space
75         , Str "order,"
76         , Space
77         , Str "satisfies"
78         , Space
79         , Math InlineMath "a^2+b^2=c^2"
80         , Str "."
81         ]
82     ]
83 , Div
84     ( "" , [ "lemma" ] , [] )
85     [ Para
86         [ Strong [ Str "Lemma" , Space , Str "2" ]
87         , Str "."
88         , Space
89         , Space
90         , Emph
91             [ Str "The"
92             , Space
93             , Str "triangle"
94             , Space
95             , Str "with"
96             , Space
97             , Str "sides"
98             , Space
99             , Str "of"
100             , Space
101             , Str "length\160"
102             , Math InlineMath "3"
103             , Str ","
104             , Space
105             , Math InlineMath "4"
106             , Space
107             , Str "and\160"
108             , Math InlineMath "5"
109             , Space
110             , Str "is"
111             , Space
112             , Str "right-angled."
113             ]
114         ]
115     ]
116 , Div
117     ( "" , [ "proof" ] , [] )
118     [ Para
119         [ Emph [ Str "Proof." ]
120         , Space
121         , Str "This"
122         , Space
123         , Str "lemma"
124         , Space
125         , Str "follows"
126         , Space
127         , Str "from"
128         , Space
130             ( ""
131             , []
132             , [ ( "reference-type" , "ref" )
133               , ( "reference" , "def:tri" )
134               ]
135             )
136             [ Str "1" ]
137             ( "#def:tri" , "" )
138         , Space
139         , Str "since"
140         , Space
141         , Math InlineMath "3^2+4^2=9+16=25=5^2"
142         , Str "."
143         , Str "\160\9723"
144         ]
145     ]
146 , Div
147     ( "thm:py" , [ "theorem" ] , [] )
148     [ Para
149         [ Strong [ Str "Theorem" , Space , Str "3" ]
150         , Space
151         , Str "(Pythagorean"
152         , Space
153         , Str "triplets)."
154         , Space
155         , Space
156         , Emph
157             [ Str "Triangles"
158             , Space
159             , Str "with"
160             , Space
161             , Str "sides"
162             , Space
163             , Str "of"
164             , Space
165             , Str "length"
166             , Space
167             , Math InlineMath "a=p^2-q^2"
168             , Str ","
169             , Space
170             , Math InlineMath "b=2pq"
171             , Space
172             , Str "and"
173             , Space
174             , Math InlineMath "c=p^2+q^2"
175             , Space
176             , Str "are"
177             , Space
178             , Str "right-angled"
179             , Space
180             , Str "triangles."
181             ]
182         ]
183     ]
184 , Div
185     ( "" , [ "remark" ] , [] )
186     [ Para
187         [ Emph [ Str "Remark" , Space , Str "1" ]
188         , Str "."
189         , Space
190         , Space
191         , Str "These"
192         , Space
193         , Str "are"
194         , Space
195         , Str "all"
196         , Space
197         , Str "pretty"
198         , Space
199         , Str "interesting"
200         , Space
201         , Str "facts."
202         ]
203     ]
204 ]
205