Gauging permutation symmetries as a route to non-Abelian fractons | Synapse