Vale, he leído varios significados diferentes para el signo de exclamación en una declaración. Por ejemplo: $$!\exists x \in O \ni 2x < 5$$
La única duda que tengo es sobre el signo de exclamación delante del símbolo "existe". Sé que también se utiliza en las permutaciones, pero ese es un concepto ligeramente diferente (creo)
Cualquier aclaración sería fantástica, gracias