User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-5150073-20140617132750

We can have just two symbols, and we can have two types of symbols. There are two symbols with one type: $$\Omega \Omega$$ and there are two symbols with different types: $$\Omega \omega$$.