FraGoLi v. 1.1.1 y 2025

Collection of LaTeX commands used by the institute of linguistics - Goethe University Frankfurt

The package is mainly designed to provide a minimal and user-friendly syntax for constructing large and complex semantic derivations. Formula-Style is losely based on the accompanying material to an introductory course to linguistic semantics by Thomas Ede Zimmermann.

Description

The primary goal of this package is to provide short and easy to read macros for 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.

Dependencies

• {LaTeX2ε}1994/06/01
• {xparse, xcolor, stmaryrd, enumitem, nicefrac, bm, amsmath, amssymb, xstring, expl3, pdftexcmds, etoolbox, kvoptions, comment, ulem}

Authors

ex. Paul Eduard Koenig

Version History

• 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.
• 1.0.0
  • Initial Release

License

This program can be redistributed and/or modified under the terms of the LaTeX Project Public License Distributed from CTAN archives in directory macros/latex/base/lppl.txt.