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

Last updated: September 23,2024

1. Install "texlive-esrelation.noarch" package

Please follow the guidelines below to install texlive-esrelation.noarch on Fedora 34

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

2. Uninstall "texlive-esrelation.noarch" package

Please follow the step by step instructions below to uninstall texlive-esrelation.noarch on Fedora 34:

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

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

Last metadata expiration check: 1:10:21 ago on Tue Sep 6 02:10:55 2022.
Available Packages
Name : texlive-esrelation
Epoch : 9
Version : svn37236.0
Release : 39.fc34
Architecture : noarch
Size : 53 k
Source : texlive-2020-39.fc34.src.rpm
Repository : updates
Summary : Provides a symbol set for describing relations between ordered pairs
URL : http://tug.org/texlive/
License : LPPL 1.3
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.