Merge branch 'issue567' into develop. Issue #567.

This commit is contained in:
Davide P. Cervone 2015-04-21 16:43:28 -04:00
commit 3d951361fe

View File

@ -802,6 +802,8 @@
underline: ['UnderOver','005F'], underline: ['UnderOver','005F'],
overbrace: ['UnderOver','23DE',1], overbrace: ['UnderOver','23DE',1],
underbrace: ['UnderOver','23DF',1], underbrace: ['UnderOver','23DF',1],
overparen: ['UnderOver','23DC'],
underparen: ['UnderOver','23DD'],
overrightarrow: ['UnderOver','2192'], overrightarrow: ['UnderOver','2192'],
underrightarrow: ['UnderOver','2192'], underrightarrow: ['UnderOver','2192'],
overleftarrow: ['UnderOver','2190'], overleftarrow: ['UnderOver','2190'],