mma tex files