Rumus referensi-diri Tupper

di mana formula_2 menandakan fungsi pembulatan ke bawah, dan formula_3 merupakan operasi modulus.