I find I use
isequal a lot, especially for tests, so an infix form would be convenient. I checked the issues, but did not find anything related, thought I would ask here before opening an issue.
I don’t have a strong preference for a particular symbol, but if we restrict to less esoteric LaTeX symbols, ≅ (
\cong) is free and already recognized by the REPL.