[841] Mantelschnitt (Mantelstrich, Mantelzug) ehemals die Theilung mit eingebogenen Spitzen; bes. wurde Mantelzug die aufrechtstehende eingebogene Spitze genannt.