added semantic and comprehensive MathJax support; organized logic / set theory files