a humorous play on words“I do it for the pun of it”“his constant punning irritated her”Synonyms: punwordplayparonomasia
Advertisement
Webster's Dictionary (GCIDE)
Pun \Pun\, v. i. [imp. & p. p. Punned; p. pr. & vb. n. Punning.] To make puns, or a pun; to use a word in a double sense, especially when the contrast of ideas is ludicrous; to play upon words; to quibble. --Dryden. [1913 Webster]