Improve arguments for [morphism_inverse]

When we turn off [Printing Notations], we want to see the morphism
that we are inverting.
Merge pull request #537 from JasonGross/fix-morphism-notation

Improve arguments for [morphism_inverse]