I have been using LaTeX since 1993. I am a research leader at NICTA
If you are interested in logic or logical reasoning please consider supporting the logic proposal here on stackexchange.
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for those interested in logical reasoning
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for theoretical computer scientists and researchers in related fields
Q&A for power users of Apple hardware and software