verify that two symbols appear the same
verify(expr1, expr2, symbol)
anything, assumed to be of type symbol
The verify(expr1, expr2, symbol) calling sequence returns true if the two symbols "appear the same". The result can be different from that produced by the evalb routine if either symbol has assumptions or is an escaped local.
This verification is symmetric in its arguments.
If either expr1 or expr2 is not of type symbol, then false is returned.
Download Help Document
What kind of issue would you like to report? (Optional)