tor-browser

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

embellished-op-3-2-ref.html (711B)

      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 mrow -->
     24      <math xmlns="http://www.w3.org/1998/Math/MathML">
     25        <mover>
     26          <mtext>abcdef</mtext>
     27          <mrow><mrow><mspace/></mrow><mo stretchy="false">&#xaf;</mo></mrow>
     28        </mover>
     29      </math>
     30    </div>
     31  </body>
     32 </html>