{ ( expr ) | { + | - | PRIOR } expr | expr { * | / | + | - | || } expr }
Note: The double vertical bars are shown in boldface type because they are part of the syntax (indicating concatenation) rather than BNF punctuation.