Height of isosceles right triangle