我们提出了用于紧密绑定晶格模型的Wigner-Weyl微积分的新版本。 它允许通过Weyl运算符和Green函数来表示各种物理量。 特别地，使用提出的形式主义作为拓扑不变性来表示存在变化且任意强磁场的霍尔电导率。