The primary goal of this package is to provide a minimal and
user-friendly syntax for constructing large and complex
semantic derivations, following the specific notational style
used at Goethe University Frankfurt. It includes a
comprehensive set of commands for text formatting and various
types of bracketing, ensuring a consistent style --
particularly when distinguishing between meta-language and
object-language within a single derivation or formula. The
formula style is loosely based on the accompanying material to
an introductory course to linguistic semantics by Prof. Dr.
Thomas Ede Zimmermann. The package brings together and refines
a collection of LaTeX commands and concepts developed over the
years within the Department of Linguistics at the
Goethe-Universitat at Frankfurt am Main. In the process of
preparing research papers, assignments, and examinations,
numerous custom LaTeX headers and commands were shared within
the department -- some mutually compatible, others not. Note:
The package name is an abbreviation of "Frankfurt Goethe
Linguistic".

Homepage:
https://ctan.org/pkg/fragoli
