"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
  129         , Link
  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 ```