search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
321 stars 34 forks source link

KaTeX does not support varprojlim/varinjlim #132

Closed ryankeleti closed 2 years ago

ryankeleti commented 4 years ago

fixed c7802fd5e3cb98e2f957ec4e63e3e9d0956726ff.

ryankeleti commented 4 years ago

The fix I used doesn't get the limits right, I'll have to fix this.

annnagatsuki commented 2 years ago

KaTeX now supports varprojlim/varinjlim, which see here.

thosgood commented 2 years ago

thanks! this is fixed in https://github.com/ryankeleti/ega/commit/250b16e97536410c0c4ce1d6618f1bd72d861e7b