Abstract. Theories of quantum gravity not only require the absence of ordinary global symmetries, but also of higher form symmetries. We study theories of quantum gravity using F-Theory compactification in which such symmetries are manifestly absent, but can exist in decompactification limits. By examining how the resulting non-compact geometries are glued to the original compact one, we find that there can be unbroken 2-form symmetries even in a compact setting. In a theory of quantum gravity these must hence be gauged. We give further evidence for this proposal using dual perspectives in which gauged 2-form symmetries are mapped to the global structure of the gauge group.