bnf equasym