simon at getthingsfixed.co.uk
Fri Mar 22 10:06:36 CET 2019
On Thu, 2019-03-21 at 15:57 -0600, Karl Berry wrote:
> * As "GUI" means graphical user interface, "GUI interface" might be a bit
> It is completely redundant, but nevertheless common usage in English. If
> it feels better in other languages to leave out "interface", by all
> means do so.
Should we be perpetuating this "error"?
Anybody who uses TeX will be ahead of the curve, so will know the
correct form. I suppose Norbert could for an amble up Mount Fujiyama,
having got some cash from an ATM machine.
Ideally add to our house style rules?
More information about the tex-live