Rumus Rumus ini pertama kali dipublikasikan dalam naskah SIGGRAPH 2001nya yang membahas cara terkait program penggambar-rumus GrafEq yang dia kembangkan. Rumus ini merupakan pertidaksamaan: di mana menandakan fungsi pembulatan ke bawah, dan merupakan operasi modulus. Misalkan k sama dengan bilangan bulat 543-digit berikut ini: Jika satu grafik menggambarkan kumpulan titik dalam dan sesuai dengan pertidaksamaan di atas, menghasilkan grafik seperti ini : Rumus ini sendiri merupakan cara umum dari penguraian sebuah bitmap yang disimpan dalam konstanta k, jadi ini dapat digunakan untuk menggambar gambar yang lain. Saat dipakai dalam , rumus ini memetakan sebuah petak vertikal dengan pola yang terkandung semua kemungkinan bitmap setinggi 17 piksel. Satu potongan dari bitmap tak terhingga tersebut melukiskan rumus menggambar itu sendiri, tetapi bukanlah sesuatu yang luar biasa, semenjak potongan lain menggambarkan semua kemungkinan yang lain yang mungkin cukup dalam sebuah bitmap setinggi 17 piksel. Tupper telah menyebarkan informasi, lewat surel, versi tambahan dari rumus aslinya yang mengatur semua kecuali satu potongan . Konstanta k adalah sebuah gambar bitmap monokromatik sederhana dari rumus yang diperlakukan sebagai sebuah bilangan biner dan dikali 17, least significant bit menyandikan pojok kanan-atas ; 17 least significant bit menyandikan kolom paling kanan dari piksel; 17 least significant bit selanjutnya menyandikan kolom paling kanan kedua, dan seterusnya, membentuk gambar dari rumus. Daftar Pustaka Ekstensi dari Tupper's original self-referential formula TupperPlot , sebuah implementasi dalam JavaScript Tupper self referential formula , sebuah implementasi dalam Python The Library of Babel function, sebuah penjelasan detail dari cara kerja Rumus Grafika komputer Ketidaksamaan matematika