Talk:Feferman–Schütte ordinal

How to visualize \(\phi(\Gamma_0,1)\), using BEAN? As {X,2X,1,2} or {X,X,{X,X,1,2}}? Ikosarakt1 (talk ^ contribs) 14:37, June 21, 2013 (UTC)