Add \middle command to TeX input jax

This commit is contained in:
Davide P. Cervone 2012-01-21 16:47:46 -05:00
parent 39b0122d08
commit 603328ae82
8 changed files with 14 additions and 7 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -787,6 +787,7 @@
left: 'LeftRight',
right: 'LeftRight',
middle: 'Middle',
llap: 'Lap',
rlap: 'Lap',
@ -1253,6 +1254,12 @@
this.Push(STACKITEM[name.substr(1)]().With({delim: this.GetDelimiter(name)}));
},
Middle: function (name) {
var delim = this.GetDelimiter(name);
if (this.stack.Top().type !== "left") {TEX.Error(name+" must be within \\left and \\right")}
this.Push(MML.mo(delim).With({stretchy:true}));
},
NamedFn: function (name,id) {
if (!id) {id = name.substr(1)};
var mml = MML.mi(id).With({texClass: MML.TEXCLASS.OP});