pager -- display with paging

• Usage:

  pager x

• Inputs:
  • x
• Consequences:

  • x is converted to a net and displayed through the pager specified by the environment variable PAGER, if set, else through the program more.