# Documentation

Lean.Parser

@[export lean_mk_antiquot_parenthesizer]
Equations
@[export lean_pretty_printer_parenthesizer_interpret_parser_descr]
Equations
• One or more equations did not get rendered due to their size.
@[export lean_mk_antiquot_formatter]
Equations
@[export lean_pretty_printer_formatter_interpret_parser_descr]
Equations
• One or more equations did not get rendered due to their size.