Macros for constructing complex semantic derivations
Description
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".
