texlive-turnstile-1.0-10-omv2015.0.noarch.rpm


Advertisement

Description

texlive-turnstile - Typeset the (logic) turnstile notation

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release x86_64
Package name texlive-turnstile
Package version 1.0
Package release 10-omv2015.0
Package architecture noarch
Package type rpm
Installed size 740.66 KB
Download size 594.89 KB
Official Mirror abf-downloads.openmandriva.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-1.0-10-omv2015.0.noarch.rpm 1.0 noarch OpenMandriva Main Release
texlive-turnstile - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-turnstile == 1.0-10:2015.0

Download

Type URL
Binary Package texlive-turnstile-1.0-10-omv2015.0.noarch.rpm
Source Package texlive-turnstile-1.0-10.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-turnstile rpm package:
    # urpmi 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-11-omv2015.0.noarch.rpm Provide "turn page" instructions
texlive-twoinone-20100226-10-omv2015.0.noarch.rpm Print two pages on a single page
texlive-twoup-1.3-10-omv2015.0.noarch.rpm Print two virtual pages on each physical page
texlive-txfonts-20090115-10-omv2015.0.noarch.rpm Times-like fonts in support of mathematics
texlive-txfontsb-1.1-10-omv2015.0.noarch.rpm Extensions to txfonts, using GNU Freefont
texlive-txgreeks-1.0-10-omv2015.0.noarch.rpm Shape selection for TX fonts Greek letters
texlive-type1cm-20110324-10-omv2015.0.noarch.rpm Arbitrary size font selection in LaTeX
texlive-typeface-0.1-9-omv2015.0.noarch.rpm Select a balanced set of fonts
texlive-typehtml-20100223-10-omv2015.0.noarch.rpm Typeset HTML directly from LaTeX
texlive-typeoutfileinfo-0.31-10-omv2015.0.noarch.rpm Display class/package/file information
texlive-typogrid-0.21-9-omv2015.0.noarch.rpm Print a typographic grid
texlive-uaclasses-20090105-10-omv2015.0.noarch.rpm University of Arizona thesis and dissertation format
texlive-uadocs-1.1-9-omv2015.0.noarch.rpm Course texts and masters theses in University of Antwerp style
texlive-uafthesis-12.12-9-omv2015.0.noarch.rpm Document class for theses at University of Alaska Fairbanks
texlive-ucbthesis-20140621-4-omv2015.0.noarch.rpm TeXLive ucbthesis package
Advertisement
Advertisement