Gupta–Bleuler formalism