Lin Tianchuan

Feature Request: add LaTeX math equation support

3

Like this (vscode extension: Markdown All in One): 

Tabstop with default content not in `t` array

1

This works fine: ```lua snippet box "Box" A ``rv = '┌' + '─'.repeat(t[0].length + 2) + '┐'`` │ $1 │ ``rv = '└' + '─'.repeat(t[0].length + 2) + '┘'`` endsnippet...

https://1024th.github.io/MathJax_Tutorial_CN/#/quickstart Description

When a formula contains "", it is not escaped, thus causing a lot of problems. Maybe you should consider using `util.EscapeHTML()` ?

fix(mappings): add a note for overriding mapping

1

Related issue: https://github.com/AstroNvim/AstroNvim/issues/2353#issuecomment-1787490855 ## 📑 Description Add a note for possible race condition when overriding default mapping.

`time` tactic breaks proof delegation

1

A mininal example: ```coq Lemma test: True. Proof. time auto. Qed. ``` If `vscoq.proof.delegation` is set to: - "No delegation (all proofs are checked one after the other)", then things...

Better sidebearings for capital latin letters

2

To achieve visual balance and make all uppercase letters appear roughly the same size, different letters need different sidebearings. The article at [https://help.fontlab.com/fontlab/8/tutorials/briem/5-0-spacing/briem-5-03-capitals/](https://help.fontlab.com/fontlab/8/tutorials/briem/5-0-spacing/briem-5-03-capitals/) describes how sidebearings are determined in type...