Paul Eduard Koenig submitted the
FraGoLi
package.
Version: 1.0.0 2025-03-17 License: lppl1.3c
Summary description: Macros for constructing complex semantic derivations
Announcement text: ----------------------------------------------------------------------
This package brings together and refines a collection of LaTeX commands and concepts developed over the years within the department of linguistics at the Johann Wolfgang Goethe-Universität, 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. This package consolidates these resources into a cohesive system. Special thanks are due to Thomas Ede Zimmermann, Cécile Meier, Daniel Gutzmann, and Jan Köpping, whose files form the foundation of this package. Also thanks to Manuel Lipstein for his feedback.
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 package’s Catalogue entry can be viewed at https://ctan.org/pkg/fragoli
The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/fragoli/
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Petra Rübe-Pugliese
------------------------------------------------------------------------
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