y_underline       844 src/prt2pdf/prt2pdf.c                           float y_underline = GLOBAL_YPOS - 1;
y_underline       846 src/prt2pdf/prt2pdf.c                           (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline);
y_underline       864 src/prt2pdf/prt2pdf.c                       float y_underline = GLOBAL_YPOS - 1;
y_underline       866 src/prt2pdf/prt2pdf.c                       (void)printf ("%f %f m %f %f l S\n", x_start, y_underline, x_start + char_width, y_underline);