ebnf-arrow-extra-widthebnf-arrow-extra-width is a variable defined in `
ebnf2ps.el'. Its value is
1.4534441853748634Documentation: Specify extra width for arrow shape drawing. The extra width is used to avoid that the arrowhead and the terminal border overlap. It depends on `ebnf-arrow-shape' and `ebnf-line-width'. You can customize this variable. This variable was introduced, or its default value was changed, in version 22 of Emacs.