Patch for Issue #425.
Removing brackets for <br/> as they can be specified using normal brackets.
Merge pull request #434 from kframework/latex-br-fix

Patch for Issue #425