test/golden/separation/tokenizing.golden


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

[
    [ BeginEnv "proposition"
    , Label "sep_test"
    , BeginEnv "math"
    , Variable "X"
    , Symbol "="
    , VisibleBraceL
    , Variable "x"
    , Command "in"
    , Variable "X"
    , Command "mid"
    , Variable "x"
    , Symbol "="
    , Variable "x"
    , VisibleBraceR
    , EndEnv "math"
    , Symbol "."
    , EndEnv "proposition"
    ]
]