Leader (пунктир)

В текстовых редакторах — горизонтальный ряд точек, ко­торый применяется, например, для оформления оглавления документа (когда пунктирные линии соединяют элементы содержания с соответствующими им номерами страниц) и делает его использование более удобным.