Yes, it means that if $x^Ty = 0$ AND both vectors have nonzero norm, then they are at a 90 degree angle. You need both the hypotheses. In your example, $a^Tb = 1$, so the first hypothesis is not satisfied.
Let's try it!
To contact webgp, email [email protected].