User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-35870936-20180813215517/@comment-35470197-20180814105020

Thank you. Is there any article or blog post which explains the equality \(\psi_0(\Omega_{\omega}) = U(\Omega_{\omega})\)? If it is not so easy to present \(\psi_0(\Omega_n)\) by \(U\)'s, then I would like to know how to compare \(\psi_0(\Omega_{\omega})\) and \(U(\Omega_{\omega})\). I guess that there is a comparison factoring other OCFs such as \(\vartheta\).