<html>
<head>
<title>embellished operators 5: vertical stretchy operator</title>
</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>