feat(abbreviations.json): add double parens abbreviations

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

158 stars 48 forks source link

Closed Julian closed 3 weeks ago

Julian commented 3 weeks ago

Corresponds to [[ and {{ -- they aren't used (yet) in Mathlib but would potentially be used for LaurentSeries notation.