CTAN update: FraGoLi
* 1.2.2 * Add degree semantics support. * Add traces with spaces. * Add new commands for semantic lexicon entries. * Add typenestingstyle (credits to \textit{C\'{e}cile Meier}) * Add new pre defined lambda heads. * Add commands to change package settings mid document. * Add basic brackets command for \textit{cps} prevention and bold mode. * Add type shortcuts for fgls env. * Add formatting options for types, situations and direct/indirect superscripts. * Add lambda headers with quantifiers for fgls env. * Fix fglsem command with regard to line breaks. Adding varwidth dependency for that. * Fix some pre-defined lambda heads not beeing bold in bold mode. * Fix spacing on lambda heads with visible types in upper mode * Fix spacing on derivation steps
This package is located at https://mirrors.ctan.org/macros/latex/contrib/fragoli More information is at https://www.ctan.org/pkg/fragoli
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
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”.
| Package | FraGoLi |
| Version | 1.2.3 2025-06-11 |
| Copyright | 2025 Paul Eduard Koenig |
| Maintainer | Paul Eduard Koenig |