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

Conversation

@rzil
Copy link

@rzil rzil commented Jan 6, 2026

Adds several commonly-used category theory and logic LaTeX symbols that
are already present in the bundled math fonts but were not exposed via
supportedLatexSymbols.

Includes:

  • Turnstiles: \vdash, \dashv, \vDash, \Vdash, \Dashv
  • Pullback / pushout markers: \ulcorner, \urcorner, \llcorner, \lrcorner
  • Diagram arrows: \hookrightarrow, \twoheadrightarrow, \rightarrowtail,
    \leftrightarrows, \rightleftarrows

Example:

\begin{pmatrix}
P & \to & B \\
\downarrow & \ulcorner & \downarrow \\
A & \to & C
\end{pmatrix}

All changes are additive and limited to MTMathAtomFactory.

@mgriebling
Copy link
Owner

Sorry there are conflicts with this merge request. Can you please fix these?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants