  We propose a new version of Wigner-Weyl calculus for tight-binding lattice
models. It allows to express various physical quantities through Weyl symbols
of operators and Green's functions. In particular, Hall conductivity in the
presence of varying and arbitrarily strong magnetic field is represented using
the proposed formalism as a topological invariant.
