# Documentation

Lean.Data.Lsp.TextSync

Section "Text Document Synchronization" of the LSP spec.

Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Instances For
• rangeChange:
• fullChange:
Instances For
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Instances For
Equations

NOTE: This is defined twice in the spec. The latter version has more fields.

Instances For