Add more math symbols + adjust theorem spacing