[200] Platteisen, 1) so v.w. Plattstahl; 2) Werkzeug von massivem Eisen, ähnlich der Wäscherplatte; damit wird der Sand, worauf die Bleitafeln gegossen werden, geebnet.
Adelung-1793: Platteisen, das
Meyers-1905: Platteisen