triangle inverses