How To Install texlive-semantic on Fedora 36
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/).