double_bar has definitions from the field of music
1
[ noun ] (music) notation marking the end of principal parts of a musical composition; two adjacent bar lines

Related terms

bar_line

*