[ ESub (EIdentifier "H") (ESymbol Ord "2")
, ESymbol Rel "="
, EOver
    False
    (ESub (EIdentifier "H") (ESymbol Ord "2"))
    (EPhantom (EIdentifier "x"))
]