Googology Wiki (en)/Extensions