Add lots of more latex symbols