Adding latex_symbols.ipynb.
Adding script to generate latex_symbols.py.
Updating gen_latex_symbols.py