12.0.1 `print_dvi_form'
-----------------------

print_dvi_form(S)
     :  It outputs S to a dvi file.
Example:
      print_dvi_form(x^2-1);

   References:

      `print_xdvi_form' ,  `print_tex_form'

