/GREP Does a "grep" search for the (partial) source name or string in the source catalog and lists any matching lines. This search ignores the case. This is only to help the user search through a source catalog. Even if the match is unique, the source found is not selected. (re-enter the SOURCE command with the full source name!)