ebnf-arrow-scale

ebnf-arrow-scale is a variable defined in `ebnf2ps.el'.
Its value is
1.0


Documentation:
Specify the arrow scale.

Values lower than 1.0, shrink the arrow.
Values greater than 1.0, expand the arrow.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 22 of Emacs.