Webster's Revised Unabridged Dictionary · 1913

Tipping

Tipping , noun

(Music) A distinct articulation given in playing quick notes on the flute, by striking the tongue against the roof of the mouth; double-tonguing.