texlive-turnstile-2016.122.1.0svn15878-24.4.noarch.rpm


Advertisement

Description

texlive-turnstile - Typeset the (logic) turnstile notation

Property Value
Distribution openSUSE Leap 42.3
Repository openSUSE Oss all
Package name texlive-turnstile
Package version 2016.122.1.0svn15878
Package release 24.4
Package architecture noarch
Package type rpm
Installed size 8.97 KB
Download size 17.42 KB
Official Mirror ftp.gwdg.de
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.
date: 2015-08-03 03:43:12 +0000

Alternatives

Package Version Architecture Repository
texlive-turnstile - - -

Requires

Name Value
coreutils -
findutils -
grep -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
sed -
tex(ifthen.sty) -
texlive >= 2016

Provides

Name Value
tex(turnstile.sty) -
texlive-turnstile = 2016.122.1.0svn15878-24.4

Download

Type URL
Binary Package texlive-turnstile-2016.122.1.0svn15878-24.4.noarch.rpm
Source Package texlive-specs-x-2016-24.4.src.rpm

Install Howto

Install texlive-turnstile rpm package:

# zypper install texlive-turnstile

See Also

Package Description
texlive-turnstile-doc-2016.122.1.0svn15878-24.4.noarch.rpm Documentation for texlive-turnstile
texlive-turnthepage-2016.122.1.3asvn29803-24.4.noarch.rpm Provide "turn page" instructions
texlive-turnthepage-doc-2016.122.1.3asvn29803-24.4.noarch.rpm Documentation for texlive-turnthepage
texlive-twoinone-2016.122.svn17024-24.4.noarch.rpm Print two pages on a single page
texlive-twoinone-doc-2016.122.svn17024-24.4.noarch.rpm Documentation for texlive-twoinone
texlive-twoup-2016.122.1.3svn15878-24.4.noarch.rpm Print two virtual pages on each physical page
texlive-twoup-doc-2016.122.1.3svn15878-24.4.noarch.rpm Documentation for texlive-twoup
texlive-txfonts-2016.122.svn15878-24.4.noarch.rpm Times-like fonts in support of mathematics
texlive-txfonts-doc-2016.122.svn15878-24.4.noarch.rpm Documentation for texlive-txfonts
texlive-txfonts-fonts-2016.122.svn15878-24.4.noarch.rpm Severed fonts for texlive-txfonts
texlive-txfontsb-2016.122.1.1svn21578-24.4.noarch.rpm Extensions to txfonts, using GNU Freefont
texlive-txfontsb-doc-2016.122.1.1svn21578-24.4.noarch.rpm Documentation for texlive-txfontsb
texlive-txfontsb-fonts-2016.122.1.1svn21578-24.4.noarch.rpm Severed fonts for texlive-txfontsb
texlive-txgreeks-2016.122.1.0svn21839-24.4.noarch.rpm Shape selection for TX fonts Greek letters
texlive-txgreeks-doc-2016.122.1.0svn21839-24.4.noarch.rpm Documentation for texlive-txgreeks
Advertisement
Advertisement