How to Install and Uninstall texlive-esrelation.noarch Package on Fedora 38

Last updated: November 05,2024

1. Install "texlive-esrelation.noarch" package

Please follow the guidance below to install texlive-esrelation.noarch on Fedora 38

$ sudo dnf update $ sudo dnf install texlive-esrelation.noarch

2. Uninstall "texlive-esrelation.noarch" package

In this section, we are going to explain the necessary steps to uninstall texlive-esrelation.noarch on Fedora 38:

$ sudo dnf remove texlive-esrelation.noarch $ sudo dnf autoremove

3. Information about the texlive-esrelation.noarch package on Fedora 38

Last metadata expiration check: 3:03:21 ago on Sat Mar 16 22:59:57 2024.
Available Packages
Name : texlive-esrelation
Epoch : 10
Version : svn37236.0
Release : 65.fc38
Architecture : noarch
Size : 51 k
Source : texlive-2022-65.fc38.src.rpm
Repository : fedora
Summary : Provides a symbol set for describing relations between ordered pairs
URL : http://tug.org/texlive/
License : LPPL-1.3c
Description : Around 2008, researcher Byron Cook and several colleagues began
: developing a new set of interrelated algorithms capable of
: automatically reasoning about the behavior of computer programs
: and other systems (such as biological systems, circuit designs,
: etc). At the center of these algorithms were new ideas about
: the relationships between structures expressable as
: mathematical sets and relations. Using the language of
: mathematics and logic, the researchers communicated these new
: results to others in their community via published papers,
: research talks, etc. Unfortunately, they found the symbols
: already available for reasoning about relations lacking (in
: contrast to sets, which have a long-ago developed and robust
: symbol vocabulary). Early presentations were unnecessarily
: cluttered. To more elegantly express these ideas around
: relations, Cook recruited artist Tauba Auerbach to help develop
: a set of symbols. This package provides an math symbol font for
: describing relations between ordered pairs by using Metafont.