Typst writer: ensure that -, +, etc. are escaped at beginning of …
#5699
| Job | Run time |
|---|---|
| 5s | |
| 5s |
-, +, etc. are escaped at beginning of …
#5699
| Job | Run time |
|---|---|
| 5s | |
| 5s |