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