How to Install and Uninstall texlive-esrelation Package on openSUSE Leap

Last updated: January 11,2025

1. Install "texlive-esrelation" package

Please follow the guidance below to install texlive-esrelation on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-esrelation
            
                    
    
    Copied

2. Uninstall "texlive-esrelation" package

This is a short guide on how to uninstall texlive-esrelation on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-esrelation
            
                    
    
    Copied

3. Information about the texlive-esrelation package on openSUSE Leap

Information for package texlive-esrelation:
-------------------------------------------
Repository : Main Repository
Name : texlive-esrelation
Version : 2021.189.svn37236-150400.18.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 20.3 KiB
Installed : No
Status : not installed
Source package : texlive-specs-i-2021-150400.18.1.src
Upstream URL : http://www.tug.org/texlive/
Summary : Provides a symbol set for describing relations between ordered pairs
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.