% mathematical symbols by Anthony Phan. % file: mathextr.mf (extra symbols) % last modification: April 29, 2002. def horizontal_rules_list= 0.5[-d,h]-math_axis,0.5[-d,h]-math_axis+x_height, 0.25[-d,h],0.5[-d,h],0.75[-d,h] enddef;