ITS for mathematics