⌂
Hairpins with different line styles
Hairpins can take any style from
line-interface
- dashed-line, dotted-line, line, trill or zigzag.
