Switch from ASCIIMath to LateX