ebnf-font-name-select

ebnf-font-name-select is a variable defined in `ebnf2ps.el'.
Its value is

[normal bold italic bold-italic]

• This variable may be risky if used as a file-local variable.

Documentation:
Not documented as a variable.