Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-esrelation-76924-1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-esrelation Distribution: OpenMandriva Lx
Version: 76924 Vendor: OpenMandriva
Release: 1 Build date: Mon Jul 13 05:56:51 2026
Group: Publishing Build host: emag-4.openmandriva.org
Size: 0 Source RPM: texlive-esrelation-76924-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/fonts/esrelation
Summary: Provides a symbol set for describing relations between ordered pairs
 
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 expressible 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.

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/fonts
/usr/share/texmf-dist/doc/fonts/esrelation
/usr/share/texmf-dist/doc/fonts/esrelation/README
/usr/share/texmf-dist/doc/fonts/esrelation/README.md
/usr/share/texmf-dist/doc/fonts/esrelation/esrelation.pdf
/usr/share/texmf-dist/fonts
/usr/share/texmf-dist/fonts/map
/usr/share/texmf-dist/fonts/map/dvips
/usr/share/texmf-dist/fonts/map/dvips/esrelation
/usr/share/texmf-dist/fonts/map/dvips/esrelation/esrelation.map
/usr/share/texmf-dist/fonts/source
/usr/share/texmf-dist/fonts/source/public
/usr/share/texmf-dist/fonts/source/public/esrelation
/usr/share/texmf-dist/fonts/source/public/esrelation/esrelation.mf
/usr/share/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
/usr/share/texmf-dist/fonts/tfm
/usr/share/texmf-dist/fonts/tfm/public
/usr/share/texmf-dist/fonts/tfm/public/esrelation
/usr/share/texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm
/usr/share/texmf-dist/fonts/type1
/usr/share/texmf-dist/fonts/type1/public
/usr/share/texmf-dist/fonts/type1/public/esrelation
/usr/share/texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/fonts
/usr/share/texmf-dist/source/fonts/esrelation
/usr/share/texmf-dist/source/fonts/esrelation/esrelation.dtx
/usr/share/texmf-dist/source/fonts/esrelation/esrelation.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/esrelation
/usr/share/texmf-dist/tex/latex/esrelation/esrelation.sty
/usr/share/texmf-dist/tex/latex/esrelation/uesrelation.fd

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Aug 5 22:10:32 2026