Commit Graph

2 Commits

Author SHA1 Message Date
Eddie Kohler
7192bd6595 Fix #683.
Shift spaces back into the replacement middle delimiter.
2017-05-12 09:28:49 -04:00
Eddie Kohler
e449b2d61a Handle \middle. 2016-12-08 16:41:19 -05:00