File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change <
B373
div class="diff-text-inner color-fg-muted">@@ -96,7 +96,7 @@
96
96
r'\chi' : ('cmmi10' , 17 ),
97
97
r'\psi' : ('cmmi10' , 31 ),
98
98
r'|' : ('cmsy10' , 47 ),
99
- r'\|' : ('cmsy10' , 47 ),
99
+ r'\|' : ('cmsy10' , 44 ),
100
100
r'(' : ('cmr10' , 119 ),
101
101
r'\leftparen' : ('cmr10' , 119 ),
102
102
r'\rightparen' : ('cmr10' , 68 ),
Original file line number Diff line number Diff line change @@ -2112,7 +2112,7 @@ class Parser(object):
2112
2112
2113
2113
_ambi_delim = set ("""
2114
2114
| \\ | / \\ backslash \\ uparrow \\ downarrow \\ updownarrow \\ Uparrow
2115
- \\ Downarrow \\ Updownarrow .""" .split ())
2115
+ \\ Downarrow \\ Updownarrow . \\ vert \\ Vert \\ \\ | """ .split ())
2116
2116
2117
2117
_left_delim = set (r"( [ \{ < \lfloor \langle \lceil" .split ())
2118
2118
You can’t perform that action at this time.
0 commit comments