Did you know ... Search Documentation:
Title for wiki(tags)

Pages tagged "\+"

1 matches from Reference Manual
Reference Manual
 
4.6 Comparison and Unification of Terms
\=/2Equivalent to \+Term1 = Term2.