Is the format of the SAN model output a LATEX sequence? Or is it a mathematical expression in print format?