jacobgyntelberg at me.com
Fri Mar 22 11:36:00 CET 2019
Sent from my iPhone
> On 22 Mar 2019, at 10.06, Simon Dales <simon at getthingsfixed.co.uk> wrote:
>> 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?
>  https://en.wikipedia.org/wiki/RAS_syndrome
More information about the tex-live