text-generation-webui-main/grammars/simple_arithmetic.gbnf

root  ::= (expr "=" ws term "\n")+
expr  ::= term ([-+*/] term)*
term  ::= num | "(" ws expr ")" ws
num   ::= [0-9]+ ws
ws    ::= [ \t\n]*
# this is a comment