A Twitter bot that renders LaTeX for you