texlive-turnstile-1.0-11-omv4000.noarch.rpm


Advertisement

Description

texlive-turnstile - Typeset the (logic) turnstile notation

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Main Release i586
Package filename texlive-turnstile-1.0-11-omv4000.noarch.rpm
Package name texlive-turnstile
Package version 1.0
Package release 11-omv4000
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/turnstile
License LPPL
Maintainer -
Download size 599.76 KB
Installed size 740.66 KB
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-1.0-11-omv4000.noarch.rpm 1.0 noarch OpenMandriva Main Release
texlive-turnstile - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-turnstile = 1.0-11

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-turnstile-1.0-11-omv4000.noarch.rpm
Source Package texlive-turnstile-1.0-11.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install texlive-turnstile rpm package:
    # dnf install texlive-turnstile

Files

Path
/usr/share/texmf-dist/doc/latex/turnstile/README
/usr/share/texmf-dist/doc/latex/turnstile/README.en
/usr/share/texmf-dist/doc/latex/turnstile/README.pt
/usr/share/texmf-dist/doc/latex/turnstile/turnstile-en.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile-pt.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_article.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_article.tex
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_artigo.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_artigo.tex
/usr/share/texmf-dist/source/latex/turnstile/turnstile-en.dtx
/usr/share/texmf-dist/source/latex/turnstile/turnstile-en.ins
/usr/share/texmf-dist/source/latex/turnstile/turnstile-pt.dtx
/usr/share/texmf-dist/source/latex/turnstile/turnstile-pt.ins
/usr/share/texmf-dist/tex/latex/turnstile/turnstile.sty

See Also

Package Description
texlive-turnthepage-1.3a-13-omv4000.noarch.rpm Provide "turn page" instructions
texlive-twoinone-20180303-2-omv4000.noarch.rpm Print two pages on a single page
texlive-twoup-1.3-11-omv4000.noarch.rpm Print two virtual pages on each physical page
texlive-txfonts-20190228-1-omv4000.noarch.rpm Times-like fonts in support of mathematics
texlive-txfontsb-1.1-11-omv4000.noarch.rpm Extensions to txfonts, using GNU Freefont
texlive-txgreeks-1.0-12-omv4000.noarch.rpm Shape selection for TX fonts Greek letters
texlive-type1cm-20190228-1-omv4000.noarch.rpm Arbitrary size font selection in LaTeX
texlive-typeface-0.1-11-omv4000.noarch.rpm Select a balanced set of fonts
texlive-typehtml-20190228-1-omv4000.noarch.rpm Typeset HTML directly from LaTeX
texlive-typeoutfileinfo-0.31-11-omv4000.noarch.rpm Display class/package/file information
texlive-typogrid-0.21-11-omv4000.noarch.rpm Print a typographic grid
texlive-uaclasses-20190228-1-omv4000.noarch.rpm University of Arizona thesis and dissertation format
texlive-uadocs-1.1-10-omv4000.noarch.rpm Course texts and masters theses in University of Antwerp style
texlive-uafthesis-12.12-10-omv4000.noarch.rpm Document class for theses at University of Alaska Fairbanks
texlive-ucbthesis-3.5-2-omv4000.noarch.rpm TeXLive ucbthesis package
Advertisement
Advertisement