User Portlet User Portlet

Bruce, I'm using Mathematica 10.0.0, Workbench 2.0, and MacOS 10.10. Thanks for the advice, I will contact support.
That makes more sense, I've used it myself in Solve, just never thought of that reason. TrueQ seems like a useful function. Lots of different understandings of "equals" is possible, so there must be a equally large set of equality operators.