tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

stretchy-munderover-2-ref.html (743B)


      1 <!DOCTYPE html>
      2 <html>
      3  <head>
      4    <title>Stretchy munderover</title>
      5    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
      6    <link rel="stylesheet" href="/fonts/ahem.css" />
      7    <style>
      8      @font-face {
      9        font-family: operators;
     10        src: url("/fonts/math/operators.woff");
     11      }
     12      math {
     13        font: 25px/1 Ahem;
     14      }
     15      mo {
     16        font-family: operators;
     17      }
     18    </style>
     19  </head>
     20  <body>
     21    <math >
     22      <mrow>
     23        <msup>
     24          <munderover>
     25            <mo stretchy="true">&#x2192;</mo>
     26            <mtext>AAAAAA</mtext>
     27            <mtext>BBBBBB</mtext>
     28          </munderover>
     29          <mtext>CCCCCC</mtext>
     30        </msup>
     31      </mrow>
     32    </math>
     33  </body>
     34 </html>