Quines are possible in compression algorithms too: http://research.swtch.com/zip

Combining that with a self-referential formula could conceivably lead to something like a formula that generates a compressed zipfile, whose contents are a bitmap image of the formula...