I am currently specifying a diagram where I need to distinguish between different types of arrows: arrows with one line, arrows with two lines, and arrows with three lines. The first two kinds of arrows are easily specified in PGF/Tikz using either the unmodified draw or the draw command with the double parameter. The graphic [...]