0^(sqrt 2)