[isabelle-dev] Preferred syntax for big GCD?

[Lawrence Paulson]

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.haftmann at 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?