Tupper's self-referential formula

Etymology
Defined (but not given this name) by Jeff Tupper.

Proper noun

 * 1)  An inequality that visually represents itself when graphed at a specific location in the (x, y) plane.