Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1508 from dpvc/issue1023
Fix problems with \middle. #1023
- Loading branch information