-
@ProfKinyon I've actually presented it this way once upon a time. (Well, the δ(ε) thing.) I don't remember how I felt about how it went...
-
@ProfKinyon Oh now I remember. I just used the usual quantifier based definition, but notated δ as δ_ε to emphasize that it's a function of ε. I would do it again.