texlive-turnstile-svn15878.1.0-33.fc26.2.noarch.rpm


Advertisement

Description

texlive-turnstile - Typeset the (logic) turnstile notation

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name texlive-turnstile
Package version svn15878.1.0
Package release 33.fc26.2
Package architecture noarch
Package type rpm
Installed size 8.97 KB
Download size 34.13 KB
Official Mirror archives.fedoraproject.org
Among other uses, the turnstile sign is used by logicians for
denoting a consequence relation, related to a given logic,
between a collection of formulas and a derived formula.

Alternatives

Package Version Architecture Repository
texlive-turnstile-svn15878.1.0-33.fc26.2.noarch.rpm svn15878.1.0 noarch Fedora
texlive-turnstile - - -

Requires

Name Value
tex(ifthen.sty) -
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -

Provides

Name Value
tex(turnstile.sty) = 2016
tex-turnstile = 2016
texlive-turnstile = svn15878.1.0-33.fc26.2

Download

Type URL
Binary Package texlive-turnstile-svn15878.1.0-33.fc26.2.noarch.rpm
Source Package texlive-2016-33.20160520.fc26.1.src.rpm

Install Howto

Install the texlive-turnstile rpm package:

# dnf install texlive-turnstile

Files

Path
/usr/share/licenses/texlive-turnstile/lppl1.txt
/usr/share/texlive/texmf-dist/tex/latex/turnstile/turnstile.sty

Changelog

See texlive-2016-33.20160520.fc26.1.i686.rpm changelog.

See Also

Package Description
texlive-turnthepage-doc-svn29803.1.3a-33.fc26.2.noarch.rpm Documentation for turnthepage
texlive-turnthepage-svn29803.1.3a-33.fc26.2.noarch.rpm Provide "turn page" instructions
texlive-twoinone-doc-svn17024.0-33.fc26.2.noarch.rpm Documentation for twoinone
texlive-twoinone-svn17024.0-33.fc26.2.noarch.rpm Print two pages on a single page
texlive-twoup-doc-svn15878.1.3-33.fc26.2.noarch.rpm Documentation for twoup
texlive-twoup-svn15878.1.3-33.fc26.2.noarch.rpm Print two virtual pages on each physical page
texlive-txfonts-doc-svn15878.0-33.fc26.2.noarch.rpm Documentation for txfonts
texlive-txfonts-svn15878.0-33.fc26.2.noarch.rpm Times-like fonts in support of mathematics
texlive-txfontsb-doc-svn21578.1.1-33.fc26.2.noarch.rpm Documentation for txfontsb
texlive-txfontsb-svn21578.1.1-33.fc26.2.noarch.rpm Extensions to txfonts, using GNU Freefont
texlive-txgreeks-doc-svn21839.1.0-33.fc26.2.noarch.rpm Documentation for txgreeks
texlive-txgreeks-svn21839.1.0-33.fc26.2.noarch.rpm Shape selection for TX fonts Greek letters
texlive-type1cm-doc-svn21820.0-33.fc26.2.noarch.rpm Documentation for type1cm
texlive-type1cm-svn21820.0-33.fc26.2.noarch.rpm Arbitrary size font selection in LaTeX
texlive-typed-checklist-doc-svn40389-33.fc26.2.noarch.rpm doc files of typed-checklist
Advertisement
Advertisement