Skip to content

Add category theory LaTeX symbols (turnstiles, corners, arrows)#59

Open
rzil wants to merge 1 commit intomgriebling:mainfrom
rzil:feature/add-category-theory-symbols
Open

Add category theory LaTeX symbols (turnstiles, corners, arrows)#59
rzil wants to merge 1 commit intomgriebling:mainfrom
rzil:feature/add-category-theory-symbols

Commits

Commits on Jan 6, 2026