This sets the function p to have the attribute that its first argument is held.
In[1]:=
In[2]:=
Out[2]=