This question already has an answer here:
- Typeset an = with an ! above 3 answers
I'd like to have output an equals sign that has a small question mark over the top of it. (I'm proving an equation, but it is not obvious until the final step that the equation is true.)
Do I need to create a special symbol myself (via a macro, etc.), or is there already one defined?