Pen width

This option allows the user to change the pen width of the symbols being drawn.  The default is 1.  The larger the number, the larger the line being drawn.  This option was added to make better presentation graphics of  printed diagrams.