Create mathlib.php