Can you summarize the following document?
        
  公式最初於他2001年SIGGRAPH的論文中提及。此論文主要討論他開發的GrafEq公式作圖程式的相關方法。此公式在眾多數學與電腦科學課程裡被用作繪製公式影象的練習作業。

  此公式是個不等式:  其中formula_2表示floor函式,formula_3表示模除。如果讓常數formula_4等於:  然後將在formula_5和formula_6所示範圍中符合以上不等式的點formula_7繪製出來,結果會是這樣:  這個公式本身是一個從常數formula_4中解碼出一個相對應的黑白點陣圖的通用方法,因此事實上此公式可以用來繪製任何影象。當此公式被繪製到formula_9的無界正向帶裡的時候,影象上顯現出一個縱向窄帶,在此窄帶內所有可能的17畫素高的點陣圖都出現過。這塊無窮大的點陣圖中有一個橫向切片描繪了繪製函式本身,但這並不意外,因為別的切片會描繪所有能被填進17畫素高的點陣圖中的公式。塔珀還通過電子郵件傳播了這個原始公式的擴充套件版本,這些版本的公式將其他的切片都抹除了。  這裡的常數formula_4是將公式的單色點陣圖化成二進位制後乘以17得來的。如果將formula_4除以17(並化成二進位制),最小一位代表影象左下角的畫素;最小的17位構成了最左邊的一列畫素;第二小的17位構成了左數第二列畫素;以此類推。
塔珀自指公式(英語:Tupper's self-referential formula)是傑夫·塔珀(英語:Jeff Tupper)發現的自指公式:此公式的二維影象與公式本身外觀一樣。