OpenMath

OpenMath is an extensible standard for representing the semantics of mathematical objects.

https://openmath.github.io

OpenMath Signatures

Type System: sts
Content Dictionary: ecc
CD Signature File: ecc.sts

official 
               
  Not done yet

type 


            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               omtype
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               symtype
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               integer
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               float
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               string
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               bytearray
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               prop
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               PiType
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               SigmaType
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               Lambda
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               Pair
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               PairProj1
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
                  
               

            

            


            

            

               PairProj2
            

            

            

               Content Dictionary Entry.
            

            

            

               

                  
                     
          [First:
          ]
        
          [Last:
          ]
        
      [Top]