Okay, I have pushed an initial version, but I think it will need a little fine-tuning. In particular, I chose the ASCII input syntax ?< on the grounds that it is impossible to type <= and therefore the ASCII syntax ?<=1 would be useless.
Larry > On 11 May 2020, at 09:18, Klein, Gerwin (Data61, Kensington NSW) > <[email protected]> wrote: > > Yes, I’d be happy with that, and specifically with ∃⇩≤⇩1 + standard keyboard > abbreviation. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
