Davide P. Cervone 959218f7a9 Adjust positions of extenders for double-lined vertical arrows. (The horizontal position of the extender is off in teh fonts.) Resolves issue #476.		2014-02-15 16:44:49 -05:00
..
element/mml	Make mfenced match mrow+mo form, and make U+2223 and U+2225 stretchy in pre- and postfix positions (to match Firefox). Resolves issue #478.	2014-02-11 10:36:02 -05:00
input	Allow switching of phi and varphi (new fixphi configuration parameter controls this). Resolves issue #353.	2014-02-14 14:56:15 -05:00
output	Adjust positions of extenders for double-lined vertical arrows. (The horizontal position of the extender is off in teh fonts.) Resolves issue #476.	2014-02-15 16:44:49 -05:00