mathdef30