How To Install texlive-turnstile on Fedora 36

In this tutorial we learn how to install texlive-turnstile in Fedora 36. texlive-turnstile is Typeset the (logic) turnstile notation

Introduction

In this tutorial we learn how to install texlive-turnstile on Fedora 36.

What is texlive-turnstile

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.

We can use yum or dnf to install texlive-turnstile on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-turnstile.

Install texlive-turnstile on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install texlive-turnstile using dnf by running the following command:

sudo dnf -y install texlive-turnstile

Install texlive-turnstile on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install texlive-turnstile using yum by running the following command:

sudo yum -y install texlive-turnstile

How To Uninstall texlive-turnstile on Fedora 36

To uninstall only the texlive-turnstile package we can use the following command:

sudo dnf remove texlive-turnstile

texlive-turnstile Package Contents on Fedora 36

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

References

Summary

In this tutorial we learn how to install texlive-turnstile on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).