How would the keyboard abbreviation be implemented? I think I will need to leave that to somebody else. 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
