Trebor Huang

Do not autoclose `$` after an escaping slash

1

Currently the autoclosing pairs in the VSCode language configuration lists `$` and `$`. This is slightly annoying when dealing with money. Is this possible with the language configuration alone? A...

Screenshot tests break on retina displays

2

**Describe the bug:** Retina displays give a screenshot size that is some multiple of the requested size, breaking the testing code. **To Reproduce:** Steps to reproduce the behavior: 1. Use...

Devalapurkar & Haine

3

This is a formalization of results described in #1147, with the two main results being the stable James splitting `ΣΩΣX ≃ ΣX ⋁ Σ(X ⋀ ΩΣX)` and the Hilton–Milnor splitting...

I'm making some headway in formalizing the paper - Devalapurkar and Haine, [On the James and Hilton–Milnor splittings, & the metastable EHP sequence](https://people.math.rochester.edu/faculty/doug/otherpapers/DEVALAPURKAR-HAINE.pdf). And I'd like to contribute this to...

### Is there an existing issue for this? - [x] I have searched the existing issues ### Platform Apple Silicon macOS (darwin-arm64, Most Common) ### Editor VS Cod(e,ium) ### Editor...

Snake shaped arrow

2

I think that one specific S-shaped arrow, appearing in long exact sequences and snake lemma etc., is very common, and should probably be hardcoded into both quiver.sty and the web...

Typst panic on comparison function

15

### Description The `sorted` function on arrays sometimes panics with the message ``` thread 'main' panicked at library/core/src/slice/sort/shared/smallsort.rs:865:5: user-provided comparison function does not correctly implement a total order ``` when...