User blog comment:LittlePeng9/Higher order set theory/@comment-24509095-20141010045633/@comment-2033667-20141010124245

almost all the major functions on this wiki are probably definable with < 1000 symbols i think