User blog comment:Rgetar/Idea of program/@comment-80.98.179.160-20171224180551/@comment-28606698-20171224202335

Yes epsilon numbers are fixed points of omega's exponentiation