Above, a dot above a variable denotes its time derivative; the dot spaced between variables is the vector dot product ; the factor g a γ γ γ γ is the axion-to-photon coupling constant rendered in "natural units".