Isosceles right triangle definition