Its the pythagorean theorem. Iff means "If and only if" | means "or" A,B,C are sides a,b,c are angles