display defn of f