[
    [ BeginEnv "abbreviation"
    , Label "abbr_equal"
    , BeginEnv "math"
    , Variable "x"
    , Command "EQUAL"
    , InvisibleBraceL
    , Variable "y"
    , InvisibleBraceR
    , Variable "z"
    , EndEnv "math"
    , Word "iff"
    , BeginEnv "math"
    , Variable "x"
    , Symbol "="
    , Variable "z"
    , EndEnv "math"
    , Symbol "."
    , EndEnv "abbreviation"
    ]
,
    [ BeginEnv "proposition"
    , Label "dummy_abbr_test"
    , Word "for"
    , Word "all"
    , BeginEnv "math"
    , Variable "x"
    , EndEnv "math"
    , Word "we"
    , Word "have"
    , BeginEnv "math"
    , Variable "x"
    , Command "EQUAL"
    , InvisibleBraceL
    , Variable "y"
    , InvisibleBraceR
    , Variable "x"
    , EndEnv "math"
    , Symbol "."
    , EndEnv "proposition"
    ]
,
    [ BeginEnv "abbreviation"
    , Label "defn_equals"
    , BeginEnv "math"
    , Variable "x"
    , Command "EQUALS"
    , InvisibleBraceL
    , Variable "y"
    , InvisibleBraceR
    , InvisibleBraceL
    , Variable "w"
    , InvisibleBraceR
    , Variable "z"
    , EndEnv "math"
    , Word "iff"
    , BeginEnv "math"
    , Variable "x"
    , Symbol "="
    , Variable "z"
    , EndEnv "math"
    , Symbol "."
    , EndEnv "abbreviation"
    ]
,
    [ BeginEnv "proposition"
    , Label "dummy_defn_test"
    , Word "for"
    , Word "all"
    , BeginEnv "math"
    , Variable "x"
    , EndEnv "math"
    , Word "we"
    , Word "have"
    , BeginEnv "math"
    , Variable "x"
    , Command "EQUALS"
    , InvisibleBraceL
    , Variable "y"
    , InvisibleBraceR
    , InvisibleBraceL
    , Variable "w"
    , InvisibleBraceR
    , Variable "x"
    , EndEnv "math"
    , Symbol "."
    , EndEnv "proposition"
    ]
]