CTAN update: FraGoLi
Release Notes FraGoLi \v 1.1.1: * Fix missing package dependency. * Fix text overline overriding uuline internal length. * Fix parentheses on lambda quantifier heads being bold in non bold mode. * Add lambdaheadstyle package option. * Add new fuction framework. * Add new logic commands. * Add new logic constants. * Add new relation constants. * Add new quantifier commands. * Extend set command.
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 Manfred Lotz 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.1.1 |
| Copyright | 2025 Paul Eduard Koenig |
| Maintainer | Paul Eduard Koenig |