| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>Stretchy munderover</title> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
| <link rel="stylesheet" href="/fonts/ahem.css" /> |
| <style> |
| @font-face { |
| font-family: operators; |
| src: url("/fonts/math/operators.woff"); |
| } |
| math { |
| font: 25px/1 Ahem; |
| } |
| mo { |
| font-family: operators; |
| } |
| </style> |
| </head> |
| <body> |
| <math > |
| <mrow> |
| <munderover> |
| <mo stretchy="true">→</mo> |
| <mtext>AAAAAA</mtext> |
| <mtext>BBBBBB</mtext> |
| </munderover> |
| </mrow> |
| </math> |
| </body> |
| </html> |
