tree 3efa80f739e5bebcc3b24b27912127e97cd70a0d
parent 190d945b929898ef1f58a23d71ff88ca289efcb9
author Dominique Unruh <unruh@ut.ee> 1467277819 +0300
committer Dominique Unruh <unruh@ut.ee> 1467277819 +0300

Fixed: when parsing \langle/\rangle from Latex, subsequently exported \langle/\rangle misses following whitespace.
Same for \lVert,\rVert