--- parse tree ---
[ Comment
, SoftBreak
, Code
    "typ/math/style-06.typ"
    ( line 2 , column 2 )
    (Show
       (Just
          (FieldAccess
             (Ident (Identifier "tack")) (Ident (Identifier "sym"))))
       (FuncExpr
          [ NormalParam (Identifier "it") ]
          (Block
             (Content
                [ Equation
                    False
                    [ Code
                        "typ/math/style-06.typ"
                        ( line 2 , column 25 )
                        (FuncCall
                           (Ident (Identifier "h")) [ NormalArg (Literal (Numeric 1.0 Em)) ])
                    , Code
                        "typ/math/style-06.typ"
                        ( line 2 , column 32 )
                        (Ident (Identifier "it"))
                    , Code
                        "typ/math/style-06.typ"
                        ( line 2 , column 36 )
                        (FuncCall
                           (Ident (Identifier "h")) [ NormalArg (Literal (Numeric 1.0 Em)) ])
                    ]
                ]))))
, SoftBreak
, Equation
    True
    [ Text "a"
    , Code
        "typ/math/style-06.typ"
        ( line 3 , column 5 )
        (Ident (Identifier "tack"))
    , Text "b"
    ]
, ParBreak
]
--- evaluated ---
document(body: { text(body: [
]), 
                 text(body: [
]), 
                 math.equation(block: true, 
                               body: { text(body: [a]), 
                                       math.equation(block: false, 
                                                     body: { h(amount: 1.0em), 
                                                             text(body: [⊢]), 
                                                             h(amount: 1.0em) }, 
                                                     numbering: none), 
                                       text(body: [b]) }, 
                               numbering: none), 
                 parbreak() })
