TeXShop에서 PDF Synchronization에 성공했습니다. DVIPDFMx로 컴파일하여 검색 추출이 가능한 PDF를 만들었더니 그대로 되더군요. pdf로 Inverse/ForwardSearch를 처음 보는지라 신기하기만 합니다. DVI에서만 되는 줄 알았던 인버스/포워드 서치를 pdf에서 할 수 있다니... 이제 정말 dvi는 쓸 일이 없어졌네요. 윈도로 돌아갈 유인도 사라져버렸습니다. 정말 놀랍습니다. 아래 그림은 인버스 서치를 하는 장면을 잡은 것입니다.

위의 표시된 부분에서 Command+Click (spotlight이 돌아야 하기 때문에 조금 기다릴 필요가 있습니다.) 하니 아래 그림과 같이 위치를 찾아서 열어주었습니다.

이 방식의(pdfsync를 사용하지 않는) 인버스 서치는 주어진 위치에서 전후의 20여개 단어를 먼저 취한 다음 이 단어로 spotlight을 돌려서 가장 비슷한 단어군으로 되어 있는 파일을 열어서 보여주는 방식입니다. 따라서 비슷한 단어군이 여러 파일에 있으면 가끔 위치를 잘못 선정하기도 합니다. 검색 위치를 지정하는 데 약간의 주의가 필요한 점 말고는 그다지 큰 불편이 없습니다. 어차피 인버스 서치는 해당 위치를 정확하게 찾는 것이 목적이 아니고 편집을 수월하게 하려는 것이니까요. 관심있으신 분들은 TeXShop/PDFSync를 참고하세요.