Here is your desired excerpt from our glossary
Right angle : A right angle is an angle equal to $90^{\circ}.$
