" symbol with a special symbol. The argument @var{bartype}"
" is a string which specifies the kind of bar to print."
" Options are @code{:|}, @code{|:}, @code{:|:}, @code{||},"
- " @code{|.}, @code{.|}, and @code{.|.}.\n"
+ " @code{|.}, @code{.|}, @code{.|.}, @code{:} and @code{"dashed"}.\n"
"\n"
"These produce, respectively, a right repeat, a left repeat,"
- " a double repeat, a double bar, a start bar, an end bar, and"
- " a thick double bar. In addition, there is an option"
+ " a double repeat, a double bar, a start bar, an end bar,"
+ " a thick double bar, a dotted bar and a dashed bar. "
+ " In addition, there is an option"
" @code{||:} which is equivalent to @code{|:} except at line"
" breaks, where it produces a double bar (@code{||}) at the"
" end of the line and a repeat sign (@code{|:}) at the"