https://github.com/dasld/simpleturnstile

Negated versions and smaller logical turnstiles in LaTeX.
https://github.com/dasld/simpleturnstile

academia latex logic math mathematics symbols turnstile typesetting university

Last synced: 20 days ago
JSON representation

Negated versions and smaller logical turnstiles in LaTeX.

• Host: GitHub
• URL: https://github.com/dasld/simpleturnstile
• Owner: dasld
• License: agpl-3.0
• Created: 2021-06-11T00:08:59.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-06-11T01:09:44.000Z (over 3 years ago)
• Last Synced: 2024-09-10T03:41:52.011Z (4 months ago)
• Topics: academia, latex, logic, math, mathematics, symbols, turnstile, typesetting, university
• Language: TeX
• Homepage:
• Size: 45.9 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE

Awesome Lists containing this project

README

        
###############

simpleturnstile

###############

Negated versions and smaller logical turnstiles in LaTeX.

----

This package provides five LaTeX macros that can be used instead of the more

verbose turnstile ones:

* ``\models[A][B]``

    One vertical bar and one horizontal one.

* ``\Models[A][B]``

    One vertical bar and two horizontal ones.

* ``\bimodels[A][B]``

    A horizontally mirrored version of ``\models`` followed by a regular ``\models``.

    They both form a single math relation (a symbol spaced with ``\mathrel``).

* ``\biModels[A][B]``

    A horizontally mirrored version of ``\Models`` followed by a regular ``\Models``.

    They both form a single math relation (a symbol spaced with ``\mathrel``).

* ``\notmodels[A][B]``

   Negated version of ``\models``: a slash crosses the vertical and horizontal bars.

* ``\notModels[A][B]``

   Negated version of ``\Models``: a slash crosses the vertical and horizontal bars.

In all macros, both arguments are optional and rendered as text (not math) in serif font.

``A`` is placed underneath the turnstile, and

``B`` above it.

All macros can be used both in text and math mode.

These turnstiles are all shorter than the ``turnstile`` ones and scale with the font size.

The LaTeX standard ``\models`` macro is still accessible as ``\oldm@dels``.