Improve arguments for [morphism_inverse]

When we turn off [Printing Notations], we want to see the morphism
that we are inverting.