Hi Doris, It just has been turned to use lualatex HTH Dima
On Thu, Dec 14, 2023 at 8:06 PM 'Doris Behrendt' via sage-devel <sage-devel@googlegroups.com> wrote: > > Hi all, > > why xelatex and not lualatex? > > Doris > > > On 14. Dec 2023, at 10:18, Kwankyu Lee <ekwan...@gmail.com> wrote: > > > > Hi, > > > > The PR > > > > https://github.com/sagemath/sage/pull/36861 > > > > aims at switching from pdflatex to xelatex the latex engine to render > > objects in pdf using the command like "view(objects)" as well as in > > building the sage documentation. > > > > As xelatex natively supports Unicode, we removed lots of commands like > > > > \DeclareUnicodeCharacter{03B1}{\ensuremath{\alpha}} > > > > which were needed to support Unicode in pdflatex. > > > > We worry that some Unicode functionality was lost in this process, and so > > we invite Unicode users to test with the PR. > > > > Here is the Binder link to where you can play around with xelatex-enabled > > sage: > > > > https://mybinder.org/v2/gh/kwankyu/sage/use-xelatex-by-default-binder > > > > or you should build sage with the PR. > > > > If you find some Unicode-related defect not existent in sage 10.2, please > > report it to the PR. > > > > Thanks. > > > > -- > > You received this message because you are subscribed to the Google Groups > > "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to sage-devel+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/sage-devel/ac185d29-e64b-42a3-a4b9-d25e2b31474cn%40googlegroups.com. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/93C23CA8-99D8-4051-B01B-DBF0CDEF8FD1%40me.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq343js%3DCYzBMt9z8PmX5AkPd2qfkpRqUaB%3DUSL21b%3D5tw%40mail.gmail.com.