Right isosceles triangle definition