Dirac equation

  • Somehow get this from Yang-Mills with \(G = {\operatorname{U}}(1)\)