Discrete global symmetries: gauging and twisted compactification | Synapse