mma \ & gt;