[2087] Der Lóchstein, des -es, plur. die -e, ein Gränzstein, besonders im Bergbaue, wo eines jeden Gruben und Districte mit solchen Steinen bemerket werden; der Schnurstein. Entweder von Loch, in der weitesten Bedeutung eines Ortes, Franz. lieu, Lat. locus, oder auch von lachen, mit einem eingeschlagenen Zeichen bemerken, für Lachstein. S. 1. Lachen, 1. Lochen, und Lochbaum.