From: Christian Schenk <cs@mi...> - 2010-12-30 15:58:26
On 30.12.2010 14:22, Ulrike Fischer wrote:
> I'm forwarding a question from texhax mailing list: What does the
> MiK in MiKTex mean?
mik used to be my login name. It is an acronym for: Micro-kid. Hence the
capital K in MiKTeX.
From: Alan G Isaac <alan.isaac@gm...> - 2011-01-05 14:32:57
On 12/30/2010 10:59 AM, Christian Schenk wrote:
> It is an acronym for: Micro-kid.
OK, then I have to ask ...
why is it pronounced with a short 'i'?
Perhaps because I don't speak German,
I would have expected maybe "meektex" as a pronunciation.
So I'm going to guess: it is a pronunciation of the 'i'
that "works" (i.e., is recognizable) in both English and German.
Happy New Year!