We introduce a dual space for any geodesically complete Hadamard space. By using
this notion we give a new definition of the subdifferential of convex functions on
geodesically complete Hadamard spaces. Some properties of this subdifferential, such
as a density theorem, are proved.