[151] Allineator, ein Instrument zum Abstecken gerader Linien, s. Winkelinstrumente zum Abstecken konstanter Winkel, sowie Spiegel- und Prismeninstrumente.