Tupper did eventually make a genuinely self-referential formula. Trávník has made a very impressive one with a smooth typeface. https://jtra.cz/stuff/essays/math-self-reference-smooth/inde...