El símbolo ∎ (Fin de demostración): Más que un simple cuadrado
El símbolo ∎ (U+220E), conocido formalmente como "Fin de demostración" o "Halmos", es un carácter tipográfico utilizado principalmente en matemáticas para indicar que un razonamiento o prueba ha concluido con éxito. Este pequeño rectángulo o cuadrado negro sólido reemplaza a la tradicional sigla latina Q.E.D. (Quod erat demonstrandum) y sirve como una señal visual clara de que el argumento lógico ha llegado a su fin.
Su origen es bastante fascinante y rompe con la seriedad matemática pura. Fue introducido en la literatura académica a mediados del siglo XX por el matemático húngaro-estadounidense Paul Halmos. Él mismo admitió haber tomado la idea de revistas y periódicos tradicionales, que solían usar un pequeño bloque negro al final de la página para indicar al lector que un artículo había terminado. Por esta razón, en el mundo científico a menudo se le llama "lápida" (tombstone) o simplemente "el Halmos" en honor a su creador.
Dentro del estándar Unicode, este carácter se identifica con el punto de código U+220E y se encuentra en el bloque de "Operadores matemáticos". Aunque visualmente parece un simple cuadrado negro, su codificación específica asegura que los procesadores de texto, lectores de pantalla y navegadores web entiendan su función semántica real dentro de textos técnicos y fórmulas.
Hoy en día, su uso va más allá de las pizarras universitarias. En matemáticas y ciencias de la computación, marca el cierre triunfal de un teorema. En programación y diseño de documentos técnicos, herramientas como LaTeX lo generan automáticamente al cerrar un bloque de prueba matemática usando comandos específicos. En el diseño editorial moderno, el concepto sobrevive como marca de fin de artículo. Incluso en foros y redes sociales, algunos usuarios creativos copian y pegan este símbolo para usarlo como una viñeta geométrica de aspecto mucho más limpio y profesional que un simple punto.
Teclear el símbolo ∎ es bastante sencillo si conoces los trucos correctos. En Windows, puedes mantener presionada la tecla Alt y teclear 8718 en el teclado numérico. En macOS, la forma más rápida es abrir el Visor de caracteres (Control + Comando + Espacio) y buscar "End of proof". Para el desarrollo web, puedes insertarlo en HTML utilizando el código decimal ∎ o el formato hexadecimal ∎.
Es útil diferenciar el Halmos de otros caracteres similares. El ∎ (U+220E) es distinto al Cuadrado negro mediano ◼ (U+25FC) y al Cuadrado negro pequeño ▪ (U+25AA), que pertenecen al bloque de formas geométricas y no tienen el mismo peso semántico. También existe el Cuadrado blanco □ (U+25A1), que muchos autores prefieren usar como una alternativa visual más ligera para indicar el mismo fin de una demostración matemática.