| f : & lt;