jun0

Results 4 comments of jun0

Very interesting... You say you can't give it a character class to act like \mathinner, but if you make it an active char and define it as \cdots, would that...

Ouch, that's too bad. I posted here because this repo was linked from the Hackage page. Is there some place else I should report this bug to?

I see. I guess I'll leave it at this, then. Thanks for your help!

> The fix was basically to back out torvalds/linux@cc1582c. I see, then that's a different issue. I checked the patched source, and that code by Jin Yao is nowhere to...