1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
<!DOCTYPE html> <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>