حذف علامت مربع در انتهای محیط proof

[vafa]

با عرض سلام
قبلا از TeX Live 2011 استفاده می‌کردم، بعد از مدتی ویندوزم رو عوض کردم و همون TeX Live 2011 رو نصب کردم ولی از همون خط مربوط به مربع (\bidi@AtEndEnvironment{proof}{\let\popQED\relax\qedsymbol}) خطا می‌گیره خطا بصورت زیره:

کد [انتخاب] Expand

! Undefined control sequence.
l.101 \bidi@AtEndEnvironment
                            {proof}{\let\popQED\relax\qedsymbol}
در حالی که قبلا کار می‌کرد. دلیلش چیه؟
(در ضمن هم با TeXworks و هم با TeXmaker خطا ایجاد می‌شه.)
logفایل رو هم ضمیمه کردم.

تک‌لایوت اونقدر بروز نیست که:

۱) بسته biditools وجود داشته باشه یا
۲) بسته biditools وجود داره اما دستور \bidi@AtEndEnvironment تعریف نشده.

راه‌حل: نصب تک‌لایو 2012 و بروز کردنش یا اگر کمی بیشتر صبر کنی، نصب تک‌لایو 2013.

[hrzazad]

ممنون از آقای دامن‌افشان و آقای کارن‌پهلو.
همون TeX Live 2012 که بصورت فایل iso هست رو نصب کردم، مشکل حل شد(بدون بروز رسانی).

جسارتا فکر کنم با توجه به مواردی که در این پست مطرح شده اگه موضوعش تغییر کنه بهتره.مثلا: حذف علامت مربع در انتهای محیط proof و همچنین قرار گرفتن آن بعد از آخرین کلمه‌ی اثبات.

در ضمن جا داره از همه دوستانی که تو این سایت فعالیت می‌کنن و به سؤالات جواب میدن تشکر کنم. بدون شک حضورشون تو این سایت باعث دلگرمی همه کاربران هست.