How to Install and Uninstall texlive-turnstile Package on openSuSE Tumbleweed

Last updated: May 19,2024

1. Install "texlive-turnstile" package

This is a short guide on how to install texlive-turnstile on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-turnstile
            
                    
    
    Copied

2. Uninstall "texlive-turnstile" package

Learn how to uninstall texlive-turnstile on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-turnstile
            
                    
    
    Copied

3. Information about the texlive-turnstile package on openSuSE Tumbleweed

Information for package texlive-turnstile:
------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-turnstile
Version : 2023.209.1.0svn64967-53.2
Arch : noarch
Vendor : openSUSE
Installed Size : 9.0 KiB
Installed : No
Status : not installed
Source package : texlive-specs-x-2023-53.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Typeset the (logic) turnstile notation
Description :
Among other uses, the turnstile sign is used by logicians for
denoting a consequence relation, related to a given logic,
between a collection of formulas and a derived formula.