logo
Rewrap
Lean
Initializing search
    GitHub
    GitHub
    • Getting Started
    • Configuration
    • Extra Features
      • Specs
        • Line Comments
        • Block Comments
        • Decoration Lines
        • Selections
        • Embedded Sections
        • Double Sentence Spacing
        • Tabs
        • Spaces
        • Special Characters
        • Misc
        • .Net XmlDoc
        • Batch/Cmd files
        • D
        • Dart
        • Doxygen
        • Elixir
        • Go
        • Graphql
        • HTML
        • JavaDoc
        • Julia
        • LaTeX
        • Lean
        • Lua
        • Markdown
        • Matlab
        • Octave
        • Basics
        • PowerShell
        • Prolog
        • Proto
        • Python
        • R
        • reStructuredText
        • Tcl
        • Yaml

    Lean

    language: "lean"

    -- a b c       ->      -- a b ¦
    -- d   ¦               -- c d ¦
    x x x x x              x x x x x
    /- a b c               /- a b ¦
       d   ¦                  c d ¦
    -/     ¦               -/     ¦
    x x x x x              x x x x x
    
    Previous LaTeX
    Next Lua
    Made with Material for MkDocs