jump to corresponding sense entry
noun
Notation marking the end of principal parts of a musical composition; two adjacent bar lines.
is a specific kind of: bar line.
Find more on double bar elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0302