Mình phát hiện ra rằng những trục trặc trên của mình là do sử dụng một lớp văn bản đặc biệt. Mình đã copy tệp *.cls định nghĩa lớp văn bản này vào thư mục chứa tệp tex như hướng dẫn nhưng khi biên dịch luôn báo lỗi ở môi trường proof và xảy ra hiện tượng như mình kể ở trên (chỉ ở môi trường này thôi, những thứ khác vẫn hoàn toàn bình thường, vẫn đọc được tệp dvi). Chú ý là mình chạy thử lớp văn bản này trong PCTex 4 thì không gặp trục trặc gì về môi trường này. (Đây là lớp văn bản nyj.cls do tạp chí NewYork Journal of Math qui định) http://nyjm.albany.edu:8000/nyj.cls