Double barline

DEFINITION

See double bar.