Can you provide an example of a musical term that involves playing the same pitch twice in quick succession, known as a double note?