backnaur – Typeset Backus Naur Form definitions

The pack­age type­sets Backus-Naur Form (BNF) def­i­ni­tions. It cre­ates aligned lists of pro­duc­tions, with num­bers if re­quired. It can also print in-line BNF ex­pres­sions us­ing math mode.