[math-fun] overqualified typesetters