1[def "[cmd chop] [opt [arg length]]"] 2 3Specifies the length of the [cmd line] element to remove from the 4beginning and/or end. 5 6Defaults to nothing. 7 8If specified once the chopping applies to both beginning and end of 9the line. 10 11If specified twice or more the last two specifications are used, and 12applied to beginning and end of the line, in this order. 13 14Whenever the attribute is specified without an explicit length, the 15system falls back to the value taken from the language variable 16[var circleradius], which itself defaults to the pixel equivalent of 17[const {1 cm}] 18