  A Weyl law for Toeplitz operators was proved by Boutet de Monvel and
Guillemin for general Toeplitz structures. In the setting of positive line
bundles, we revisit this theme in light of local asymptotic techniques based on
the microlocal theory of the Szego kernel. By pairing this approach with
classical arguments used to estimate the spectral function of a
pseudodifferential operator, we first establish a local Weyl law (that is, a
pointwise estimate on the spectral function of the Toeplitz operator).
