16
انجمن تازهکاران / پاسخ : مشکل در شماره گذاری قضیه ها و لم ها در زی پرشین
« : سپتامبر 09, 2011, 08:01:24 pm »با عرض سلام،برای اینکه زی پرشین این کارو براتون انجام بده شما اول باید ازش بخواین !!! و این درخواست به این صورت خواهد بود که شما از محیط theorem استفاده کنید یا محیطهای جدید دلخواه برای خودتون تعریف کنید. برای اینکار هم خوشبختانه راهنماهای زیادی وجود داره که توی همین سایت میتونید پیداشون کنید
من با زی پرشین تایپ ریاضی می کنم و مشکل خاصی وجود نداره،جز اینکه شماره قضیه ها و لم ها رو که قاعدتا باید به طور اتوماتیک وار این کار رو انجام بده،ثبت نمی کنه و مجبور هستم دستی اونارو تایپ کنم.کسی از عزیزان می تونه کمکی بکنه در این زمینه؟
لا تشکر از همه دوستان