[texhax] What is???

[DrBean]

On Tue, Nov 09, 2004 at 03:38:01PM -0400, Abdiel Caceres Gonzalez wrote:
> What is the name of the TeX Lion?

And another naming question. We know TeX is pronounced as in Texas,
but is that the Spanish or the English pronunciation?

The books say, as in Spanish, but with names like latex, I wonder if
people face-to-face actually say it the way it is supposed to be said.

-- 
Greg Matheson, Taiwan