print the formula corresponding to the given name
Major Section:  HISTORY

:pf (:definition fn) ; prints the definition of fn as an equality
:pf fn               ; same as above

:pf (:rewrite foo) ; prints the statement of the rewrite rule foo :pf foo ; same as above

pf takes one argument, an event name or a rune, and prints the formula associated with name.