How To Install texlive-semantic on Fedora 36

In this tutorial we learn how to install texlive-semantic in Fedora 36. texlive-semantic is Help for writing programming language semantics

Introduction

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

What is texlive-semantic

Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.

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

Install texlive-semantic 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-semantic using dnf by running the following command:

sudo dnf -y install texlive-semantic

Install texlive-semantic 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-semantic using yum by running the following command:

sudo yum -y install texlive-semantic

How To Uninstall texlive-semantic on Fedora 36

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

sudo dnf remove texlive-semantic

texlive-semantic Package Contents on Fedora 36

/usr/share/licenses/texlive-semantic
/usr/share/licenses/texlive-semantic/lppl1.txt
/usr/share/texlive/texmf-dist/tex/latex/semantic
/usr/share/texlive/texmf-dist/tex/latex/semantic/infernce.sty
/usr/share/texlive/texmf-dist/tex/latex/semantic/ligature.sty
/usr/share/texlive/texmf-dist/tex/latex/semantic/reserved.sty
/usr/share/texlive/texmf-dist/tex/latex/semantic/semantic.sty
/usr/share/texlive/texmf-dist/tex/latex/semantic/shrthand.sty
/usr/share/texlive/texmf-dist/tex/latex/semantic/tdiagram.sty

References

Summary

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