in music, denotes a mixed sort of triple, which is beaten in double time.