I’m sympathetic to this view. On the other hand, GCD is the only one of these uppercase formulations that’s actually in widespread use. Larry
> On 10 Mar 2016, at 09:46, Florian Haftmann > <florian.haftm...@informatik.tu-muenchen.de> wrote: > > Since there is no generally accepted symbolic syntax for gcd, it might > be better to let the (slightly more readable) form (a) stand. > > I have no strong opinion on this. Any suggestions? _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev