would something like [^ ]tex[^ ] work?


Richard

---
Name and OpenPGP keys available from pgp key servers

Reply via email to