begin on html 2 tex conversion script for whatif.xkcd.com