Local gauge symmetry