Dotting pen

Dot´ting pen`

1.

See under Pun.

Webster's Revised Unabridged Dictionary, published 1913 by G. & C. Merriam Co.