Symbol: pythagorean_theorem