Packages / openSUSE Leap 15.6 / Productivity/Publishing/TeX/Base / texlive-esrelation

[Source: texlive-specs-i]

Package: texlive-esrelation (2021.189.svn37236-150400.18.1)

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 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.

Other Packages Related to texlive-esrelation:

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [ed]

    A line-oriented text editor

  • dep: [findutils]

    The GNU versions of find utilities (find and xargs)

  • dep: [findutils]

    The GNU versions of find utilities (find and xargs)

  • dep: [findutils]

    The GNU versions of find utilities (find and xargs)

  • dep: [grep]

    Print lines matching a pattern

  • dep: [grep]

    Print lines matching a pattern

  • dep: [grep]

    Print lines matching a pattern

  • dep: [sed]

    A Stream-Oriented Non-Interactive Text Editor

  • dep: [sed]

    A Stream-Oriented Non-Interactive Text Editor

  • dep: [sed]

    A Stream-Oriented Non-Interactive Text Editor

  • dep: tex(updmap.cfg)

    Package not available

  • dep: tex(updmap.cfg)

    Package not available

  • dep: [texlive] (>= 2021)

    The TeXLive Formatting System

  • dep: [texlive] (>= 2021)

    The TeXLive Formatting System

  • dep: [texlive] (>= 2021)

    The TeXLive Formatting System

  • dep: [texlive-esrelation-fonts] (>= 2021)

    Severed fonts for texlive-esrelation

  • dep: [texlive-filesystem] (>= 2021)

    Basic file system of TeX Live

  • dep: [texlive-filesystem] (>= 2021)

    Basic file system of TeX Live

  • dep: [texlive-filesystem] (>= 2021)

    Basic file system of TeX Live

  • dep: [texlive-kpathsea] (>= 2021)

    Path searching library for TeX-related files

  • dep: [texlive-kpathsea-bin] (>= 2021)

    Binary files of kpathsea

  • dep: [texlive-scripts] (>= 2021)

    TeX Live infrastructure programs

  • dep: [texlive-scripts-bin] (>= 2021)

    Binary files of texlive-scripts

Download texlive-esrelation

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch30 KiB20 KiBlist of filesDownload

Package file paths (7)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/share/texmf/fonts/map/dvips/esrelation/esrelation.map
  • /usr/share/texmf/fonts/source/public/esrelation/esrelation10.mf
  • /usr/share/texmf/fonts/source/public/esrelation/esrelation.mf
  • /usr/share/texmf/fonts/tfm/public/esrelation/esrelation10.tfm
  • /usr/share/texmf/fonts/type1/public/esrelation/esrelation10.pfb
  • /usr/share/texmf/tex/latex/esrelation/esrelation.sty
  • /usr/share/texmf/tex/latex/esrelation/uesrelation.fd

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 15.6 in the browserBuild an image that includes texlive-esrelation

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2021.189.svn37236-150400.18.1leap-15.6 / ossnoarchopenSUSE Leap 15.6 · OSS · multi-architecture30 KiB20 KiBnoarch/texlive-esrelation-2021.189.svn37236-150400.18.1.noarch.rpm

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Checksums and observation dates

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2021.189.svn37236-150400.18.1 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 270367881ff8287cd77b9c0d48f8055a0ca72da20955978ba755503c991e5484ee6b6b4839893a4fb5462250dabbf9e5639afda014760d3370bad9d127d3e646

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Sources and provenance

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • openSUSE Leap 15.6 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified