Add a redirect for latexhax based on Google data