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. 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-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 |