jdh.hamkins.org
Omega-squared-times-4
A position with value $\omega^2\cdot 4$
