<<< native
[ EMathOperator "there exists"
, EGrouped
    [ EGrouped [ EIdentifier "\948" , ESymbol Rel ">" , ENumber "0" ]
    , EMathOperator "such that"
    , EGrouped
        [ EGrouped
            [ EIdentifier "f"
            , ESymbol Ord "\8289"
            , EDelimited "(" ")" [ Right (EIdentifier "x") ]
            ]
        , ESymbol Rel "<"
        , ENumber "1"
        ]
    ]
]
>>> eqn
"there exists" {{delta > 0} "such that" {{f  left ( x right )} < 1}}