Higher-form symmetries and their anomalies in M-/F-theory duality | Synapse