declared and installed \* for elements and morphisms
"endomorphism" -> endo"morphism"