%
% \item [\grammarparsep] is the amount of space inserted between production
% rules. It is a rubber length whose default value is 8\,pt, with
%
% \item [\grammarparsep] is the amount of space inserted between production
% rules. It is a rubber length whose default value is 8\,pt, with