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