Discrete gauging in six dimensions | Synapse