"Pun intended" is a phrase used to indicate that a pun or play on words was intentionally made. When someone uses this phrase, they are clarifying that any double meanings or humorous implications in their statement were deliberate and not accidental. It often serves to highlight the cleverness or wit of the statement.
The word "pun" comes from the late 17th century and is derived from the word "pun," which refers to a play on words that exploits multiple meanings of a term or similarity in sound. The expression "pun intended" is formed by combining "pun" with "intended," which comes from the Latin "intendere," meaning "to stretch towards" or "to aim."