Astro for Mathcode