There are posts here explained how to Add a comment on top of "equal" and "approximate" symbols , the idea is to use \stackrel{text}{=}, however, if the text is a bit long, for example I'd like to right
LHS\stackrel{t=x^n}{=}RHS
then the text over the equal symbol is a bit too long.
How could I make it more pretty?




turnstilewith null verticals.\turnstile{n}{d}{}{t=x^n}{n}, for example. (The package automatically adjusts the horizontal lines to the size of whatever is placed over and/or under them.) – cfr Jul 29 '14 at 02:44