La formule autoréférente de Tupper est une équation qui n'a aucune utilité autre que l'amusement : en traçant les solutions de cette inégalité, une partie du plan contient la formule elle-même. Elle fut créée en 2001 par Jeff Tupper.