tor-browser

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

embellished-op-3-4-ref.html (744B)

      1 <!DOCTYPE html>
      2 <html>
      3  <head>
      4    <title>embellished operators: maction and mrow-like as space-like children
      5    </title>
      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 
     21  <body>
     22    <div>
     23      <!-- space-like mpadded -->
     24      <math xmlns="http://www.w3.org/1998/Math/MathML">
     25        <mover>
     26          <mtext>abcdef</mtext>
     27          <mrow>
     28            <mpadded><mspace/></mpadded><mo stretchy="false">&#xaf;</mo>
     29          </mrow>
     30        </mover>
     31      </math>
     32    </div>
     33  </body>
     34 </html>