\SQUARE{-1.256}{\sol} $(-1.256)^2=\sol$