| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-turnstile | Distribution: OpenMandriva Lx |
| Version: 1.0 | Vendor: OpenMandriva |
| Release: 79618.1 | Build date: Mon Jul 13 12:04:49 2026 |
| Group: Publishing | Build host: emag-2.openmandriva.org |
| Size: 0 | Source RPM: texlive-turnstile-1.0-79618.1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/turnstile | |
| Summary: Typeset the (logic) turnstile notation | |
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.
lppl1.2
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/turnstile /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 /usr/share/texmf-dist/source/latex /usr/share/texmf-dist/source/latex/turnstile /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 /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/turnstile /usr/share/texmf-dist/tex/latex/turnstile/turnstile.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Sep 8 22:20:35 2026