It doesn't look like any of the BNF family. I have seen this in several RFC papers, for example HTML 1.1, but it is never explained. I can't find anything other than formatting guidelines on the RFC site either
It is an "augmented BNF" as explained in http://www.w3.org/Protocols/rfc2616/rfc2616-sec2.html.