https://github.com/gfngfn/gfncmd

LaTeX packages useful for making LaTeX code more structurized
https://github.com/gfngfn/gfncmd

latex latex-package tex

Last synced: about 1 month ago
JSON representation

LaTeX packages useful for making LaTeX code more structurized

• Host: GitHub
• URL: https://github.com/gfngfn/gfncmd
• Owner: gfngfn
• Created: 2014-06-15T08:11:52.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2017-08-20T01:57:41.000Z (about 8 years ago)
• Last Synced: 2025-06-22T22:42:27.513Z (3 months ago)
• Topics: latex, latex-package, tex
• Language: TeX
• Homepage:
• Size: 2.55 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          


# `gfncmd.sty`

`gfncmd.sty` is a LaTeX package useful for making LaTeX codes more structurized and semantic

(yet its documentation is under construction).

# `gfnlf.sty`

`gfnlf.sty` is a LaTeX package for writing logical formulae in structurized syntax.

An example is here:

    \usepackage{amsmath}

    \usepackage{amssymb}

    \usepackage{gfncmd}

    \useRightarrowaslimpl

    \usepackage{gfnlf}

    \usesinglequantifier

      ...

    $\forallin{x|y|z}{P}{\lflimpl{\lfland{x \pord y}{y \pord z}}{x \pord z}}$

generates ∀x, y, z∈P (x ≦ y ∧ y ≦ z ⇒ x ≦ z) ,

where `\useRightarrowaslimpl` and `\usesinglequantifier` are notation options.

If you change options like

    \usepackage{amsmath}

    \usepackage{amssymb}

    \usepackage{gfncmd}

    \useinvertedCaslimpl

    \usepackage{gfnlf}

    \usedotpluralquantifier

    \makeleftparenmandatory{lflimpl}{lfland}

      ...

    $\forallin{x|y|z}{P}{\lflimpl{\lfland{x \pord y}{y \pord z}}{x \pord z}}$

then it generates ∀x∀y∀z∈P. ((x ≦ y ∧ y ≦ z) ⊃ x ≦ z).