tor-browser

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

embellished-op-5-2.html (812B)

      1 <!DOCTYPE html>
      2 <html>
      3  <head>
      4    <title>embellished operators 5: vertical stretchy operator</title>
      5    <link rel="match" href="embellished-op-5-ref.html"/>
      6    <link rel="help" href="https://bugzilla.mozilla.org/show_bug.cgi?id=21479"/>
      7    <link rel="stylesheet" href="/fonts/ahem.css" />
      8    <style>
      9      @font-face {
     10        font-family: operators;
     11        src: url("/fonts/math/operators.woff");
     12      }
     13      math {
     14        font: 25px/1 Ahem;
     15      }
     16      mo {
     17        font-family: operators;
     18      }
     19    </style>
     20  </head>
     21 
     22  <body>
     23    <div>
     24      <math xmlns="http://www.w3.org/1998/Math/MathML">
     25        <mrow>
     26          <msub>
     27            <mo>|</mo>
     28            <mspace/>
     29          </msub>
     30          <mspace height="30px" depth="30px"/>
     31        </mrow>
     32      </math>
     33    </div>
     34  </body>
     35 </html>