Registry · Definition IV.D188 tau-effective formalized

IV.D188 — Antiquark mode

The antiquark of a quark mode chi_{m,n} is the conjugate mode bar{chi}_{m,n} := chi_{-m,-n}, with reversed color class bar{c} = (-n) mod 3 and reversed electric charge -Q, corresponding to the CP-conjugate character on T^2.

Book IV Part 5 Ch. 43

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.AntiquarkMode