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)发现的自指公式:此公式的二维图像与公式本身外观一样。