FraGoLi – Macros for constructing complex semantic derivations

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. Formula-Style is losely 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-Universität 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”.

Download the contents of this package in one zip archive (624.1k).