  In this paper we present a general framework for Berezin covariant symbols,
and we discuss a few basic properties of the corresponding symbol map, with
emphasis on its injectivity in connection with some problems in representation
theory of nilpotent Lie groups.
