Definition of "mantid"

mantid