tor-browser

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

embellished-op-5-ref.html (616B)

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