[1259] Der Hohlzirkel, des -s, plur. ut nom. sing. ein Zirkel, dessen Füße mit den Spitzen auswärts gebogen sind, hohle Räume damit zu messen.
Brockhaus-1911: Hohlzirkel
Lueger-1904: Hohlzirkel
Meyers-1905: Hohlzirkel
Pierer-1857: Hohlzirkel