Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover
npm install @leanprover/unicode-input-componentcontenteditable div to your HTML that serves as the input: InputAbbreviationRewriter from this package and create a new InputAbbreviationRewriter for #unicode-inputInputAbbreviationRewriter.resetAbbreviations whenever setting the text of #unicode-input programmatically, as the InputAbbreviationRewriter only triggers on actual user inputwhite-space: -moz-pre-space to #unicode-input, otherwise there's an error with multiple spaces on Firefox.#unicode-input to your likingThis component only supports single-line input and no rich text styling other than the abbreviation highlighting.