⁴Anteriormente se acostumbraba terminar una demostración con las letras QED, abreviación de la frase en latín quod erat demonstrandum que significa "lo que se quería demostrar''. Actualmente se usa el símbolo llamado lápida (tombstone en inglés) o símbolo de Halmos, en honor al matemático Paul Halmos quien introdujo su uso en las matemáticas.