sa:template:formal:mathematics