Added tautologies and logic symbols

+ tautologies in mathjax strings from appendix to coursera course notes, Logic 1, Week 1
+ added additional equivalence and & mathjax unicode symbols to dict for translation to sympy-compatible strings