Tupper's self-referential formula (source code)

= Tupper's self-referential formula
{wiki=Tupper's_self-referential_formula}