mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-01 14:45:29 +00:00
9024614d36
--HG-- extra : transplant_source : %CDr%F474%A9%FD%80%D2%FC%AEJ%B6%93%E9%23%ECO%25z
22 lines
417 B
HTML
22 lines
417 B
HTML
<html>
|
|
<head>
|
|
<title>embellished operators 5: vertical stretchy operator</title>
|
|
</head>
|
|
|
|
<body>
|
|
<div>
|
|
<math xmlns="http://www.w3.org/1998/Math/MathML">
|
|
<mrow>
|
|
<mrow>
|
|
<msub>
|
|
<mo>|</mo>
|
|
<mspace/>
|
|
</msub>
|
|
</mrow>
|
|
<mspace height="30px" depth="30px"/>
|
|
</mrow>
|
|
</math>
|
|
</div>
|
|
</body>
|
|
</html>
|