History manual/math.texi