Richard Z. Sun, 19 Dec 2010 10:09:08 -0800
would something like [^ ]tex[^ ] work?
Richard --- Name and OpenPGP keys available from pgp key servers