[
    [ BeginEnv "inductive"
    , Label "fin"
    , Word "define"
    , BeginEnv "math"
    , Command "fin"
    , InvisibleBraceL
    , Variable "A"
    , InvisibleBraceR
    , Command "subseteq"
    , Command "cumul"
    , InvisibleBraceL
    , Variable "A"
    , InvisibleBraceR
    , EndEnv "math"
    , Word "inductively"
    , Word "as"
    , Word "follows"
    , Symbol "."
    , BeginEnv "enumerate"
    , Command "item"
    , BeginEnv "math"
    , Variable "A"
    , Command "in"
    , Command "fin"
    , InvisibleBraceL
    , Variable "A"
    , InvisibleBraceR
    , EndEnv "math"
    , Symbol "."
    , EndEnv "enumerate"
    , EndEnv "inductive"
    ]
]