--- parse tree ---
[ Code
    "test/typ/math/syntax-01.typ"
    ( line 1 , column 2 )
    (Let
       (BasicBind (Just (Identifier "test")))
       (FuncExpr
          [ NormalParam (Identifier "x") , NormalParam (Identifier "y") ]
          (Block
             (CodeBlock
                [ If
                    [ ( Equals (Ident (Identifier "x")) (Ident (Identifier "y"))
                      , Block (Content [ Text "\9989" ])
                      )
                    , ( Literal (Boolean True)
                      , Block
                          (Content
                             [ Text "\10060"
                             , Text "("
                             , Code
                                 "test/typ/math/syntax-01.typ"
                                 ( line 1 , column 47 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "x")) ])
                             , Space
                             , Text "/"
                             , Text "="
                             , Space
                             , Code
                                 "test/typ/math/syntax-01.typ"
                                 ( line 1 , column 59 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "y")) ])
                             , Text ")"
                             ])
                      )
                    ]
                ]))))
, SoftBreak
, Comment
, Equation
    True
    [ Code
        "test/typ/math/syntax-01.typ"
        ( line 3 , column 3 )
        (FuncCall
           (Ident (Identifier "underline"))
           [ BlockArg
               [ Text "f"
               , Text "\8242"
               , Text ":"
               , Code
                   "test/typ/math/syntax-01.typ"
                   ( line 3 , column 18 )
                   (Ident (Identifier "NN"))
               , Text "\8594"
               , Code
                   "test/typ/math/syntax-01.typ"
                   ( line 3 , column 24 )
                   (Ident (Identifier "RR"))
               ]
           ])
    , HardBreak
    , Text "n"
    , Text "|"
    , Text "\8594"
    , Code
        "test/typ/math/syntax-01.typ"
        ( line 4 , column 9 )
        (FuncCall
           (Ident (Identifier "cases"))
           [ BlockArg
               [ MGroup
                   (Just "[") (Just "]") [ MGroup (Just "|") (Just "|") [ Text "1" ] ]
               , MAlignPoint
               , Text "if "
               , Text "n"
               , Text ">"
               , Text ">"
               , Text ">"
               , Text "10"
               ]
           , BlockArg
               [ Text "2"
               , Text "*"
               , Text "3"
               , MAlignPoint
               , Text "if "
               , Text "n"
               , Text "\8800"
               , Text "5"
               ]
           , BlockArg
               [ Text "1"
               , Text "-"
               , Text "0"
               , Code
                   "test/typ/math/syntax-01.typ"
                   ( line 7 , column 11 )
                   (Ident (Identifier "thick"))
               , MAlignPoint
               , Text "\8230"
               ]
           ])
    ]
, ParBreak
]
--- evaluated ---
{ text(body: [
]), 
  math.equation(block: true, 
                body: { math.underline(body: { text(body: [f]), 
                                               text(body: [′]), 
                                               text(body: [:]), 
                                               text(body: [ℕ]), 
                                               text(body: [→]), 
                                               text(body: [ℝ]) }), 
                        linebreak(), 
                        text(body: [n]), 
                        text(body: [|]), 
                        text(body: [→]), 
                        math.cases(children: ({ math.lr(body: ({ [[], 
                                                                 math.lr(body: ({ [|], 
                                                                                  text(body: [1]), 
                                                                                  [|] })), 
                                                                 []] })), 
                                                math.alignpoint(), 
                                                text(body: [if ]), 
                                                text(body: [n]), 
                                                text(body: [>]), 
                                                text(body: [>]), 
                                                text(body: [>]), 
                                                text(body: [10]) }, 
                                              { text(body: [2]), 
                                                text(body: [*]), 
                                                text(body: [3]), 
                                                math.alignpoint(), 
                                                text(body: [if ]), 
                                                text(body: [n]), 
                                                text(body: [≠]), 
                                                text(body: [5]) }, 
                                              { text(body: [1]), 
                                                text(body: [-]), 
                                                text(body: [0]), 
                                                text(body: [ ]), 
                                                math.alignpoint(), 
                                                text(body: […]) })) }, 
                numbering: none), 
  parbreak() }