User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-35470197-20190501064759

でも今のルールだと \begin{eqnarray*} & & \psi_{\Omega_1}(\psi_{\Omega_3}(0))[3] \\ & = & \psi_{\Omega_1}(\psi_{\Omega_2}(\psi_{\Omega_3}(0)))[3] \\ & = & \psi_{\Omega_1}(\psi_{\Omega_2}(\psi_{\Omega_3}(0))[3]) \\ & = & \psi_{\Omega_1}(\psi_{\Omega_2}(\psi_{\Omega_3}(0)[\psi_{\Omega_2}(\psi_{\Omega_3}(0)[2])])) \\ & = & \psi_{\Omega_1}(\psi_{\Omega_2}(0)) \end{eqnarray*} になってしまうような.