I have some symbol for homomorphisms with a certain property "property" whose code is something like
(The idea is to insert the word "property" above the arrow. Of course "property" is just a dummy word, for the purpose.)
Now I use the symbol
\twoheadrightarrow to indicate that a homomorphism is surjective.
If the homomorphism happens to be surjective and have property "property", I'd like to add "property" above the arrow like before.
This is done more or less right, except that, when above
\twoheadrightarrow, I get the text a bit higher than with
A solution that came to my mind was to use a
However, this is even worse, because (I suppose this is the reason) it creates a new box that 'forgets' that it is inside the
\overset scope and prints the name of the property in normal size.
Is there a better way of doing this?
(I really don't know if I choose the tags correctly. Please feel free to edit.)