| Index: trunk/extensions/Math/math/mathml.ml |
| — | — | @@ -18,7 +18,7 @@ |
| 19 | 19 | TREE_MN s -> "<mn>"^s^"</mn>" |
| 20 | 20 | | TREE_MI s -> "<mi>"^s^"</mi>" |
| 21 | 21 | | TREE_MO s -> "<mo>"^s^"</mo>" |
| 22 | | - | TREE_MF s -> "<mi>"^s^"</mi><mo>⁡</mo>" |
| 23 | | - | TREE_MFB (s,b) -> "<mi>"^s^"</mi><mo>⁡</mo>"^"<mo>"^b^"</mo>" |
| | 22 | + | TREE_MF s -> "<mi>"^s^" </mi>" |
| | 23 | + | TREE_MFB (s,b) -> "<mi>"^s^"</mi>"^"<mo>"^b^"</mo>" |
| 24 | 24 | |
| 25 | 25 | let render tree = try Some (Util.mapjoin render_mathml_tree (make_mathml_tree ([],tree))) with _ -> None |