Use U+007C and U+2016 for delimiters rather than U+2223 and U+2225. Resolves issue #1175.
This commit is contained in:
parent
913dcb5601
commit
a2a62be374
|
@ -145,10 +145,10 @@ MathJax.Hub.Register.StartupHook("TeX Jax Ready",function () {
|
||||||
},
|
},
|
||||||
|
|
||||||
delimiter: {
|
delimiter: {
|
||||||
'\\lvert': ['2223',{texClass:MML.TEXCLASS.OPEN}],
|
'\\lvert': ['007C',{texClass:MML.TEXCLASS.OPEN}],
|
||||||
'\\rvert': ['2223',{texClass:MML.TEXCLASS.CLOSE}],
|
'\\rvert': ['007C',{texClass:MML.TEXCLASS.CLOSE}],
|
||||||
'\\lVert': ['2225',{texClass:MML.TEXCLASS.OPEN}],
|
'\\lVert': ['2016',{texClass:MML.TEXCLASS.OPEN}],
|
||||||
'\\rVert': ['2225',{texClass:MML.TEXCLASS.CLOSE}]
|
'\\rVert': ['2016',{texClass:MML.TEXCLASS.CLOSE}]
|
||||||
}
|
}
|
||||||
},null,true);
|
},null,true);
|
||||||
|
|
||||||
|
|
|
@ -712,8 +712,8 @@
|
||||||
'\\arrowvert': '23D0',
|
'\\arrowvert': '23D0',
|
||||||
'\\Arrowvert': '2016',
|
'\\Arrowvert': '2016',
|
||||||
'\\bracevert': '23AA', // non-standard
|
'\\bracevert': '23AA', // non-standard
|
||||||
'\\Vert': ['2225',{texClass:MML.TEXCLASS.ORD}],
|
'\\Vert': ['2016',{texClass:MML.TEXCLASS.ORD}],
|
||||||
'\\|': ['2225',{texClass:MML.TEXCLASS.ORD}],
|
'\\|': ['2016',{texClass:MML.TEXCLASS.ORD}],
|
||||||
'\\vert': ['|',{texClass:MML.TEXCLASS.ORD}],
|
'\\vert': ['|',{texClass:MML.TEXCLASS.ORD}],
|
||||||
'\\uparrow': '2191',
|
'\\uparrow': '2191',
|
||||||
'\\downarrow': '2193',
|
'\\downarrow': '2193',
|
||||||
|
|
Loading…
Reference in New Issue
Block a user