Skip to content

Instantly share code, notes, and snippets.

@lambdabetaeta

lambdabetaeta/fitch.sty

Created February 3, 2023 00:37
Show Gist options
  • Save lambdabetaeta/984eae985b68d37c94061dac730f9736 to your computer and use it in GitHub Desktop.
Save lambdabetaeta/984eae985b68d37c94061dac730f9736 to your computer and use it in GitHub Desktop.
Download ZIP
Macros for typesetting Fitch-style lambda calculi
Raw
fitch.sty
\RequiresPackage{lambda}
\NewDocumentCommand{\Lock}{}{\text{\faLock}}
\NewDocumentCommand{\LockCx}{m}{#1, \Lock}
\NewDocumentCommand{\MkBox}{m}{\Tm{\mathsf{box}\DelimPrn{#1}}}
\NewDocumentCommand{\UnBox}{m}{\Tm{\mathsf{unbox}\DelimPrn{#1}}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment