ebnf command would be nice to have #482
Description
Let's introduce a new command ebnf. It should print phi grammar in ENBF for LaTeX, using the naive-ebnf package, like this:
\begin{ebnf}
<Program> := "\(\Phi\)" "\(\mapsto\)" <Expression> \\
<Expression> := <Formation> | <Application> | <Dispatch> | "\(\dead\)" \\
<Formation> := "\(\llbracket\)" <Binding> "\(\rrbracket\)" \\
<Application> := <Expression> "\(\lparen\)" <A-Pair> "\(\rparen\)" \\
<A-Pair> := <\(\tau\)-Pair> | <\(\alpha\)-Pair> \\
<Dispatch> := <Subject> "." <Attribute> \\
<Subject> := <Expression> | <Locator> \\
<Locator> := "\(\Phi\)" | "\(\xi\)" \\
<Binding> := <Pair> <Bindings> | \(\epsilon\) \\
<Bindings> := "," <Pair> <Bindings> | \(\epsilon\) \\
<Pair> := <\(\varnothing\)-Pair> | <\(\tau\)-Pair> | <\(\Delta\)-Pair> | <\(\lambda\)-Pair> \\
<\(\varnothing\)-Pair> := <Attribute> "\(\mapsto\)" "\(\varnothing\)" \\
<\(\tau\)-Pair> := <Attribute> "\(\mapsto\)" <Subject> \\
<\(\alpha\)-Pair> := <Alpha> "\(\mapsto\)" <Subject> \\
<\(\Delta\)-Pair> := "\(\Delta\)" "\(\phiDotted\)" <Data> \\
<\(\lambda\)-Pair> := "\(\lambda\)" "\(\phiDotted\)" <Function> \\
\end{ebnf}