mint tex/mint tex