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

Last metadata expiration check: 2:53:01 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : texlive-esrelation
Epoch : 9
Version : svn37236.0
Release : 55.fc36
Architecture : noarch
Size : 52 k
Source : texlive-2021-55.fc36.src.rpm
Repository : fedora
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.