User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-25418284-20140617154553

@Iko You are right that we can use, say, "1111" instead of "4" &mdash; it slows the function down a bit, but hardly in a way I'd call significant. Unary is useful if we wish to keep the alphabet finite for whatever reason.