OpenMath Symbols

A combined list of all 1600 symbols defined in this Content Dictionary collection.

Symbol	Description
setname2/ A	This symbol represents the set of algebraic numbers.
hypergeon1/ a_hypergeomeric	A-hypergeometric series reference: authors: "Saito, Sturmfels, Takayama" title: "Grobner Deformations of Hypergeometric Differential Equations" pages: 127
algebraic_cats/ Abelian_group	This symbol is the constructor for Abelian groups, that is a group such that the operation is commutative between members of the group. The Abelian_group constructor takes four arguments, the set of the Abelian group, a binary function taking two elements of the set into itself to represent the operation of the Abelian group, an element of the set to represent the identity of the Abelian group and a unary function taking the set into itself to specify inverse elements.
generic_alg_cats/ Abelian_group	This Symbol represents the generic category of Abelian group.
algebraic_cats/ Abelian_group_identity	This symbol takes one argument which should be an Abelian group. It returns the identity of the Abelian group.
algebraic_cats/ Abelian_group_inverse	This symbol takes one argument which should be an Abelian group. It reurns a unary function, which should be the inverse function for the Abelian group.
algebraic_cats/ Abelian_group_operation	This symbol takes one argument which should be an Abelian group. It returns a binary function, which represents the operation of the Abelian group.
algebraic_cats/ Abelian_group_set	This symbol takes one argument which should be an Abelian group. It returns the set of the Abelian group.
algebraic_cats/ Abelian_monoid	This is the constructor for Abelian monoids. An Abelian monoid is a monoid, such that the operation is commutative between members of the Abelian monoid. The Abelian_monoid constructor takes three arguments, the set of the Abelian monoid, a binary function taking two elements of the set into itself to represent the operation of the Abelian monoid and an element of the set to represent the identity of the Abelian monoid.
generic_alg_cats/ Abelian_monoid	This Symbol represents the generic category of Abelian monoid.
algebraic_cats/ Abelian_monoid_identity	This symbol takes one argument which should be an Abelian monoid, it returns the identity of the Abelian monoid.
algebraic_cats/ Abelian_monoid_operation	This symbol takes one argument which should be an Abelian monoid, it returns the operation of the Abelian monoid.
algebraic_cats/ Abelian_monoid_set	This symbol takes one argument which should be an Abelian monoid, it returns the set of the Abelian monoid.
algebraic_cats/ Abelian_semigroup	This symbol is the constructor for an Abelian semigroup, that is a semigroup which has an operator which is commutative over the set of the semigroup. The Abelian semigroup constructor takes two arguments, the set of the Abelian semigroup and a binary function which represents the operation of the Abelian semigroup.
generic_alg_cats/ Abelian_semigroup	This Symbol represents the generic category of Abelian semigroup.
algebraic_cats/ Abelian_semigroup_operation	This symbol takes one argument which should be an Abelian semigroup. It returns a binary function, which should represent the operation of the Abelian semigroup.
algebraic_cats/ Abelian_semigroup_set	This symbol takes one argument which should be an Abelian semigroup. It returns a set, which should be the set of the Abelian semigroup.
limit1/ above	This symbol is used within a limit construct to show the limit is being approached from above. It takes no arguments.
arith1/ abs	A unary operator which represents the absolute value of its argument. The argument should be numerically valued. In the complex case this is often referred to as the modulus.
test-x/ abs	A unary operator which represents the absolute value of its argument. The argument should be numerically valued. In the complex case this is often referred to as the modulus.
numerical1/ absolute_error_bound	This symbol marks an estimated upper bound for the absolute error ( \|true-computed\| ) on a computation.
numerical1/ absolute_error_requested	This symbol marks a requirement for the absolute error ( \|true-computed\| ) on a computation.
physical_consts1/ absolute_zero	This symbol represents the absolute zero of temperature, synonymous with the object of that temperature having zero latent heat.
SI_DerivedQuantities1/ absorbed-dose	This symbol represents the physical quantity of absorbed dose of ionizing radiation. A variable representing an arbitrary quantity of absorbed dose is commonly represented with the italic, upper case letter, "D".
dimensions1/ acceleration	This symbol represents the acceleration physical dimension. It is the second derivative of distance with respect to time.
units_imperial1/ acre	This symbol represents the measure of one acre. This is a standard imperial measure for area.
units_us1/ acre_us_survey	This symbol represents the measure of one U.S. Survey acre.
weylalgebra1/ act	action of a differential operator to a function.
weylalgebra1/ act_of_poly	action of a polynomial as a differential operator to a function. act_of_poly is equivalent to the composition of act and diffop.
permutation1/ action	This symbols is a binary function whose first argument is a permutation (or a endomap) and whose second argument is a point. When applied to permutation or endomap p and point x, it represents the image of the point x under the permutation p.
field1/ addition	This symbols represents a unary function, whose argument should be a field. It returns the addition map on the field. We allow for the map to be n-ary.
ring1/ addition	This symbols represents a unary function, whose argument should be a ring. It returns the addition on the ring. We will allow for the map to be n-ary.
field1/ additive_group	This symbol is a unary function, whose argument should be a field S. When applied to S its value is the monoid underlying S.
ring1/ additive_group	This symbol is a unary function, whose argument should be a ring S. When applied to S its value is the monoid underlying S.
plangeo4/ affine_coordinates	This function yields the affine coordinates vector if applied to a point or line with coordinates in the affine plane.
aggregate_cats/ aggregateType	This symbol represents a generic type for aggregates (or collections of objects.
airy/ Ai	The symbol Ai defines the unary Airy Ai function; as in Abramovitz & Stegun equation 10.4.1. This is a solution to the equation: $$w^{\prime\prime}-x*w=0$$ It is linearly independent to the Airy Bi function represented by the Bi symbol in this Content Dictionary and is specifically given by: $$Ai(x)=Ai(0)~f(z)-(-Ai^\prime (0))~g(z)$$ where: $$f(z)=\sum_{k=0}^\infty 3^k{\left (\frac{1}{3}\right )}_k \frac{z^{3k}}{(3k)!}$$ and: $$g(z)=\sum_{k=0}^\infty 3^k{\left (\frac{2}{3}\right )}_k \frac{z^{3k+1}}{(3k+1)!}$$
airy/ Ai2	The symbol Ai2 takes two arguments, it represents derivatives of the Airy Ai function. The symbol Ai2(n,z) represents the n'th derivative of Ai(z).
hypergeo2/ airyAi	The first Airy function. This function is one of the famous two solutions of the Airy differential equation, and converges to 0 when z->\infty
hypergeo2/ airyBi	The second Airy function. This function is the another one of the famous two solutions of the Airy differential equation, and diverges when z->\infty
order1/ algebraic_integer	This is a binary function. The first argument is an order O. The second argument should be a list L of elements of the Dedekind ring R, such that O is an order over the polynomial ring of R (cf. order). The length of L should be equal to the degree n of the polynomial generating the order O. When applied to O and L, it represents the element L[0] + L[1] b + L[2] b^2 + ... + L[n-1] b^(n-1) of O, where b stands for a primitive element of O.
order1/ algebraic_number	This is a binary function. The first argument is a number field F. The second argument should be a list L of elements of Q in case of an absolute number field F. Otherwise the second argument is a list L of elements of the number field whose ring of integers is the ring R over which F is defined (cf. number_field). The length of the list L should be equal to the degree n of F. When applied to F and L, it represents the element L[0] + L[1] b + L[2] b^2 + ... + L[n-1] ^(b-1) of F, where b stands for a primitive element of F.
interval_types/ algebraicIntervalType	This symbol represents the type of algebraic intervals.
moreerrors/ algorithm	This symbol represents the error which is returned when an application raises an error due to algorithmic restrictions of the implementations. This includes operations not implemented or partially implemented, divisions by zero and other domain errors. It will have at least one argument, which is a string describing the problem. It may have a second argument which is relevant to the error.
patterns/ all_of	This symbol represents a pattern constructor for matching the conjunction of one or more patterns. The operator is most useful for reusing multiple existing patterns.
mathmlkeys/ alternate-representation	This key specifies that the corresponding value is an alternate representation of the annotated element in some unspecified way.
group3/ alternating_group	This symbol is a function with one argument, which should be a set X. When applied to a set X it represents the group of all even permutations on X .
permgp2/ alternating_group	This symbol represents a unary function. Its argument is either a positive integer or a set. When evaluated on a set, it represents the permutation group of all even permutations of that set. When evaluated on a positive integer n, it represents the permutation group of all even permutations of the set {1,..., n}.
group3/ alternatingn	This symbol is a function with one argument, which should be a natural number n. When applied to n it represents the group of all even permutations on the set {1,2, ...,n}.
plangeo3/ altitude	Given a point p and a line L, this defines the segment starting at p and ending in the unique point of L closest to p.
polyd1/ ambient_ring	This is a unary function, whose argument should be a DMP f. When applied to f, it represents the first argument of f, that is, ring of the form poly_ring_d(...) used to define f.
SI_BaseQuantities/ amount-of-substance	This symbol represents the SI base quantity of amount of substance. It has the short symbol form, "N".
units_metric1/ amp	This symbol represents the measure of one amp. This is the standard SI measure for current.
SI_BaseUnits1/ ampere	This symbol represents the measure of one ampere, the standard SI unit of measure for quantities of electric current. It has the short symbol form, "A", in upright roman font.
logic1/ and	This symbol represents the logical and function which is an n-ary function taking boolean arguments and returning a boolean value. It is true if all arguments are true or false otherwise.
plangeo3/ angle	Angle of a corner, always measured in positive (anti-clockwise) direction.
SI_DerivedQuantities1/ angle	This symbol represents the quantity of a geometric planar angle. A variable representing an arbitrary quantity of angle is commonly represented with the italic, lower case greek variable, e.g., "\theta;".
polyd/ anonymous	Indicates a variable that we do not want to name
polyd1/ anonymous	Indicates a variable that we do not want to name
linalg5/ anti-Hermitian	This symbol represents an anti-Hermitian matrix, it takes one argument. The argument should be a vector of vectors of values which determine the upper triangle of the matrix. The lower triangle of the matrix is specified by the following relation: - M^* = transpose(M), were M^* denotes the matrix consisting of all the complex conjugates of M. This rules implies that the main diagonal is zero, therefore the argument should not include it.
linalgsym1/ anti_Hermitian	This symbol represents an anti-Hermitian matrix, it takes one argument. The argument should be a vector of vectors of values which determine the upper triangle of the matrix. The lower triangle of the matrix is specified by the following relation: - M^* = transpose(M), were M^* denotes the matrix consisting of all the complex conjugates of M. These rules imply that the main diagonal is zero, therefore the argument should not include it.
relation0/ antisymmetric	Proposition; the type of antisymmetric binary relations.
patterns/ any	This symbol represents a wild card for matching any expression.
patterns/ any_of	This symbol represents a pattern constructor for matching the disjunction of the given arguments.
hypergeon2/ appel_F1	Appell's hypergeometric series F_1 reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages: 14
hypergeon2/ appel_F2	Appell's hypergeometric series F_2 reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages: 14
hypergeon2/ appel_F3	Appell's hypergeometric series F_3 reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages: 14
hypergeon2/ appel_F4	Appell's hypergeometric series F_4 reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages: 14
list2/ append	The operation of joining one list to another
list3/ append	This symbol represents a function with two arguments, the first of which should be a list. When applied to A and b, it represents the list obtained from A by appending the element b to it.
fns2/ apply_to_list	This symbol is used to denote the repeated application of an n-ary function on the elements of a given list. For example when used with plus or times this can represent sums and products. The symbol takes two arguments; the first of which is the n-ary function, the second a list.
relation1/ approx	This symbol is used to denote the approximate equality of its two arguments.
relation2/ approx	This symbol is used to denote the approximate equality of its two arguments.
plangeo3/ arc	an arc of a circle M from A to B is the set of points of M that are encountered when traversing the circle clockwise from A to B.
transc1/ arccos	This symbol represents the arccos function. This is the inverse of the cos function as described in Abramowitz and Stegun, section 4.4. It takes one argument.
transc3/ arccos	This symbol represents the arccos function. This is the multivalued inverse of the cos function.
transc1/ arccosh	This symbol represents the arccosh function as described in Abramowitz and Stegun, section 4.6.
transc3/ arccosh	This symbol represents the Arccosh function as described in Abramowitz and Stegun, section 4.6.
transc1/ arccot	This symbol represents the arccot function as described in Abramowitz and Stegun, section 4.4.
transc3/ arccot	This symbol represents the multi-valued arccot function as the inverse of cot
transc1/ arccoth	This symbol represents the arccoth function as described in Abramowitz and Stegun, section 4.6.
transc3/ arccoth	This symbol represents the Arccoth function as described in Abramowitz and Stegun, section 4.6.
transc1/ arccsc	This symbol represents the arccsc function as described in Abramowitz and Stegun, section 4.4.
transc3/ arccsc	This symbol represents the multivalued arccsc function as the inverse of csc.
transc1/ arccsch	This symbol represents the arccsch function as described in Abramowitz and Stegun, section 4.6.
transc3/ arccsch	This symbol represents the Arccsch function as described in Abramowitz and Stegun, section 4.6.
transc1/ arcsec	This symbol represents the arcsec function as described in Abramowitz and Stegun, section 4.4.
transc3/ arcsec	This symbol represents the multivalued arcsec function as the inverse of sec.
transc1/ arcsech	This symbol represents the arcsech function as described in Abramowitz and Stegun, section 4.6.
transc3/ arcsech	This symbol represents the Arcsech function as described in Abramowitz and Stegun, section 4.6.
transc1/ arcsin	This symbol represents the arcsin function. This is the inverse of the sin function as described in Abramowitz and Stegun, section 4.4. It takes one argument.
transc3/ arcsin	This symbol represents the arcsin function. This is the multi-valued inverse of the sin function as described in Abramowitz and Stegun, section 4.4. It takes one argument.
transc1/ arcsinh	This symbol represents the arcsinh function as described in Abramowitz and Stegun, section 4.6.
transc3/ arcsinh	This symbol represents the Arcsinh function as described in Abramowitz and Stegun, section 4.6.
transc1/ arctan	This symbol represents the arctan function. This is the inverse of the tan function as described in Abramowitz and Stegun, section 4.4. It takes one argument.
transc2/ arctan	This symbol represents the two-argument arctan function as in Fortran's ATAN2. arctan(x,y) is a value of arctan(y/x). For real x,y arctan(x,y) is positive when y is positive, negative when y is negative. If y is zero, the result is 0 if x is positive, and $\pi$ if x is negative. If x is zero, the result has absolute value $\pi/2$.
transc3/ arctan	This symbol represents the arctan function. This is the multi-valued inverse of the tan function.
transc1/ arctanh	This symbol represents the arctanh function as described in Abramowitz and Stegun, section 4.6.
transc3/ arctanh	This symbol represents the Arctanh function as described in Abramowitz and Stegun, section 4.6.
group4/ are_conjugate	This symbol represents a boolean ternary function whose first argument is a group G and whose second and third arguments are elements x and y of G. Its value on G, x, and y is true if and only if x and y are conjugate in G.
permutation1/ are_distinct	This symbol is an n-ary boolean function. When applied to a_1, ..., a_n, it is true if and only if the arguments are mutually distinct (that is, a_i and a_j are equal only if i=j).
permutation1/ are_distinct	This symbol is an n-ary boolean function. When applied to a_1, ..., a_n, it is true if and only if the arguments are mutually distinct (that is, a_i and a_j are equal only if i=j).
plangeo3/ are_on_circle	The statement that a set of points is on one circle.
plangeo6/ are_on_conic	The symbol is a boolean n-ary function. Its arguments should be points. When applied to a sequence of points, its evaluated to true if and only if there is a conic on which all arguments lie.
plangeo1/ are_on_line	The statement that a set of points is collinear.
ThreeDgeo2/ are_on_line	The symbol is a boolean n-ary function. Its arguments should be points. When applied to a sequence of points in 3-dimensional Euclidean space, its evaluated to true if and only if there is a line on which all arguments lie.
ThreeDgeo2/ are_on_plane	The symbol is a boolean n-ary function. Its arguments should be points. When applied to a sequence of points in 3-dimensional Euclidean space, its evaluated to true if and only if there is a plane on which all arguments lie.
dimensions1/ area	This symbol represents the area physical dimension.
SI_DerivedQuantities1/ area	This symbol represents the physical quantity of area.
complex1/ argument	This symbol represents the unary function which returns the argument of a complex number, viz. the angle which a straight line drawn from the number to zero makes with the Real line (measured anti-clockwise). The argument to the symbol is the complex number whos argument is being taken.
patterns/ argument	This symbol represents a pattern constructor for the order-independent matching of multiple function arguments.
graph1/ arrowset	This symbol represents the set of arrows of a directed graph. It takes one argument, the directed graph.
plangeo1/ assertion	The symbol is a constructor with two arguments. Its first argument should be a configuration, its second argument a statement about the configuration, called thesis. When applied to a configuration C and a thesis T, the OpenMath object assertion(C,T) expresses the assertion that T holds in C.
ThreeDgeo3/ assertion	The symbol is a constructor with two arguments. Its first argument is a 3-dimensional Euclidean geometry configuration, its second argument a statement about the configuration, called thesis. When applied to a configuration C and a thesis T, the OpenMath object assertion(C,T) expresses the assertion that T holds in C.
fns4/ assign_to	This symbol denotes a function with a even and positive number of arguments. When applied to a_1,b_1,....a_n,b_n, it represents the assignment of b_i to a_i for each index i=1,...,n. It can be used to specify the behaviour of a function f, by giving the images b_i of a_i under f.
prog1/ assignment	This symbol is used to assign values to variables. The syntax is assignment(variable, value), where variable is the encoding of an OpenMath variable (OMV) and value is an OpenMath object.
semigroup/ associative	The type of associative binary operation.
SIUsed_OffSystemMeasuredUnits1/ astronomical-unit	This symbol represents the measure of one astronomical unit of distance. It has the short symbol form, "ua". It is the mean distance between the sun and the earth. Its measured value is 1 ua = 1.49597870691(6) * 10^11 m [DRAFT INTERNATIONAL STANDARD ISO/DIS 80000-1, International Organization for Standardization, 2008]
asymp1/ asymptotic	The asymptotic symbol represents a binary relation between two functions of type reals to reals. The asymptotic relation between two functions returns true if the two functions have the same rate of growth and more precisely there ratio approaches 1 as the variable approaches infinity. Formally we say that f(x) is asymptotic to g(x) if and only if the limit as x tends to infinity of f(x)/g(x) = 1.
moreerrors/ asynchronousError	This symbol represents the error which is returned when an application encounters some asynchronous error, for example if a limit in memory has been reached, or an error has occurred in some system call (I/O error, disk full, machine down). It should have one argument, which is a string describing the problem.
units_siprefix1/ atto	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-18$
sts/ attribution	An `attribution' object consists of pairs of keys and values. The use of the symbol `attribution' in a signature indicates that the symbol is to be used as a key.
field4/ automorphism_group	This is a function with a single argument which must be a field. It refers to the automorphism group of its argument.
graph2/ automorphism_group	This symbol is a unary function whose argument is an undirected graph. When applied to an undirected graph G, it represents the automorphism group of G. The resulting automorphism group is represented as a permutation group on the vertices of the graph G.
group3/ automorphism_group	This is a function with a single argument which must be a group. It refers to the automorphism group of its argument.
magma3/ automorphism_group	This is a function with a single argument which must be a magma. It refers to the automorphism group of its argument.
monoid3/ automorphism_group	This is a function with a single argument which must be a monoid. It refers to the automorphism group of its argument.
ring5/ automorphism_group	This is a function with a single argument which must be a ring. It refers to the automorphism group of its argument.
semigroup3/ automorphism_group	This is a function with a single argument which must be a semigroup. It refers to the automorphism group of its argument.
semigroup4/ automorphism_group	This is a function with a single argument which must be a semigroup. It refers to the automorphism group of its argument.
physical_consts1/ Avogadros_constant	This symbol represents the number of atoms in 12 grammes of pure carbon(12). It is approximately 6.022136710^(23) +/- 3.610^(17).
logic3/ axiom_instance	This symbol represents a line in a formal proof which is an instance of an axiom. The first child is the line in the proof: the second is the axiom used.
linalg4mat/ banded	This symbol represents a square (p,q) banded matrix. It takes one argument. A (p,q) banded matrix should always be square. The lower non-zero subdiagonal is the first element of the argument, whilst the highest non-zero super-diagonal is given by the last element of the argument. The argument determines the band of possibly non-zero entries which are positioned around the diagonal. It should be a vector of vectors, we note that they will not all be the same length, however the length of the vectors determine p and q. The longest element specifies the diagonal of the matrix and hence the size of the matrix. Every element not in the band is zero.
linalg5/ banded	This symbol represents a (p,q) banded matrix, it takes one argument. A (p,q) banded matrix should always be square. The lower non-zero subdiagonal is the first element of the argument, whilst the highest non-zero super-diagonal is given by the last element of the argument. The argument determines the band of possibly non-zero entries which are positioned around the diagonal. It should be a vector of vectors, we note that they will not all be the same length, however the length of the vectors determine p and q. The longest element specifies the diagonal of the matrix and hence the size of the matrix. Every element not in the band is zero.
matrix1/ banded	This symbol is a constructor for banded matrices. It takes at least 2 arguments, the first of which being the number of upper bands and the second being the number of lower bands. Amongst the further arguments you can specify AT MOST one matrix1.diagonal object. You MUST exactly as many matrix1.upper_band objects as you specified upper bands, and you MUST specify as many matrix1.lower_band objects as you specified lower bands. This symbol facilitates the use of blas based systems which expect to know the bands structure upfront.
units_imperial1/ bar	This symbol represents the measure of one bar. This is the standard imperial measure for pressure.
permgp1/ base	This is a function with one argument, which should be a permutation group. When evaluated with argument G it returns a list of points permuted by G such that the stabilizer of all elements of the list in G is trivial. Besides, the list is minimal with respect to the latter property (in the sense that the stabilizer in G of the elements of no proper subset is trivial).
nums1/ based_float	This symbol represents the constructor function for floating point numbers, specifying the base. It takes two arguments, the first is a positive integer to denote the base to which the number is represented, the second argument is a string which contains an optional sign and the digits of the number, using 0-9a-z and optionally a "." (as a consequence of this no radix greater than 36 is supported).
nums1/ based_integer	This symbol represents the constructor function for integers, specifying the base. It takes two arguments, the first is a positive integer to denote the base to which the number is represented, the second argument is a string which contains an optional sign and the digits of the integer, using 0-9a-z (as a consequence of this no radix greater than 36 is supported). Base 16 and base 10 are already covered in the encodings of integers.
tensor1/ basis_selector	This symbol takes 2 arguments, a tuple of basis elements and a covar_index or a contra_index, and returns the basis element indicated by the index value.
SI_NamedDerivedUnits1/ becquerel	This symbol represents an SI unit of radio nuclide activity, or radioactivity. A becquerel of activity represents one nuclear decay event per second. It has the short symbol form, "Bq".
SIUsed_OffSystemUnits1/ bel	This symbol represents the dimensionless measure of one bel. It has the short symbol form, "B".
combinat1/ Bell	The Bell numbers: Bell(n) is the total number of possible partitions of a set of n elements.
limit1/ below	This symbol is used within a limit construct to show the limit is being approached from below. It takes no arguments.
hypergeo2/ besselJ	The Bessel function. This function is one of the famous two solutions of the Bessel differential equation at z=0.
hypergeo2/ besselY	The Bessel function. This function is the another one of the famous two solutions of the Bessel differential equation at z=0.
hypergeo0/ beta	Euler's beta function
airy/ Bi	The symbol Bi defines the unary Airy Bi function. This is defined in Abramivitz and Stegun 10.4.1 and is a solution to the equation: $$w^{\prime\prime}-x*w=0$$ It is linearly independant to the Airy Ai function represented by the Ai symbol in this Content Dictionary and is specifically given by: $$Bi(x)=\sqrt{3}(Bi(0)~f(z)+(-Bi^\prime (0))~g(z))$$ where: $$f(z)=\sum_{k=0}^\infty 3^k{\left (\frac{1}{3}\right )}_k \frac{z^{3k}}{(3k)!}$$ and: $$g(z)=\sum_{k=0}^\infty 3^k{\left (\frac{2}{3}\right )}_k \frac{z^{3k+1}}{(3k+1)!}$$
airy/ Bi2	The symbol Bi2 takes two arguments, it represents derivatives of the Airy Bi function. The symbol Bi2(n,z) represents the n'th derivative of Bi(z).
set3/ big_intersect	This symbol is a unary function whose argument should be a collection C of subsets of a given set. When applied to C, it represents the intersection over all members of C.
set3/ big_union	This symbol is a unary function whose argument should be a collection C of subsets of a given set. When applied to C, it represents the union over all members of C.
bigfloat1/ bigfloat	The bigfloat constructor takes three arguments, a mantissa, a base and the exponent.
bigfloat1/ bigfloatprec	The bigfloat "with precision specified in (another) radix" constructor. Takes 3 arguments, the first argument is a floating point number constructed with the bigfloat constructor, the second is the new radix, whilst the third specifies how many digits are significant.
sts/ binder	An `OMBIND' object has three parts: a "binder" such as "lambda" or "for all", a (list of) bound variables, and an expression. The use of `binder' in a signature indicates that we are describing something which can only be used as the first child of an OMBIND construct.
combinat1/ binomial	The binomial coefficients. binomial(n, m) is the number of ways of choosing m objects from a collection of n distinct objects without regard to the order.
matrix1/ block	This symbol is like the matrix constructor as described above, but intended for use inside matrix to form ``submatrices''. The symbol takes at least two arguments: a column_dimension and a row_dimension object which denote the total extent of the block.
prog1/ block	This symbol is meant to represent an arbitray block of code. A block of code can be empty. The syntax is block(obj1, obj2,...,objN), where obji is the OpenMath encoding of the ith sentence (or action) inside the body.
FundamentalPhysicalConstants1/ Boltzmann-constant	The Boltzmann constant relates energy at the particle level with temperature observed at the bulk level via the ideal gas law, pV = NkT. By measurement it is found to be approximately equal to 1.3806504(24)*10^(-23) joule per kelvin. It is commonly represented with the short, italic symbol, "k".
physical_consts1/ Boltzmann_constant	A constant which describes the relationship between temperature and kinetic energy for molecules in an ideal gas. It is approximately 1.38065810^(-23) +/- 1.210^(-28) Joules per Kelvin.
setname2/ Boolean	This symbol represents the set of Booleans. That is the truth values, true and false.
limit1/ both_sides	This symbol is used within a limit construct to show the limit is being approached from both sides. It takes no arguments.
omtypes/ bytearray	The type of byte arrays
fieldname1/ C	This is a symbol representing the field of complex numbers.
setname1/ C	This symbol represents the set of complex numbers.
units_time1/ calendar_month	This symbol represents the measure of one month of (calendar) time.
units_time1/ calendar_year	This symbol represents the measure of one year of (calendar) time.
prog1/ call_arguments	This symbol can be used to encode the arguments that will be passed to a function or procedure.
scscp1/ call_id	Uniquely identifies a procedure call. Used in subsequent communication, so the parties know which call they are talking about.
SI_BaseUnits1/ candela	This symbol represents the measure of one candela, the standard SI unit measure for quantities of luminous intensity. It has the short symbol form, "cd", in upright roman font.
SI_DerivedQuantities1/ capacitance	This symbol represents the physical quantity of electric capacitance. A variable representing an arbitrary quantity of capacitance is commonly represented with the italic, upper case letter, "C".
field1/ carrier	This symbol represents a unary function, whose argument should be a field S (for instance constructed by field). When applied to S, its value should be the set of elements of S.
group1/ carrier	This symbol represents a unary function, whose argument should be a group G (for instance constructed by group). When applied to G, its value should be the set of elements of G.
magma1/ carrier	This symbol represents a unary function, whose argument should be a magma G (for instance constructed by magma). When applied to G, its value should be the set of elements of a magma.
monoid1/ carrier	This symbol represents a unary function, whose argument should be a monoid M (for instance constructed by monoid). When applied to M, its value should be the set of elements of a monoid.
ring1/ carrier	This symbol represents a unary function, whose argument should be a ring S (for instance constructed by ring). When applied to S, its value should be the set of elements of S.
semigroup1/ carrier	This symbol represents a unary function, whose argument should be a semigroup S (for instance constructed by semigroup). When applied to S, its value should be the set of elements of S.
tensor1/ Cartesian	This symbol takes one argument, a natural number, and returns the Cartesian coordinate, of a right handed Cartesian coordinate frame, corresponding to the value of the argument. These coordinates are commonly named X, Y, and Z in three dimensions, though X, Y, and Z are non-exclusively used for this and other purposes.
set3/ cartesian_power	This symbol is a binary function whose first argument should be a set A and whose second argument should be a natural number k. When applied to A and k, it represents the Cartesian product of k copies of A.
multiset1/ cartesian_product	This symbol represents an n-ary construction function for constructing the Cartesian product of multisets. It takes n multiset arguments in order to construct their Cartesian product.
set1/ cartesian_product	This symbol represents an n-ary construction function for constructing the Cartesian product of sets. It takes n set arguments in order to construct their Cartesian product.
hypergeon0/ cartesian_product_n	the cartesian product of n copies of the first argument. Binary function.
set1p/ cartesian_product_n	the cartesian product of n copies of the first argument. Binary function.
SI_DerivedQuantities1/ catalytic-activity	This symbol represents the physical quantity of catalytic activity, an amount of catalyst that effects a rate of catalytic conversion of an amount of substance.
meta_cats/ Category	This symbol is intended to denote the type of a category.
meta/ CD	The top level element for the Content Dictionary. It just acts as a container for the elements described below.
meta/ CDBase	An optional element. If it is used it contains a string representing the URI to be used as the base for generated canonical URI references for symbols in the CD.
meta/ CDComment	This symbol is used to represent the element of a content dictionary which explains some aspect of that content dictionary. It should have one string argument which makes that explanation.
metagrp/ CDComment	This symbol is used to represent the element of a CDGroup which explains some aspect of the corresponding content dictionary. It should have one string argument which makes that explanation.
meta/ CDDate	An element which contains a date as a string in the ISO-8601 YYYY-MM-DD format. This gives the date at which the Content Dictionary was last edited.
meta/ CDDefinition	This symbol is used to represent the element which contains the definition of each symbol in a content dictionary. That is: it must contain a 'Name' element and a 'Description' element, and it may contain an arbitrary number of 'Example', 'FMP' or 'CMP' elements.
metagrp/ CDGroup	This symbol represents the outermost element of a CDGroup. It has an arbitrary number of arguments which may be elements of type corresponding to the other symbols defined in this file.
metagrp/ CDGroupDescription	This symbol represents the element of a CDGroup which describes the CDGroupDescription element. It has one string argument, this should be the contents of the CDGroupDescription element intended to describe the mathematical area of the CDGroup.
metagrp/ CDGroupMember	This symbol represents the element of a CDGroup which describes each CDGroupMember element. It has one string argument, this should be the contents of the intended CDGroupMember element of the CDGroup. This should be used to identify each member of the CDGroup.
metagrp/ CDGroupName	This symbol represents the element of a CDGroup which describes the name of that CDGroup, it has one argument that should be a string corresponding to the name. The syntactical requirements are given in the OpenMath standard.
metagrp/ CDGroupURL	This symbol represents the element of a CDGroup which describes the CDGroupURL element. It has one string argument which should describe the URL for that CDGroup, not necessarily for the member Content Dictionaries, The syntactical requirements are given in the OpenMath standard.
metagrp/ CDGroupVersion
meta/ CDName	An element which contains the string corresponding to the name of the CD. The string must match the syntax for CD names given in the OpenMath Standard. Here and elsewhere white space occurring at the beginning or end of the string will be ignored.
metagrp/ CDName	This symbol represents the element of a CDGroup which describes each CDName element. It has one string argument, this should be the string corresponding to the name of a content dictionary which is in this CDGroup.
meta/ CDReviewDate	An element which contains a date as a string in the ISO-8601 YYYY-MM-DD format. This gives the date at which the Content Dictionary is next scheduled for review. It should be expected to be stable until at least this date.
meta/ CDRevision	An element which contains a revision number (or minor version number) This should be a non-negative integer starting from zero for each new version. Additional examples would be typical changes to a CD requiring a new revision number.
metasig/ CDSComment	This symbol is used to represent the element of a signature file which explains some aspect of that signature file. It should have one string argument which makes that explanation.
metasig/ CDSignatures	This symbol is used to represent the outermost element of the Signature File which is characterized by two required attributes that identify the type system and the Content Dictionary whose signatures are defined. The value of the XML attribute 'type' is the name of the Content Dictionary or of the CDGroup that represents the type system. The value of the XML attribute 'cd' is the name of the Content Dictionary whose symbols are assigned signatures in this Signature File. It has an arbitrary number of arguments which may be elements of type corresponding to the other symbols defined in this file.
metasig/ CDSReviewDate	This symbol is used to represent the element of a signature file which specifies the earliest possible revision date of the signature file. It should have one string argument which specifies that date. The date should be in the format YYYY-MM-DD, e.g. 2000-02-29.
metasig/ CDSStatus	This symbol is used to represent the element of a signature file which specifies the status of that signature file. It should have one string argument, which should be one of 'official' (approved by the OpenMath Society according to the procedure outlined in the OpenMath standard), 'experimental' (currently being tested), 'private' (used by a private group of OpenMath users) or 'obsolete' (an obsolete signature file, kept only for archival purposes).
meta/ CDStatus	An element giving information on the status of the CD. The content of the element must be one of the following strings. official (approved by the OpenMath Society), experimental (currently being tested), private (used by a private group of OpenMath users), or obsolete (an obsolete CD kept only for archival purposes).
meta/ CDURL	An optional element. If it is used it contains a string representing the URL where the canonical reference copy of this CD is stored.
metagrp/ CDURL	This symbol represents the element of a CDGroup which describes each CDURL element. It has one string argument, this should be the string corresponding to the contents of the CDURL element for each Content Dictionary in the CDGroup. The element is optional, in case it is missing, the location of the CDGroup identified by the element CDGroupURL is assumed.
meta/ CDUses	An element which contains zero or more CDNames which correspond to the CDs that this CD depends on, i.e. uses in examples and FMPs. If the CD is dependent on any other CDs they may be present here.
meta/ CDVersion	An element which contains a version number for the CD. This should be a non negative integer. Any change to the CD that affects existing OpenMath applications that support this CD should result in an increase in the version number.
metagrp/ CDVersion	This symbol represents the element of a CDGroup which describes each CDVersion element. It has one integral argument, this should specify which version of the content dictionary is to be taken as member of the CDGroup. The element is optional. In case it is missing, the last version is the one included in the CDGroup.
rounding1/ ceiling	The round up (to +infinity) operation.
SI_DerivedQuantities1/ Celsius-temperature	This symbol represents the physical quantity of Celsius temperature. A variable representing an arbitrary quantity of temperature is commonly represented with the italic, upper case letter, "T".
group3/ center	This symbols represents a unary function whose argument should be a group G. Its value is the biggest subgroup of G all of whose elements commute with all elements of G.
plangeo3/ center	Defines the center of a circle.
plangeo3/ center_of	Gives the center of the circle
plangeo3/ center_of_gravity	Center of gravity of a number of points.
units_siprefix1/ centi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $0.01$
group3/ centralizer	This symbols represents a binary function whose first argument should be a group G and whose second argument should be an element g or a list of elements L of the group G. Its value is the subgroup of G of all elements commuting with g or, if the second argument is a list, all elements of L.
gp1/ character_table	This is the constructor for a character table. Usage: CharacterTable(centralizer_primes, centralizer_indices, classnames, power_map, irreducibles_matrix) If G has n conjugacy classes then: * centralizer_primes is of the form [p1, .., pk] i < j implies that pi < pj and the pi are precisely the primes which divide the order of some centralizer of a conjugacy class * centralizer_indices is of the form [[i11, ...,i1k] ... [in1,...ink]] so the centralizer of class 1 has order p1^i11 ... pk^i1k etc * classnames is a list of n strings which name the conjugacy classes in line with the convention used in the Atlas of Finite Groups * power_map is of the form [list1, ..., listk] where listi[j] is the name of the class where elements of class j go when raised to the power pi. * irreducibles_matrix: rows correspond to irreducible characters, columns are conjugacy classes. Entries are the value of an element of the column's conjugacy class under the character of the row.
gp1/ character_table_of_group	Refers to the character table of its argument which must be a group.
linalg4/ characteristic_eqn	This symbol represents the polynomial which appears in the left hand side of the characteristic equation of a matrix. It takes one argument which should be the matrix. A definition of the characteristic equation is given in Elementary Linear Algebra, Stanley I. Grossman in Definition 2 of chapter 6, page 535.
linalgpoly1/ characteristic_poly	This symbol represents a binary function. This first argument should be a square matrix A defined over a field F, the second argument a variable X. When applied to A and X, it represents the characteristic polynomial of A in the variable X over the field F. (The output should be semantically equivalent to an object obtained by the poly_ring_d_named constructor of the CD polyd1.)
dimensions1/ charge	This symbol represents the charge physical dimension.
SI_DerivedQuantities1/ charge	This symbol represents the physical quantity of electric charge. A variable representing an arbitrary quantity of charge is commonly represented with the italic, upper case letter, "Q".
intpath1/ circle	The symbol circle(c,r) is the circle in the Riemann sphere of which center is c and the radius is r. The direction of the circle is the counter clockwise. When the center is intpath1.infty, the radius should be given in the standard coordinate t=1/z at the infinity.
plangeo3/ circle	The symbol represents a circle. The circle may be subject to constraints.
ThreeDgeo1/ circle	The symbol is used to indicate a circle in 3-dimensional Euclidean geometry by a variable. The circle may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo2/ circle_center	The statement that a circle in 3-dimensional Euclidean space has a given point as center. Takes the circle as first argument and the point as second argument.
intpath1/ circle_with_starting_point	The symbol circle_with_starting_point(c,r,z0) is the circle in the Riemann sphere of which center is c and the radius is r. The direction of the circle is the counter clockwise and the staring point is z0.
integer2/ class	This symbol represents a bivariate function, whose arguments should be integers. If a, m are integers, then class(a,m) denotes the residue class a mod m in setname2.Zm.
mathmlattr/ class	A symbol to be used within an OpenMath attribute to specify the class attribute of the object. The annotation should be an OpenMath string representing the value of the class attribute.
polynomial2/ class	This symbol represents a bivariate function, whose arguments should be polynomials. If a, m are polynomials in a polynomial ring R[X], then class(a,m) denotes the residue class a mod m in the quotient ring R[X]/ (mR[X]).
relation3/ class	This symbol represents a ternary function whose first argument is a set S, whose second argument is a relation R on S, and whose third argument is an element a of S. When applied to S, R, and a, it represents the set of all elements in S related to a by R, that is, the set {b in S \| (a,b) in R}.
relation3/ classes	This symbol represents a binary function whose first argument is a set S, whose second argument is a relation R on S. When applied to S and R, it represents the set of all elements in S of the form class(S,R,a) for a in S.
intpath1/ closed_path	The symbol closed_path(start_end,points_in, points_out) is a closed path with the starting point "start_end". The direction of the path is counter clockwise. It contains the set of points "points_in" in the inside of the path. The winding number of the path for each point in the set points_in is 1. The path is zero homotope in the space (P^1 - points_in).
meta/ CMP	An optional element (which may be repeated many times) which contains a string corresponding to a property of the symbol being defined.
poly/ coefficient	The coefficient with respect to a list of variables (the second argument) raised to a list of powers (the third argument). Zero if no such term is present. Not all variables need be specified.
polynomial1/ coefficient	This symbol is a binary function whose first argument should be a polynomial f and whose second argument should be a non-negative integer n. It represents the coefficient of the i-th power of the variable in the polynomial f.
poly/ coefficient_ring	The coefficient ring.
polynomial1/ coefficient_ring	This symbol is a unary function whose argument should be a polynomial. It represents the coefficient ring of the polynomial.
polyd3/ collect	This a binary function. Its first argument should be a DMP f, its second argument a list of positive integers L. When applied to f and L, it represents the DMP with coefficients from the poly_ring_d whose variables only have indices i for i not occurring in the list L, and whose monomials are built up from the variables indexed by the entries of L.
matrix1/ column_dimension	This symbol is a unary function whose first argument must be either a non-negative OpenMath integer or nums1.infinity. When applied this creates an object that denotes the dimension of the domain of the linear mapping represented by the matrix.
linalg3/ columncount	This symbol represents the function which takes one matrix argument and returns the number of columns in that matrix.
linalg4/ columncount	This symbol represents the function which takes one matrix argument and returns the number of columns in that matrix.
logic3/ complete_pred_deduction	This symbol is used to claim, with proof (the third child), that a statement (the first child) is a deduction of the classical predicate calculus, i.e. that it follows by applications of Modus Ponens, forall-introduction and exists-elimination, from instantiations of the axioms (which may be the common three involving applications of Modus Ponens, and generalisation from instantiations of the Axioms (which may be the common three involving 'implies', together with forall-instantiation and moving forall inside implication, but need not be), and the hypotheses (elements of the set which is the second child).
logic3/ complete_pred_theorem	This symbol is used to state, with justification, that a statement is a theorem of the classical first-order predicate calculus, i.e. that it follows by applications of Modus Ponens, and generalisation from instantiations of the Axioms (which may be the common three involving 'implies', together with forall-instantiation and moving forall inside implication, but need not be), and the hypotheses (elements of the set which is the second child).
logic3/ complete_prop_deduction	This symbol is used to claim, with proof (the third child), that a statement (the first child) is a deduction of the classical propositional calculus, i.e. that it follows by applications of Modus Ponens from instantiations of the axioms (which may be the common three involving 'implies', but need not be), and the hypotheses (elements of the set which is the second child).
logic3/ complete_prop_theorem	This symbol is used to state, with proof (the second child), that a statement (the first child) is a theorem of the classical propositional calculus, i.e. that it follows by applications of Modus Ponens from instantiations of the axioms (which may be the common three involving 'implies', but need not be).
polyd/ completely_reduced	This attribute, attached to a groebnered object, says 'true' if the base is fully reduced, i.e. no monomial is divisible by the leading monomial of any other polynomial.
polygb1/ completely_reduced	This attribute, attached to a groebnered object, says 'true' if the base is fully reduced, i.e. no monomial is divisible by the leading monomial of any other polynomial.
complex1/ complex_cartesian	This symbol represents a constructor function for complex numbers specified as the Cartesian coordinates of the relevant point on the complex plane. It takes two arguments, the first is a number x to denote the real part and the second a number y to denote the imaginary part of the complex number x + i y. (Where i is the square root of -1.)
mathmltypes/ complex_cartesian_type	A symbol to be used as the argument of the type symbol to convey the type of a complex number specified in terms of its real and imaginary parts.
complex1/ complex_polar	This symbol represents a constructor function for complex numbers specified as the polar coordinates of the relevant point on the complex plane. It takes two arguments, the first is a nonnegative number r to denote the magnitude and the second a number theta (given in radians) to denote the argument of the complex number r e^(i theta). (i and e are defined as in this CD).
mathmltypes/ complex_polar_type	A symbol to be used as the argument of the type symbol to convey the type of a complex number specified in terms of its modulus and argument.
list3/ concatenate	The operation of joining one list to another
monoid3/ concatenation	This symbol represents a binary concatenation operation on strings.
dimensions1/ concentration	This symbol represents the concentration physical dimension, it is the amount of a substance in a volume.
SI_DerivedQuantities1/ concentration	This symbol represents the physical quantity of concentration, the amount of a substance in a volume.
SI_DerivedQuantities1/ conductance	This symbol represents the physical quantity of electrical conductance, the inverse of resistance. A variable representing an arbitrary quantity of conductance is commonly represented with the italic, upper case letter, "G" or "S".
plangeo1/ configuration	The symbol represents a configuration in Euclidean planar geometry consisting of a sequence of geometric objects like points, lines, etc, but also of other configurations.
ThreeDgeo3/ configuration	The symbol represents a configuration in Euclidean 3-dimensional geometry consisting of a sequence of geometric objects like points, lines, etc, but also of other configurations.
plangeo6/ conic	The symbol represents a conic. The conic may be subject to constraints.
gp1/ conjugacy_class	The binary function whose value is the set of elements which are conjugate to the second argument in the first.
group4/ conjugacy_class	This symbol represents a binary function, whose first argument is a group G and whose second argument is an element x of G. Its value on G and x is the set of elements which are conjugate to x in G.
group4/ conjugacy_class_representatives	This symbol represents a unary function whose argument should be a group. Its value on a group is a set of representatives of the conjugacy classes of that group.
group4/ conjugacy_classes	This symbol represents a unary function whose argument should be a group. Its value on a group is the set of conjugacy classes of that group.
complex1/ conjugate	A unary operator representing the complex conjugate of its argument.
field2/ conjugation	This symbol is a function with two arguments, which should be a field M and a nonzero element x of M. When applied to M and x, it denotes conjugation on M by x.
group2/ conjugation	This symbol is a function with two arguments, which should be a group M and an element x of M. When applied to M and x, it denotes conjugation on M by x.
list2/ cons	This symbol represents the cons list function. It takes 2 arguments: the second must be a list, where the elements have the same type as the type of the first. The function denotes a new list which has the first argument as its first element followed by the elements of the second argument.
list2/ cons	This symbol represents the cons list function. It takes 2 arguments: the second must be a list, where the elements have the same type as the type of the first. The function denotes a new list which has the first argument as its first element followed by the elements of the second argument.
polyslp/ const_node	This constructor takes one argument, which is a value from the coefficient ring. It is intended to represent a constant node.
linalg4mat/ constant	This symbol represents a matrix which has all entries of the same value. It takes three arguments, the first is the rowcount of the matrix, the second is the column count, and the third is the constant which determines every element.
linalg4vec/ constant	This symbol represents a binary function whose first argument should be a natural number. When applied to n and c, it represents the constant (row) vector (so vector as defined in linalg2), so size (dimension) n all of whose components have the value c.
linalg5/ constant	This symbol represents a matrix which has all entries of the same value. It takes two arguments, the first is the size of the matrix, the second is the constant which determines every element.
linalg7/ constant	The constant symbol represents the constant vector. It takes two parameters, the length (dimension) of the vector and the constant value, which all the elements are equal to.
mathmltypes/ constant_type	A symbol to be used as the argument of the type symbol to convey a type for the common constants, pi ~= 3.1415, e ~= 2.718, i = square root of -1, gamma ~= .5772, NaN, infinity (all in the nums cd), true and false (in the logic cd). Also for MathML variables declared to have type constant, as in <ci type="constant">x</ci>.
mathmlkeys/ contentequiv	This key specifies that the corresponding value is the content MathML equivalent of the annotated element.
fns3/ continuous	A predicate to indicate that a function is continuous everywhere.
function_properties/ continuous
fns3/ continuous_on	A predicate to indicate that a function is continuous over a particular region or range.
aggregate_cats/ continuousSetType	This symbol represents the type of continuous sets.
tensor1/ contra_index	This symbol takes a natural number as its argument and returns a contravariant index.
poly/ convert	Conversion between polynomial rings. The first argument is a polynomial and the second is a polynomial ring. This represents the conversion of the given polynomial as an element of the given ring. A program that can compute the conversion is required to return a polynomial in the given ring.
finfield1/ conway_polynomial	This symbol represents a binary function. Its arguments should be a prime number p and a positive integer n. Before defining which of the possible f(X) is the Conway polynomial we introduce an ordering of the (univariate) polynomials of degree n over GF(p). Here the coefficients of the polynomials are taken in {0, ..., p-1}, the indeterminate is X. Let g(X) = g_nX^n + ... + g_0 and h(X) = h_nX^n + ... + h_0. Then we define g < h if and only if there is an index k with g_i = h_i for i > k and (-1)^{n-k} g_k < (-1)^{n-k} h_k. The Conway polynomial f_{p,n}(X) for GF(p^n) is defined recursively as the smallest polynomial of degree n with respect to this ordering such that: 1) f_{p,n}(X) is monic, 2) f_{p,n}(X) is primitive, that is, it is irreducible and its zeros are generators of the (cyclic) multiplicative group of GF(p^n), 3) for each proper divisor m of n we have that f_{p,m}(X^{(p^n-1) / (p^m-1)})= 0 mod f_{p,n}(X); that is, the ((p^n-1) / (p^m-1))-th power of a zero of f_{p,n}(X) is a zero of f_{p,m}(X).
plangeo4/ coordinates	This function yields the coordinates vector if applied to a point or line with coordinates.
plangeo5/ coordinatize	This symbol is a function of one argument which must be a configuration or an assertion (as defined in plangeo1). When applied to a configuration C, it stands for the same configuration but now with coordinates attached to each object of C. The new variables are bound within an OMBIND element with head element the lambda symbol. The bound variables (placed within an OMBVAR element) are the new variables, and the last argument of OMBIND is the expression C in which each object is coordinatized. If an object already has coordinates, these are left as they are. If not, then new variables are introduced to coordinatize the object. When applied to an assertion of the form assertion(C,S), it leads to the same result except that the last argument of OMBIND is the assertion whose configuration argument is the expression C in which each object is coordinatized, and whose thesis argument is S.
plangeo2/ corner	The corner between two halflines L and M, both starting at the same point. Given three points A, B and C, the corner A, B, C is the corner of the two halflines BA and BC. Corresponding to the two cases, the symbol can have as arguments two halflines or three points.
transc1/ cos	This symbol represents the cos function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
transc1/ cosh	This symbol represents the cosh function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
transc1/ cot	This symbol represents the cot function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
transc1/ coth	This symbol represents the coth function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
SI_NamedDerivedUnits1/ coulomb	This symbol represents an SI unit of electric charge. It has the short symbol form, "C".
units_metric1/ Coulomb	This symbol represents the measure of one Coulomb. This is the standard SI measure for charge.
FundamentalPhysicalConstants1/ Coulomb-constant	The value of the Coulomb constant is implied by international definitions of the speed of light and the vacuum permeability. By definition, its exact value is equal to (299,792,458)^2 * 10^-7 N m^2 C^-2. It is commonly represented with the short, italic symbol, "k" subscripted with the upright letter "e".
tensor1/ covar_index	This symbol takes a natural number as its argument and returns a covariant index.
transc1/ csc	This symbol represents the csc function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
transc1/ csch	This symbol represents the csch function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
veccalc1/ curl	This symbol is used to represent the curl function. It takes one argument which should be a vector of scalar valued functions, intended to represent a vector valued function and returns a vector of functions. It should satisfy the defining relation: curl(F) = i X \partial(F)/\partial(x) + j X \partial(F)/\partial(y) + j X \partial(F)/\partial(Z) where i,j,k are the unit vectors corresponding to the x,y,z axes respectively and the multiplication X is cross multiplication.
dimensions1/ current	This symbol represents the current physical dimension.
SI_BaseQuantities/ current	This symbol represents the SI base quantity of electrical current. It has the short symbol form, "I".
permutation1/ cycle	This symbol is an n-ary constructor. It marks a relation on the set of its arguments a_1, a_2,...,a_n consisting of the pairs (a_i,a_{i+1}) for i=1,...,n-1 and the pair (a_n,a_1). The arguments a_i should all be distinct. The number n is referred to as the length of the cycle.
permutation1/ cycle	This symbol is an n-ary function, with n at least 1. It marks a relation on the set of its arguments a_1, a_2,...,a_n consisting of the pairs (a_i,a_{i+1}) for i=1,...,n-1 and the pair (a_n,a_1). The arguments a_i should all be distinct. The number n is referred to as the length of the cycle.
permutation1/ cycle_type	This symbol is a function with one argument, which is a permutation. When applied to a permutation P, it represents the multiset of lengths of cycles occurring as arguments of P.
permutation1/ cycle_type	This symbol is a function with one argument, which is a permutation. When applied to a permutation P, it represents the multiset of lengths of cycles occurring as arguments of P.
permutation1/ cycles	This symbol has one argument which should be a endomap p. It returns the list of cycles of p.
groupname1/ cyclic_group	This symbol is a function with one argument, which should be a natural number n. When applied to n it represents the cyclic group of order n.
permgp2/ cyclic_group	This symbol represents a unary function whose argument should be a positive integer. When evaluated at the integer n, it represents the permutation group generated by the permutation (1,2,...,n).
monoid3/ cyclic_monoid	This symbol is a function of two natural numbers, the first of which should be positive. When evaluated at k and l, it denotes the cyclic monoid with a cycle of length l and a tail (including the identity element) of length k.
semigroup3/ cyclic_semigroup	This symbol denotes the cyclic semigroup with a cycle of length l and a tail of length k.
SIUsed_OffSystemMeasuredUnits1/ dalton	This symbol represents the measure of one dalton of mass. It has the short symbol form, "Da". The dalton is one-twelth the mass of an atom of Carbon-12 at rest and in its ground state. Its measured value is 1 Da = 1.660538782(83) * 10^–27 kg [CODATA 2006]
SIUsed_OffSystemUnits1/ day	This symbol represents the measure of one day of time. It has the short symbol form, "d".
units_time1/ day	This symbol represents the measure of one day of time. The definitions below ignore the possibilities of "leap seconds".
units_siprefix1/ deci	This symbol represents the fact that the subsequent unit has been effectively multiplied by $0.1$
directives1/ decide	This symbol is a function with one argument, which should be a clause. When applied to a clause, it asks whether the clause holds.
gp1/ declare_group	This symbol is a constructor for groups. It takes four arguments in the following order; a set to specify the elements in the group, a binary operation to specify the group operation, a unary operation to specify inverses of group elements and an element to specify the identity. Both the binary and unary operations should act on elements of the set and return an element of the set.
prog1/ def_arguments	This symbol can be used to encode the arguments that a function or procedure can receive.
polynomial4/ definitely_irreducible	A symbol which denotes that a factor of the factorisation is definitely irreducible.
mathmlattr/ definitionURL	A symbol to be used within an OpenMath attribute to specify the definitionURL attribute of the object. The annotation should be an OpenMath string representing the value of the definitionURL attribute.
calculus1/ defint	This symbol is used to represent definite integration of unary functions. It takes two arguments; the first being the range (e.g. a set) of integration, and the second the function.
calculus1/ defint	This symbol is used to represent definite integration of unary functions. It takes two arguments; the first being the range (e.g. a set) of integration, and the second the function.
cauchypv/ defint	This symbol is used to represent definite (Cauchy principal value) integration of unary functions. It takes two arguments; the first being the range (e.g. a set) of integration, and the second the function.
poly/ degree	The total degree of its argument. The value returned is a non-negative integer. We note that the degree of 0 is undefined. Note that this operation takes no account of any weights that have been defined: see weighted_degree in polyd.
polynomial1/ degree	This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents its degree, that is the highest power of the variable occurring in a term of the polynomial. If the polynomial has no terms, it is the zero polynomial, in which case the value represented is -1.
SI_NamedDerivedUnits1/ degree-Celsius	This symbol represents an SI unit of Celsius temperature. It has the short symbol form, "ºC".
SIUsed_OffSystemUnits1/ degree-of-arc	This symbol represents the angular measure of one degree of arc. It has the short symbol form of the degree symbol, a superscript circle, Unicode: U+00B0 or HTML: °.
units_metric1/ degree_Celsius	This symbol represents the measure of one degree Celsius. This is a standard metric measure for temperature.
units_imperial1/ degree_Fahrenheit	This symbol represents the measure of one degree Fahrenheit. This is the standard imperial measure for temperature.
units_metric1/ degree_Kelvin	This symbol represents the measure of one degree Kelvin. This is a standard SI measure for temperature relative to absolute zero.
poly/ degree_wrt	The degree with respect to a variable (the second argument). We note that the degree of 0 is undefined.
units_siprefix1/ deka	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10$
equations1/ dense	A predicate to indicate that an equation or system of equations is dense.
matrix1/ dense	This symbol is an $(m \cdot n)$-ary function whose arguments specify the entries of the matrix, where $m$ is the dimension of the codomain and $n$ is the dimension of the domain. The matrix (or block) must be filled row-wise, that is the first argument denotes the entry in row 1, column 1 of the matrix (or block), the second argument denotes the entry at row 1, column 2, and so forth. The number of arguments MUST match the dimensions of either the matrix algebra or the surrounding block (see below).
dimensions1/ density	This symbol represents the density physical dimension, it is the mass per unit volume.
SI_DerivedQuantities1/ density	This symbol represents the physical quantity of volumic mass density.
polyslp/ depth	A unary function taking an slp as argument and returning the greatest depth of any leaf node, that is the length of the longest contiguous path to any leaf node.
gp1/ derived_subgroup	The unary function whose value is the subgroup of argument generated by all products of the form xyx^-1y^-1.
group3/ derived_subgroup	The unary function whose value is the subgroup of argument generated by all products of the form xyx^-1y^-1.
patterns/ descendant	This symbol represents a pattern constructor for matching any descendant of the current element.
meta/ Description	An element which contains a string corresponding to the description of either the CD or the symbol (depending on which is the enclosing element).
linalg1/ determinant	This symbol denotes the unary function which returns the determinant of its argument, the argument should be a square matrix.
matrix1/ diagonal	This symbol is an $m$-ary function whose arguments specify the entries of a (generalised) matrix diagonal. The diagonal must be filled from top-left to bottom-right. That is: the first argument represents the entry in row 1, column 1 of the matrix, the second argument denotes the entry at row 2, column 2, and so forth. If used inside a sparse_entry object at location $(i, j)$, the first entry is offset accordingly. If not used inside a sparse_entry object, the number of arguments MUST match the dimensions of either the matrix algebra (the smaller of $m$ and $n$). If used inside a sparse_entry object, the number of entries MUST NOT exceed the total matrix dimensions.
linalg4mat/ diagonal_matrix	This symbol denotes an n_ary function which is used to construct an (nxn) diagonal matrix, that is a matrix where every non-diagonal element is zero, the diagonal elements are equal to the n arguments.
linalg5/ diagonal_matrix	This symbol denotes an n_ary function which is used to construct an (nxn) diagonal matrix, that is a matrix where every non-diagonal element is zero, the diagonal elements are equal to the n arguments.
calculus1/ diff	This symbol is used to express ordinary differentiation of a unary function. The single argument is the unary function.
calculus1/ diff	This symbol is used to express ordinary differentiation of a unary function. The single argument is the unary function.
weylalgebra1/ diff	Differentiation of a given function in one variable.
list3/ difference	This symbol takes two arguments both a list. It represents a function which returns a list made up of all the elements of the first list which are not in the second.
list4/ difference	This symbol represents a function with two arguments, both lists. When applied to two lists, it represents a list made up of all the elements of the first list which do not occur in the second, appearing in the order in which they occur in the first list.
fns3/ differentiable	A predicate to indicate that a function is differentiable over its whole domain.
function_properties/ differentiable
fns3/ differentiable_on	A predicate to indicate that a function is differentiable on a region.
weylalgebra1/ diffop	constructor of a differential operator from a polynomial or from an element of the finitely generated free algebra. The inverse of gr.
graph1/ digraph	This symbol refers to a digraph. It has two arguments. The first is the set of vertices, the second is the set of arrows. Arrows are represented by lists of length two, where a list represents the arrow from the first element to the second.
groupname1/ dihedral_group	This symbol is a function with one argument, which should be a positive integer n. When applied to n it represents the dihedral group of order 2n. This is the group of all isometries (including reflections) of the regular n-gon in the plane.
permgp2/ dihedral_group	This symbol represents a unary function whose argument should be a positive integer. When evaluated at the integer n, it represents the dihedral group of all 2n permutations of {1,2,...,n} preserving the n-gon 1,2,...,n.
SI_functions1/ dim	The symbol to represent the function that returns the physical dimension of its argument in terms of products of powers of SI base quantities. The dim operation may be meaningfully applied to SI quantities, SI units, and numbers without physical dimension.
group3/ direct_power	This is a binary function whose first argument should be a group G and whose second argument should be a natural number n. It refers to the direct product of n copies of G.
monoid3/ direct_power	This is a binary function whose first argument should be a monoid M and whose second argument should be a natural number n. It refers to the direct product of n copies of M.
ring3/ direct_power	This is a symbol with two arguments. The first argument should be a ring S and the second argument a positive integer n. It denotes the direct product of n copies of S.
semigroup3/ direct_power	This is a binary function whose first argument should be a semigroup M and whose second argument should be a natural number n. It refers to the direct product of n copies of M.
group3/ direct_product	This is an n-ary function whose arguments must be groups. It refers to the direct product of its arguments.
magma3/ direct_product	This is an n-ary function whose arguments must be magmas. It refers to the direct product of its arguments.
monoid3/ direct_product	This is an n-ary function whose arguments must be monoids. It refers to the direct product of its arguments.
ring3/ direct_product	This is a symbol with two or more arguments, all of which are rings. It denotes the ring that is the direct product of its arguments.
semigroup3/ direct_product	This is an n-ary function whose arguments must be semigroups. It refers to the direct product of its arguments.
ThreeDgeo3/ discovery	The symbol is used to describe the task of finding necessary conditions for some properties to hold in a geometric configuration in 3-dimensional Euclidean geometry. The symbol takes a configuration as the first argument and the properties for which necessary conditions are to be sought as further arguments.
finfield1/ discrete_log	This symbol represents a binary function. The first argument is the base b, a primitive element of a finite field F. The second argument is a nonzero element x in F. It returns the smallest nonnegative integer i such that x=b^i.
aggregate_cats/ discreteSetType	This symbol represents the type of discrete sets.
poly/ discriminant	Function taking two arguments, it represents the discriminant of a polynomial, which is the first argument, with respect to the given variable which is the second argument.
numerical2/ discrimination_criteria	This symbol is used to describe the minimum distance between two distinct objects, i.e. if the distance is less than this they are considered to be the same.
dimensions1/ displacement	This symbol represents the spatial difference between two points. The direction of the displacement is taken into account as well as the distance between the points.
directives1/ disprove	This symbol is a function with one argument, which should be a clause. When applied to a clause C, it asks for a proof of that C does not hold.
plangeo3/ distance	The distance between two affine points is the Euclidean distance. The distance between two geometric objects O and O' is the infimum of the distances between two affine points, one on O and one on O'.
ThreeDgeo3/ distance	The distance between two affine points in 3-dimensional Euclidean space is the Euclidean distance. The distance between two geometric objects O and O' in 3-dimensional Euclidean space is the infimum of the distances between two affine points, one on O and one on O'.
veccalc1/ divergence	This symbol is used to represent the divergence function. It takes one argument which should be a vector of scalar valued functions, intended to represent a vector valued function and returns a scalar value. It should satisfy the defining relation: divergence(F) = \partial(F_(x_1))/\partial(x_1) + ... + \partial(F_(x_n))/\partial(x_n)
arith1/ divide	This symbol represents a (binary) division function denoting the first argument right-divided by the second, i.e. divide(a,b)=a*inverse(b). It is the inverse of the multiplication function defined by the symbol times in this CD.
opnode/ divide	A constant value, constructs the divide for division nodes.
polynomial4/ divide	This symbol is a binary function whose arguments are polynomials f and g which must be defined over the same ground domain. When applied to f and g, it represents the quotient arising from dividing f by g and the remainder h such that h is congruent f modulo g. The result is gathered in a polynomial4.quotient_remainder cell. Hint: We consider named polynomial rings, i.e. the indeterminate is explicitly specified by a named variable, different once the variable names differ. That is, a polynomial in Z[X] cannot be divided by a polynomial in Z[Y] a priori. However, we leave it up to the implementor to handle this differently, though we strongly encourage implementors to return a polynomial in an anonymous indeterminate (using e.g. polyd1.poly_ring_d rather than polyd1.poly_ring_d_named).
test-x/ divide	This symbol represents a (binary) division function denoting the first argument right-divided by the second, i.e. divide(a,b)=a*inverse(b). It is the inverse of the multiplication function defined by the symbol times in this CD.
integer2/ divides	This symbol represents a bivariate Boolean function, whose arguments should be integers. When applied to integers a and b, it denotes the property that a divides b.
polynomial2/ divides	This symbol represents a bivariate Boolean function, whose arguments should be polynomials in the same polynomial ring. When applied to a and b, it denotes the property that a divides b.
monoid1/ divisor_of	This symbol is a ternary function. Its first argument should be a monoid M and the second and third arguments should be elements of M. When applied to M, a, and b, it denotes the fact that a is a divisor of b in M. This means that there are u,v in carrier(M) such that uav=b.
polyd/ DMP	The constructor of DMPs. The first argument is the polynomial ring containing the polynomial and the second is a "SDMP". Should be of the form DMP(PolyRingD(...), SDMP(...))
polyd1/ DMP	The constructor of DMPs. The first argument is the polynomial ring containing the polynomial and the second is a "SDMP". Should be of the form DMP(poly_ring_d(...), SDMP(...))
polyd/ DMPL	The constructor for lists of multivariate polynomial members of the same polynomial ring. The first argument is a polynomial ring and the rest are "SDMP"s. DMPL can be attributed with the "ordering" symbol to indicate a particular ordering for monomials of all its polynomials. Should be of the form DMPL(PolyRingD(...), SDMP(...)+)
polyd1/ DMPL	The constructor for lists of multivariate polynomial members of the same polynomial ring. The first argument is a polynomial ring and the rest are "SDMP"s. DMPL can be attributed with the "ordering" symbol to indicate a particular ordering for monomials of all its polynomials. Should be of the form DMPL(poly_ring_d(...), SDMP(...)+)
fns1/ domain	This symbol denotes the domain of a given function, which is the set of values it is defined over.
meta_cats/ domain	These objects have categories as there types and specific implementations of their functions. * details to be worked out * * for now * The first argument is a Category, the remaining arguments are the functions (e.g. lambda bindings or unapplied functions).
permutation1/ domain	This symbol is a function with one argument which is a endomap. When applied to a endomap whose arguments are a_1,...,a_n, it represents the set {1,...,n}.
fns1/ domainofapplication	Deprecated. This symbol was intended to model MathML domainofapplication but as defined it is a synonym for domain. In MathML3, MathML compatibility is defined to use the new restriction symbol.
linalgrank1/ dual_kernel_matrix	This symbol represents a unary function whose argument should be a matrix. When applied to a matrix, it represents a list of column vectors spanning the kernel of the matrix acting on the left.
expint/ E	The symbol E defines the generalised exponential integral as in Abramovitz & Stegun equation 5.1.4. This is an ordinary integral: $$E_n(z)=\int_1^{-\infty}\frac{e^{-zt}}{t^n} dt\qquad(\Re z>0)$$ which is then extended by analytic continuation (this latter is not currently represented in the FMPs) to the complex plane slit along the negative real axis. Note that OpenMath's definition is curried, i.e. E(n) is a function.
nums1/ e	This symbol represents the base of the natural logarithm, approximately 2.718. See Abramowitz and Stegun, Handbook of Mathematical Functions, section 4.1.
graph1/ edgeset	This symbol represents the set of edges of an undirected graph. It takes one argument, the undirected graph.
expint/ Ei	The symbol Ei defines the basic exponential integral as in Abramovitz & Stegun equation 5.1.2. This is a Cauchy principal value integral: $$Ei(x)=\int_{-\infty}^x\frac{e^t}t dt\qquad(x>0)$$ which is then extended by analytic continuation (this latter is not currently represented in the FMPs) to the complex plane slit along the negative real axis
linalgeig1/ eigenspace	This symbol represents a binary function, whose arguments should be a square matrix A over a field F and an element lambda of F. When applied to A and lambda, it returns a matrix whose rows are a basis of the eigenspace of A with respect to lambda.
linalg4/ eigenvalue	This symbol represents the eigenvalue of a matrix. It takes two arguments the first should be the matrix, the second should be an index to specify the eigenvalue. The ordering imposed on the eigenvalues is first on the modulus of the value, and second on the argument of the value. A definition of eigenvalue is given in Elementary Linear Algebra, Stanley I. Grossman in Definition 1 of chapter 6, page 533.
linalgeig2/ eigenvalue	This symbol represents a binary function. The first argument should be a square matrix A defined over the field of complex numbers, the second should be an index i to specify the eigenvalue. When applied to A and i it represents the i-th eigenvalue of A (counted without multiplicities). The ordering imposed on the eigenvalues is first on the modulus of the value, and second on the argument of the value. A definition of eigenvalue is given in Elementary Linear Algebra, Stanley I. Grossman in Definition 1 of chapter 6, page 533.
linalgeig1/ eigenvalues	This symbol represents a binary function, whose arguments should be a square matrix A and a field F over which the matrix A is defined. When applied to A and F, it returns a vector whose entries are the eigenvalues of A contained in F, with multiplicities.
linalg4/ eigenvector	This symbol represents the eigenvector of a matrix. It takes two arguments the first should be the matrix, the second should be an index to specify which eigenvalue this eigenvector should be paired with. The ordering is as given in the eigenvalue symbol. A definition of eigenvector is given in Elementary Linear Algebra, Stanley I. Grossman in Definition 1 of chapter 6, page 533.
linalgeig2/ eigenvector	This symbol represents a binary function. Its first argument should be a square matrix A defined over the complex numbers, the second should be an index i to specify which eigenvalue this eigenvector should be paired with, with the ordering specified in the definition of eigenvalue in this CD. When applied to A and i, it represents an eigenvector for A with respect to the i-th eigenvalue.
SIUsed_OffSystemMeasuredUnits1/ electronvolt	This symbol represents the measure of one electronvolt of energy. It has the short symbol form, "eV". It is the kinetic energy acquired by an electron in passing through a potential difference of 1 volt in a vacuum. Its measured value is 1 eV = 1.602176487(40) * 10^–19 J [CODATA 2006]
gp1/ element_set	The unary function which returns the set of elements of a group.
polyd/ elimination	This is an ordering, which is partially in terms of one ordering, and partially in terms of another. First argument is a number of variables. Second is ordering to apply on the first so many variables. Third is an ordering on the rest, to be used to break ties.
polyd2/ elimination	This is an ordering, which is partially in terms of one ordering, and partially in terms of another. First argument is a number of variables. Second is ordering to apply on the first so many variables. Third is an ordering on the rest, to be used to break ties.
multiset1/ emptyset	This symbol is used to represent the empty multiset, that is the multiset which contains no members. It takes no parameters.
set1/ emptyset	This symbol is used to represent the empty set, that is the set which contains no members. It takes no parameters.
monoid3/ emptyword	This symbol represents a constant. It represents the empty string.
moreerrors/ encodingError	This symbol represents the error which is returned when an application detects a lexical or syntactic error. It should have one argument which is a string, which should explain the error that occurred.
permutation1/ endomap	This symbol is an n-ary constructor. Its arguments should be positive integers. When applied to arguments a_1,...,a_n, the resulting value is the map sending i to a_i for i=1,...,n.
permutation1/ endomap_left_compose	This symbol is a binary function. Its arguments should be endomaps with identical domain D. When applied to arguments P1 and P2, the resulting value is the endomap which maps x in D to P1(P2(x)).
permutation1/ endomap_right_compose	This symbol is a binary function. Its arguments should be endomaps with identical domain D. When applied to arguments P1 and P2, the resulting value is the endomap which maps x in D to P2(P1(x)).
plangeo2/ endpoint	The endpoint of a halfline.
plangeo2/ endpoints	The two endpoints of a segment.
ThreeDgeo1/ endpoints	The symbol is used to indicate the set of the two endpoints of a segment in 3-dimensional Euclidean geometry by a variable. The symbol takes the variable as the first argument and the segment as second argument.
dimensions1/ energy	This symbol represents the energy physical dimension.
SI_DerivedQuantities1/ energy	This symbol represents the physical quantity of energy. A variable representing an arbitrary quantity of energy is commonly represented with the italic, upper case letter, "E".
SI_DerivedQuantities1/ entropy	This symbol represents the physical quantity of entropy, a measure of the disorder of a system.
list3/ entry	This symbol represents a binary function whose first argument should be a list L and whose second argument should be a positive integer i such that the absolute value of i is in the interval [1..n], where n is the length of L. If i is positive, it returns the i-th entry L[i] of L, if i is negative it returns the (n+1-i)-th entry of L.
list4/ entry	This symbol represents a binary function whose first argument should be a list L and whose second argument should be a positive integer i such that the absolute value of i is in the interval [1..n], where n is the length of L. If i is positive, it returns the i-th entry L[i] of L, if i is negative it returns the (n+1-i)-th entry of L.
matrix1/ entry_domain	This symbol is a unary function, whose argument should be a ring r. When applied to r, it represents the matrix-algebra ground domain (MAD).
relation1/ eq	This symbol represents the binary equality function.
integer2/ eqmod	This symbol represents a Boolean valued trivariate function, whose arguments should be integers. When applied to integers a, b, m, it denotes the Boolean evalue of the assertion that a and b are equal modulo m.
polynomial2/ eqmod	This symbol represents a Boolean valued trivariate function, whose arguments should be polynomials. When applied to polynomials a, b, m, it denotes the Boolean evalue of the assertion that a and b are equal modulo m.
relation4/ eqs	This symbol is used to denote the n-ary version of equality. When applied to n arguments a1, ..., an, it represents the boolean expression that a1, a2, ,,, and an are equal.
relation0/ equivalence	Proposition; the type of equivalence relations, namely relations that are reflexive, symmetric and transitive.
relation3/ equivalence_closure	This symbol represents a binary function whose first argument is a set S, whose second argument is a relation R on S. When applied to S and R, it represents the smallest equivalence relation (with respect to inclusion) on S containing R.
logic1/ equivalent	This symbol is used to show that two boolean expressions are logically equivalent, that is have the same boolean value for any inputs.
SI_DerivedQuantities1/ equivalent-dose	This symbol represents the physical quantity of equivalent dose of ionizing radiation. Equivalent dose is similar to absorbed dose but is weighted to reflect differing biological effects and different radiation types. A variable representing an arbitrary quantity of equivalent dose is commonly represented with the italic, upper case letter, "H".
sts/ error	The error symbol is the 'return type' of error symbols in the error signature file.
scscp1/ error_memory	A description of the error that caused a procedure call to be terminated. This symbol is used with a procedure_terminated, when the system exceeded the amount of memory specified in the option_max_memory option given in the corresponding procedure call. It carries one argument: An OMSTR, which may be empty.
scscp1/ error_runtime	A description of the error that caused a procedure call to be terminated. This symbol is used with a procedure_terminated, when the system exceeded the runtime specified in the option_runtime option given in the corresponding procedure call. It carries one argument: An OMSTR, which may be empty. Note that this symbol is not intended to be used when a different runtime error occurred. In those cases, one should use error_system_specific.
scscp1/ error_system_specific	A description of the error that caused a procedure call to be terminated. This symbol is used with a procedure_terminated, when the error is specific to the system that carried out the calculation. This error must carry exactly one argument, and it must be an OMSTR describing the error that occurred.
algebraic_cats/ Euclidean_domain	This symbol is the constructor for Euclidean domains. A Euclidean domain is a ring on which there is no zero divisors together with an integer norm function. The Euclidean_domain constructor takes six arguments: The set of the Euclidean domain. A binary function into itself to represent the multiplication operation, *. A binary function into itself to represent the addition operation, +. A member of the set of the Euclidean domain to specify the additive identity, 0. A unary function taking the set of the Euclidean domain into itself to represent the additive inverses (i.e. inverses under +, or negatives). And a unary function taking elements of the set into the positive integers, to represent the integer norm function.
generic_alg_cats/ Euclidean_domain	This Symbol represents the generic category of Euclidean domain.
algebraic_cats/ Euclidean_domain_abs	This symbol takes one argument which should be a Euclidean domain. It returns a unary function, which is the absolute value function of the Euclidean domain.
algebraic_cats/ Euclidean_domain_negative	This symbol takes one argument which should be a Euclidean domain. It returns a unary function, which represents additive inverses of the Euclidean domain.
algebraic_cats/ Euclidean_domain_plus	This symbol takes one argument which should be a Euclidean domain. It returns a binary function, which represents the additive operation of the Euclidean domain.
algebraic_cats/ Euclidean_domain_set	This symbol takes one argument which should be a Euclidean domain. It returns the set of the Euclidean domain.
algebraic_cats/ Euclidean_domain_times	This symbol takes one argument which should be a Euclidean domain. It returns a binary function, which represents the multiplicative operation of the Euclidean domain.
algebraic_cats/ Euclidean_domain_zero	This symbol takes one argument which should be a Euclidean domain. It returns the additive identity of the Euclidean domain.
norm1/ Euclidean_norm	This symbol signifies the Euclidean ($L_2$) norm.
integer2/ euler	This symbol denotes the univariate Euler totient function. If m is an integer, then euler(m) denotes the order of the multiplicative group of invertible elements in the residue class ring Z/mZ.
directives1/ evaluate	This symbol is a function with one argument, which should be a mathematical expression. When applied to a mathematical expression, it asks for an evaluation or simplification of the expression. The evaluation or simplification to be carried out by a service is a simpler mathematical expression (in some definition of complexity of objects) which is equal to the argument.
poly/ evaluate	Evaluation of a polynomial at a value or vector of values.
directives1/ evaluate_to_type	This symbol is a function with two arguments, which should be a mathematical expression and a type. When applied to a mathematical expression E and a type T, it asks for an evaluation or simplification of E to a mathematical expression of type T.
units_siprefix1/ exa	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^18$
meta/ Example	An element which contains an arbitrary number of children, each of which is either a string or an OpenMath Object. These children give examples in natural language, or in OpenMath, of the enclosing symbol definition.
units_binaryprefix1/ exbi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^60$. The full technical name is exabinary.
quant1/ exists	This symbol represents the existential ("there exists") quantifier which takes two arguments. It must be placed within an OMBIND element. The first argument is the bound variables (placed within an OMBVAR element), and the second is an expression.
transc1/ exp	This symbol represents the exponentiation function as described in Abramowitz and Stegun, section 4.2. It takes one argument.
poly/ expand	Converts a factored or squarefreed form into the expanded polynomial over the same ring, so that factored(recursive) -> recursive, etc.
polynomial1/ expand	Expands a polynomial.
polyoperators1/ expand	Expands a polynomial. Acts as expand(expresion).
directives1/ explore	This symbol is a unary function whose argument should be a mathematical assertion. When applied to an assertion A, it asks for conditions under which the assertion holds.
field1/ expression	This symbol is a function with two arguments. Its first argument should be a field. The second should be an arithmetic expression A, whose operators are times, plus, minus, unary_minus, and power, and whose leaves are members of the carrier of G. When applied to G and A, it denotes the element (of G) that is the element obtained from the leaves of A by applying the operations of G instead of those from the CD arith1 according to A. Here multiplication, addition, subtraction, minus, and power take over the roles of times, plus, minus, unary_minus, and power, respectively. Also, an integer m occurring in A will be interpreted as a member of G by interpreting it as the sum of m copies of the identity element, the symbol alg1.one will be interpreted as the identity, and the symbol alg1.zero will be interpreted as the zero of G.
group1/ expression	This symbol is a function with two arguments. Its first argument should be a group. The second should be an arithmetic expression A, whose operators are times and power, and whose leaves are members of the carrier of G. When applied to G and A, it denotes the element (of G) that is obtained from the leaves of A by applying the multiplication and the power map of G instead of the times and power from the CD arith1 appearing in A. The symbol alg1.one occurring in A will be interpreted as the identity of G.
monoid1/ expression	This symbol is a function with two arguments. Its first argument should be a monoid. The second should be an arithmetic expression A, whose operators are times and power, and whose leaves are members of the carrier of G. The second argument of power should be nonnegative. When applied to G and A, it denotes the element (of G) that is obtained from the leaves of A by applying the multiplication and the power map of G instead of the times and power from the CD arith1 appearing in A. The symbol alg1.one occurring in A will be interpreted as the identity of G.
ring1/ expression	This symbol is a function with two arguments. Its first argument should be a ring. The second should be an arithmetic expression A, whose operators are times, plus, minus, unary_minus, and power, and whose leaves are members of the carrier of G. (Here an integer m will be interpreted as a member of G by interpreting it as the sum of m copies of the identity element, the symbol alg1.one will be interpreted as the identity, and the symbol alg1.zero will be interpreted as the zero of G.) When applied to G and A, it denotes the element (of G) that is the element obtained from the leaves by applying the arithmetic operations of G instead of those from the CD arith1.
semigroup1/ expression	This symbol is a function with two arguments. Its first argument should be a semigroup G. The second should be an arithmetic expression A, whose operators are times and power, and whose leaves are members of the carrier of G. The second argument of power should be positive. When applied to G and A, it denotes the element (of G) that is obtained from the leaves of A by applying the multiplication and the power map of G instead of the times and power of the CD arith1 appearing in A.
arith3/ extended_gcd	The symbol represents the n-ary function, a_1,...,a_n to return a list consisting of the gcd (greatest common divisor) of its arguments, together with n elements x_1,...,x_n such that gcd(a_1,...,a_n)=x_1 a_1+...+x_n a_n
polygb2/ extended_in	This symbol is a function of at least 3 arguments. The first argument is a list of variables. The second and third argument are lists of polynomials in the variables from the first argument, C and T respectively. When applied to its arguments, it represents the boolean value of the assertion that all elements t in T can be written as t = f_1c_1 + ... + f_nc_n (c_i in C). If the optional 4th argument is 1, those f_i are returned.
poly/ factor	The decomposition of its argument into irreducible factors. A program that can compute the factorization is required to return a "factored" object - see above. It is currently an open question whether powers of 1 can be omitted.
polynomial4/ factor	A symbol which represents one factor of a factorisation, it takes at least 2 arguments, the first of which being the factor polynomial, e.g. a polyd1.DMP, and the second being its multiplicity specified as an integer >= 1. Optionally, the third argument is one of polynomial4.definitely_irreducible, polynomial4.possibly_reducible to indicate whether or not the given factor is guaranteed to be irreducible. Furthermore, this symbol may contain polynomial4.ground_ring_injected to indicate that the ground ring is considered to be embedded in the polynomial algebra and hence the factor is actually the factorisation of a polynomial coefficient.
polyoperators1/ factor	The action of factoring a polynomial into irreducible factors (I know this is field dependent but lets keep it simple by now).
semigroup1/ factor_of	This symbol is a ternary function. Its first argument should be a semigroup S and the second and third arguments should be elements of S. When applied to S, a, and b, it denotes the fact that a is a divisor of b in S. This means that there are u,v in carrier(S) such that uav=b.
poly/ factored	The constructor for a factorization. Its arguments are formal powers (see previous operator), where the polynomials are supposed to be irreducible (except possibly for a content from the ground ring). Note that "factored" is not a call to factorise something, rather a statement that we know a factorisation.
integer1/ factorial	The symbol to represent a unary factorial function on non-negative integers.
polynomial4/ factorisations	This symbol may be used in the reply of polynomial4.factorise and takes at least 1 argument. The first argument is one of polynomial4.factorisations_complete to indicate that the following list of polynomial4.factors cells covers all possible factorisations. The counterpart would be polynomial4.factorisations_possibly_incomplete to indicate that the following list of factorisations are some of possibly many more factorisations. Note: If the polynomial algebra is a UFD (unique factorisation domain) the uniqueness can be underpinned by giving exactly one polynomial4.factors cell and using the symbol polynomial4.factorisations_complete here. The rest of the arguments are polynomial4.factors cells, each of which being a possible factorisation. Using the call of polynomial4.factorise above we might obtain:
polynomial4/ factorisations_complete	A symbol to indicate that a given list of factorisations of a polynomial covers in fact all possible factorisations.
polynomial4/ factorisations_incomplete	A symbol to indicate that a given list of factorisations is an assortment of all possible factorisations.
polynomial4/ factorise	This symbol is a unary function, whose argument should be a polynomial f. When applied to f, it represents a list of factors of f. Cf. polynomial4.factorisations for a description of the expected reply.
integer1/ factorof	This is the binary OpenMath operator that is used to indicate the mathematical relationship a "is a factor of" b, where a is the first argument and b is the second. This relationship is true if and only if b mod a = 0.
polynomial3/ factors	This symbol is a unary function, whose argument should be a polynomial f. When applied to f, it represents a complete list of irreducible factors of f.
polynomial4/ factors	This symbol is used in the reply of polynomial4.factorise and takes at least 2 arguments. Note this symbol may also be used in a polynomial4.factorisations cell. The first argument is one of polynomial4.definitely_irreducible or polynomial4.possibly_reducible and specifies whether the computed factorisation is known to be irreducible or if the irreducibility of some of the factors is not guaranteed. Note: This symbol is mandatory even if the factors themselves (see polynomial4.factor) can carry that information, this is simply to connive at computer algebra systems that cannot figure out which of the factors is the possibly reducible one. Generally this slot must be polynomial4.possibly_reducible if at least one of the factors is possibly reducible. The second argument contains a polyd1.poly_ring_d or polyd1.poly_ring_d_named cell, as specified in e.g. polyd or polyd1 to indicate the underlying polynomial algebra. The third argument is a symbol polynomial4.common_coefficient and denotes the common coefficient of the factorisation. Note: In case the ground ring itself is regarded as being injected into the polynomial algebra, or the factorisation is normalised, this field may be used to specify the unit giving the normalisation. Furthermore, the cell comprises polynomial4.factor cells which in turn represent the factors of the polynomial in a factorisation along with their multiplicities. Using the call of polynomial4.factorise above we might obtain:
polyoperators1/ factors	The action of returning a list composed of the irreducible factors of a polynomial. (I know this is field dependent but lets keep it simple by now).
hypergeon1/ falling_factorial	falling_factorial(n,i) is equal to n(n-1) ... *(n-i+1).
hypergeon1/ falling_multi_factorial	falling_multi_factorial is a product of falling pochhammer symbols. 2-ary function. reference: authors: "Saito, Sturmfels, Takayama" title: "Grobner Deformations of Hypergeometric Differential Equations" pages: 127
logic1/ false	This symbol represents the boolean value false.
SI_NamedDerivedUnits1/ farad	This symbol represents an SI unit of electric capacitance. It has the short symbol form, "F".
physical_consts1/ Faradays_constant	This symbol represents the electric charge carried by one mole of electrons. It is approximately 96485.309 +/- 0.029 Coulombs per mole.
units_siprefix1/ femto	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-15$
combinat1/ Fibonacci	The Fibonacci numbers, defined by the linear recurrence: Fibonacci(0) = 0, Fibonacci(1) = 1, and Fibonacci(n + 1) = Fibonacci(n) + Fibonacci(n - 1). Note that some authors define Fibonacci(0) = 1.
algebraic_cats/ field	This symbol is the constructor for fields. A field is an Abelian group under +, the set of the field complement {0} with * is an Abelian group, a field has a further rule which associates the two operations, that is left and right distributivity. The field constructor takes seven arguments: The set of the field. A binary function into itself to represent the multiplication operation, . A binary function into itself to represent the addition operation, +. A member of the set of the field to specify the multiplicative identity, 1. A member of the set of the field to specify the additive identity, 0. A unary function taking the set of the field into itself to represent the multiplicative inverses (i.e. inverses under ). A unary function taking the set of the field into itself to represent the additive inverses (i.e. inverses under +, or negatives).
field1/ field	This symbol is a constructor for fields. It takes seven arguments R, a, o, n, m, e, i: which are, respectively, a set R to specify the elements in the field, a binary operation a on R, an element o of R, and a unary operation n on R such that [R,a,o,n] is a commutative group, a binary operation m on R, an element e of R, and a map from R - {o} to itself such that [R,m,e] is a monoid and such that [R - {o},m',e,i] is a group, where m' is the restriction of m to R -{o}.
generic_alg_cats/ field	This Symbol represents the generic category of field.
finfield1/ field_by_conway	This symbol represents a binary function. The first argument should be a prime number p, the second argument a positive integer n. This symbol returns the field GF(q)[X]/ (C(X)), where q = p^n, X is an indeterminate, C(X) is the Conway polynomial f_{n,p}(X), and (C(X)) is the ideal in the polynomial ring GF(q)[X] generated by C(X).
finfield1/ field_by_conway	This symbol has two arguments. Its first argument should be a prime number p and its second argument a positive integer n. When applied to p and n, the result is the field defined as the quotient ring GF(p)[X]/(c(X)), where c(X)=conway_polynomial(p,n).
field3/ field_by_poly	This symbol is a binary function whose first argument is a univariate polynomial ring R over a field, and whose second argument is an irreducible polynomial f in this polynomial ring R. So, when applied to R and f, the function has value the quotient ring R/(f).
field4/ field_by_poly_map	Same as quotient_by_poly_map in CD ring5, except that R and the quotient ring R[X]/(f) are fields (so f is irreducible in R[X]).
field4/ field_by_poly_vector	This symbol is a binary function. Its first argument should be a field_by_poly(R,f). Its second argument should be a list L of elements of F, the coefficient field of the univariate polynomial ring R = F[X]. The length of the list L should be equal to the degree d of f. When applied to R and L, it represents the element L[0] + L[1] x + L[2] x^2 + ... + L[d-1] ^(d-1) of R/(f), where x stands for the image of x under the natural quotient map R -> R/(f). If the first argument is a field_by_conway(p,n), defined in the CD finfield1, then the same interpretation holds, where R and f are respectively poly_ring_d(GFp(p),1) and conway_polynomial(p,n).
algebraic_cats/ field_negative	This symbol takes one argument which should be a field. It returns a unary function, which is the additive inverse function of the field.
algebraic_cats/ field_one	This symbol takes one argument which should be a field. It returns the multiplicative identity of the field.
algebraic_cats/ field_plus	This symbol takes one argument which should be a field. It returns a binary function, to represent the additive operation of the field.
algebraic_cats/ field_reciprocal	This symbol takes one argument which should be a field. It returns a unary function, which is the multiplicative inverse function of the field.
algebraic_cats/ field_set	This symbol takes one argument which should be a field. It returns the set of the field.
algebraic_cats/ field_times	This symbol takes one argument which should be a field. It returns a binary function, to represent the multiplicative operation of the field.
algebraic_cats/ field_zero	This symbol takes one argument which should be a field. It returns the additive identity of the field.
directives1/ find	This symbol is a binder, whose body should be a clause. When bound to a variable (or list of variables) x with body P(x), it asks for a mathematical expression A such that P(A) holds.
aggregate_cats/ finiteSetType	This symbol represents the type of finite sets.
list2/ first	This symbol represents a function which returns the first elements of its argument, which should be a list.
list2/ first	This symbol represents a function which returns the first elements of its argument, which should be a list.
permutation1/ fix	This symbol is a function with two arguments. The first argument should be a permutation, the second argument a set. When applied to a permutation g and a set X, it represents the subset A of X all points that do not belong to the support of g.
omtypes/ float	The type of floating point numbers
rounding1/ floor	The round down (to -infinity) operation.
meta/ FMP	An optional element which contains an OpenMath Object. This corresponds to a property of the symbol being defined.
mathmltypes/ fn_type	A symbol to be used as the argument of the type symbol to convey the type for a function name.
units_imperial1/ foot	This symbol represents the measure of one foot. This is the standard imperial measure for distance.
units_us1/ foot_us_survey	This symbol represents the measure of one U.S. Survey foot.
prog1/ for	This symbol can be used to encode the for loop. The syntax is for(block1,conditional_block,block3,block4), where block1 is the initialization block, conditional_block is the conditional block that determines the end of the loop, block3 is the incremental block and block4 is the body of the for loop. Each of this blocks should be present (althougth they can be empty).
quant1/ forall	This symbol represents the universal ("for all") quantifier which takes two arguments. It must be placed within an OMBIND element. The first argument is the bound variables (placed within an OMBVAR element), and the second is an expression.
dimensions1/ force	This symbol represents the force physical dimension.
SI_DerivedQuantities1/ force	This symbol represents the physical quantity of force. A variable representing an arbitrary quantity of force is commonly represented with the italic, upper case letter, "F".
mathmlattr/ foreign	A symbol to be used within an OpenMath attribute to specify an attribute of the object. The annotation should be an quadruple of strings constructed via a head foreign_attribute.
mathmlattr/ foreign_attribute	A symbol to be used as the head of the OpenMath application to construct the object used as the value of the foreign attribution. The four arguments of this function should be OpenMath strings representing in order, the Namespace, prefix and local name and value of the MathML attribute.
field3/ fraction_field	This is a unary function. Its argument should be a domain (as in CD ring4). It denotes the fraction field of the domain.
field3/ free_field	This symbol represents a binary function. The first argument should be a natural number p which is zero or a prime number, the second argument a list or a set L. When evaluated on such arguments p and L, the function represents the field of rational functions in L over the rationals if p = 0 and over the field of integers mod p if p is a prime.
group3/ free_group	This symbol represents a unary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free group generated by the entries of the list or set.
magma3/ free_magma	This symbol represents a binary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free magma generated by the entries of the list or set.
monoid3/ free_monoid	This symbol represents a unary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free monoid generated by the entries of the list or set.
ring3/ free_ring	This symbol represents a binary function. The first argument should be a ring and the second a list or a set. When evaluated on such arguments R and L, the function represents the free ring over R generated by the elements (or entries) of L. This ring can also be viewed as the ring of non-commutative polynomials over R with variables the elements of L.
semigroup3/ free_semigroup	This symbol represents a binary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free semigroup generated by the entries of the list or set.
SI_DerivedQuantities1/ frequency	This symbol represents the physical quantity of frequency. A variable representing an arbitrary quantity of frequency is commonly represented with the italic, lower case greek variable, "\omega;".
fns3/ function	This symbol denotes a function constructor. When aplied to at least two arguments, which are sets, the first argument is the domain and the second the range of the function. When applied to at least three arguments, the first two of which are stes and the third of which is a lambda expression, the third argument gives the function specification.
prog1/ function_block	The block of code defining the body of the function. The syntax is function_block(local_var,block1), where local_var encodes the local variables (private to the function body) and block1 is the body of the function. Both locar_var and block1 should be present (and of course both can be also empty).
prog1/ function_call	Symbol function_call can be used to "call" already defined functions. The syntax is function_call(name, call_arguments), where name is the encoding of an OpenMath variable (OMV) representing the name of the function and call_arguments are the arguments to pass to the function. Both, name and call_arguments, should be present but call_arguments can be empty.
prog1/ function_definition	The symbol function_definition can be is used to define a function. The syntax is function_definition(name, def_arguments, function_block), where name is the encoding of an OpenMath variable (OMV) representing the name of the funtion, def_arguments is the enconding of the arguments that the function receives and function_block is the body of the function (local variables declarations + body of the function). Functions are completely unaware of the rest of the "world" except for the information they received from the arguments. Functions are only allowed to return values by means of the return construct.
setname3/ function_set	The function_set operator generates the set of functions between the sets specified as its arguments. cf Hom(A,B) in Category theory, and mapsto in the sts CD. For a set of n-argument functions, function_set will take n+1 arguments, specifying the sets of the n arguments and the range.
hypergeo0/ gamma	Euler's gamma function
nums1/ gamma	A symbol to convey the notion of the gamma constant as defined in Abramowitz and Stegun, Handbook of Mathematical Functions, section 6.1.3. It is the limit of 1 + 1/2 + 1/3 + ... + 1/m - ln m as m tends to infinity, this is approximately 0.5772 15664.
physical_consts1/ gas_constant	This symbol represents the constant which is equal to the ratio of the pressure times the volume and the temperature of an ideal gas. It is approximately 8.31451 +/- 7.0*10^(-05) Joules per mole per Kelvin.
arith1/ gcd	The symbol to represent the n-ary function to return the gcd (greatest common divisor) of its arguments.
poly/ gcd	The n-ary greatest common divisor of its polynomial arguments. This is unique up to units.
polynomial3/ gcd	The n-ary greatest common divisor for univariate polynomials over fields.
polyoperators1/ gcd	The n-ary greatest common divisor for univariate polynomials.
test-x/ gcd	The symbol to represent the n-ary function to return the gcd (greatest common divisor) of its arguments.
logic3/ Generalisation	This symbol represents the generation of a line of a proof by application of Generalisation. The first argument is the new well-formed formula (forall x.B) and the second is the line number in the proof for B.
gen_hyperbolic1/ generalised_hyperbolic	This symbol represents the generalised hyperbolic function as recorded by Riccati. It is intended to be applied in the curried form, that is, the symbol should be applied to three arguments in order to return a function which should be applied to one argument. The generalised hyperbolic function may be defined as an infinite sum as in the first CMP/FMP .
groupname1/ generalized_quaternion_group	This symbol is a function with one argument, which should be a positive integer. When applied to n it represents the generalized quaternion group of order 4n. This is the group with three generators a, b, and c and relations c = a^2 = b^n, ca = ac , bc = cb, ab = ba*c, and c^2 = 1.
permgp1/ generators	This is a function with one argument, which should be a permutation group. When evaluated with argument G it returns the list of permutations which occur in the definition of G.
relation1/ geq	This symbol represents the binary greater than or equal to function which returns true if the first argument is greater than or equal to the second, it returns false otherwise.
scscp2/ get_allowed_heads	This symbol is used to find the list of procedures supported by an SCSCP server.
scscp2/ get_service_description	A symbol for the client to ask for some description of a service. Note that this is a very generic description of the service running on a particular port on a particular machine. More details about for example the available symbols there may be obtained with get_allowed_heads, get_signature or get_transient_cd.
scscp2/ get_signature	A symbol for the client to inquire about the signature of a particular function.
scscp2/ get_transient_cd	This symbol is used to get the contents of a transient CD created by a server.
setname2/ GFp	This symbol represents the finite field of integers modulo p, where p is a prime.
setname2/ GFpn	This symbol represents the finite field with p^n elements, where p is a prime.
units_binaryprefix1/ gibi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^30$. The full technical name is gigabinary.
units_siprefix1/ giga	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^9$
group3/ GL	This symbol is a function with one argument, which should be a vector space or a module V. When applied to V it represents the group of all invertible linear transformations of V.
group3/ GLn	This symbol is a function with two arguments. The first should be a positive integer n, the second a field F. When applied to n and F it represents the group of all invertible linear transformations of the vector space over F of dimension n.
prog1/ global_var	This symbol, which can have an aribtrary positive number of arguments which must all be variables, can be used to declare global variables as known to functions.
weylalgebra1/ gr	the symbol polynomial of a given differential operator. The inverse of diffop.
veccalc1/ grad	This symbol is used to represent the grad function. It takes one argument which should be a scalar valued function and returns a vector of functions. It should satisfy the defining relation: grad(F) = (\partial(F)/\partial(x_1), ... ,\partial(F)/partial(x_n))
polyd/ graded_lexicographic	Total degree order, graded with the lexicographic ordering. Note that, if a poly_ring_d_named is used, lexigographic refers to the order of the variables in the poly_ring_d_named, not to their order as strings.
polyd2/ graded_lexicographic	Total degree order, graded with the lexicographic ordering.
polyd/ graded_reverse_lexicographic	Total degree order, graded with the reverse lexicographic ordering. Note that, if a poly_ring_d_named is used, lexigographic refers to the order of the variables in the poly_ring_d_named, not to their order as strings.
polyd2/ graded_reverse_lexicographic	Total degree order, graded with the reverse lexicographic ordering.
SI_NamedDerivedUnits1/ gram	This symbol represents one gram. This unit is implied by the incorporation of the prefix "kilo" in the base unit standard, kilogram. Since SI prefixes may not, by SI standard, be presented by prepending to "kilogram", the gram is introduced for the application of prefixes. By itself, gram should not appear in SI compliant presentation. It has the short symbol form, "g".
units_metric1/ gramme	This symbol represents the measure of one gramme. This is not quite the standard SI measure for mass, which is the kilogramme, but OpenMath chooses to regard the gramme as standard, otherwise one would have to call it the milli-kilogramme.
graph1/ graph	This symbol represents an undirected graph. It takes two arguments: the vertex set of the graph and the edge set. The vertices can be arbitrary OpenMath objects. Each edge should be a set consisting of two vertices.
FundamentalPhysicalConstants1/ gravitational-constant	This symbol represents the constant of proportionality in Newton's law of universal gravitation. By measurement it is found to be approximately equal to 6.6742(10)*10^-11 newton metre^2 per kilogram^2. It is commonly represented with the short, italic symbol, "G".
physical_consts1/ gravitational_constant	This symbol represents the constant of proportionality in Newtons law of universal gravitation which states; Two bodies attract each other with equal and opposite forces; the magnitude of this force is proportional to the product of the two masses and is also proportional to the inverse square of the distance between the centers of mass of the two bodies. It is approximately equal to: 6.672*10^(-11) Newton square metres per kilogramme squared.
SI_NamedDerivedUnits1/ gray	This symbol represents an SI unit of absorbed dose of ionizing, radiation. A gray of absorbed dose represents one joule of energy absorbed per kilogram of mass. It has the short symbol form, "Gy".
polyd/ groebner	The groebner basis (lt-reduced, minimal) of a set of polynomials, with respect to a given ordering. First argument is an ordering, the second is a list of polynomials. A program that can compute the basis is required to return a "groebnered" object.
polygb1/ groebner	The groebner basis (reduced, minimal) of a set of polynomials, with respect to a given ordering. First argument is a list of variables, the second is an ordering, the third is a list of polynomials. A program that can compute the basis is required to return a "groebner_basis" object.
polygb1/ groebner_basis	The constructor for a Groebner basis (reduced, minimal). The first is a list of variables, the second argument is an ordering, the third is the Groebner Basis itself (with respect to the ordering) that should be represented as a polynomial expression.
polyd/ groebnered	The constructor for a Groebner basis (reduced, minimal). The first argument is an ordering, the second is the Groebner Basis itself (with respect to the ordering) that should be represented as a DMPL.
polygb1/ groebnered	The constructor for a Groebner basis (reduced, minimal). The first argument is an ordering, the second is the Groebner Basis itself (with respect to the ordering) that should be represented as a DMPL.
polynomial4/ ground_ring_injected	A symbol which denotes that the ground ring of a polynomial algebra is considered to be part of the latter. This is used in the polynomial4.factor symbol to indicate that the factor is part of the factorisation of the common coefficient.
algebraic_cats/ group	This symbol is the constructor for groups, that is a monoid for which every element is invertible. The group constructor takes four arguments, the set of the group, a binary function taking two elements of the set into itself to represent the operation of the group, an element of the set to represent the identity of the group and a unary function taking the set into itself to specify inverse elements of the group.
generic_alg_cats/ group	This Symbol represents the generic category of group.
gp1/ group	The n-ary function Group. The group generated by its arguments. The arguments must have a natural group operation associated with them.
group1/ group	This symbol is a constructor for groups. It takes four arguments in the following order: a set to specify the elements in the group, a binary operation to specify the group operation, an element to specify the identity, and a unary operation to specify inverses of group elements. Both the binary and unary operations should act on elements of the set and return an element of the set.
permgp1/ group	This symbol represents an n-ary function. The first argument is a group operation (usually, left_compose or right_compose), the other n-1 arguments represent permutations. When evaluated on such arguments, the function represents the permutation group generated by the last n-1 arguments.
algebraic_cats/ group_identity	This symbol takes one argument which should be a group. It returns the identity of the group.
algebraic_cats/ group_inverse	This symbol takes one argument which should be a group. It returns a unary function, which is the inverse mapping for the group.
algebraic_cats/ group_operation	This symbol takes one argument which should be a group. It returns a binary function, which represents the operation of the group.
algebraic_cats/ group_set	This symbol takes one argument which should be a group. It returns a set, which should be the set of the group.
algebraic_cats/ groupoid	This symbol is the constructor for groupoids, that is an algebraic structure on a set, with a binary operation. The operator of the groupoid must be closed over the set of the groupoid. The groupoid constructor takes two arguments, the set of the groupoid and a binary function which represents the operation of the groupoid.
generic_alg_cats/ groupoid	This Symbol represents the generic category of groupoid.
algebraic_cats/ groupoid_operation	This symbol takes one argument which should be a groupoid. It returns a binary function which should represent the operation of the groupoid.
algebraic_cats/ groupoid_set	This symbol takes one argument which should be a groupoid. It returns the set of the groupoid.
relation1/ gt	This symbol represents the binary greater than function which returns true if the first argument is greater than the second, it returns false otherwise.
setname2/ H	This symbol represents the set of quaternions.
plangeo2/ halfline	The halfline starting at A and going through B. The symbol takes as arguments the points A and B.
hypergeo2/ hankel1	The first Hankel function. This function is one of the famous two solutions of the Bessel differential equation at z=\infty.
hypergeo2/ hankel2	The second Hankel function. This function is the another one of the famous two solutions of the Bessel differential equation at z=\infty.
meta_cats/ has	This symbol represents the notion of category inclusion. It takes two arguments, which should both be categories. It implies that axioms of the second argument apply to the first, and that function signatures in the second category are also in the first.
SI_DerivedQuantities1/ heat	This symbol represents the physical quantity of energy that is transferred from one object to another due to a difference in temperature.
units_siprefix1/ hecto	This symbol represents the fact that the subsequent unit has been effectively multiplied by $100$
SI_NamedDerivedUnits1/ henry	This symbol represents an SI unit of electrical inductance. It has the short symbol form, "H".
linalg5/ Hermitian	This symbol represents a Hermitian matrix, it takes one argument. The argument should be a vector of vectors of values which determine the upper triangle of the matrix. The lower triangle of the matrix is specified by the following relation: M^* = transpose(M), were M^* denotes the matrix consisting of all the complex conjugates of M.
linalgsym1/ Hermitian	This symbol represents a Hermitian matrix, it takes one argument. The argument should be a vector of vectors of values which determine the upper triangle of the matrix. The lower triangle of the matrix is specified by the following relation: M^* = transpose(M), were M^* denotes the matrix consisting of all the complex conjugates of M.
SI_NamedDerivedUnits1/ hertz	This symbol represents an SI unit of frequency. It has the short symbol form, "Hz".
field4/ homomorphism_by_generators	This is a function with three arguments the first two of which must be fields F and K. The third argument should be a set or a list L of ordered pairs (lists of length 2). Each pair [x,y] from L consists of an element x from F and an element y from K. when applied to F, K, and L, the symbol represents the homomorphism from F to K that maps the first entry x of each pair [x,y] to the second entry y of the same pair.
group5/ homomorphism_by_generators	This is a function with three arguments the first two of which must be groups F and K. The third argument should be a set or a list L of ordered pairs (lists of length 2). Each pair [x,y] from L consists of an element x from F and an element y from K. When applied to F, K, and L, the symbol represents the group homomorphism from F to K that maps the first entry x of each pair [x,y] to the second entry y of the same pair.
ring5/ homomorphism_by_generators	This is a function with three arguments the first two of which must be monoids F and K. The third argument should be a set or a list L of ordered pairs (lists of length 2). Each pair [x,y] from L consists of an element x from F and an element y from K. when applied to F, K, and L, the symbol represents the monoid homomorphism from F to K that maps the first entry x of each pair [x,y] to the second entry y of the same pair.
semigroup4/ homomorphism_by_generators	This is a function with three arguments the first two of which must be semigroups F and K. The third argument should be a set or a list L of ordered pairs (lists of length 2). Each pair [x,y] from L consists of an element x from F and an element y from K. when applied to F, K, and L, the symbol represents the homomorphism from F to K that maps the first entry x of each pair [x,y] to the second entry y of the same pair.
SIUsed_OffSystemUnits1/ hour	This symbol represents the measure of one hour of time. It has the short symbol form, "h".
units_time1/ hour	This symbol represents the measure of one hour of time.
hypergeo1/ hypergeometric0F1	Hypergeometric function {}_0 F_1.
hypergeo1/ hypergeometric1F1	Kummer's confluent hypergeometric function.
hypergeo1/ hypergeometric2F1	The Gauss hypergeometric function. This function has a branch cut on [1,+infinity).
hypergeo1/ hypergeometric_pFq	Generalized hypergeometric function. This function has a branch cut on [1,+infinity).
logic3/ Hypothesis	This symbol represents that a wellformed formula is a hypothesis of a deduction of the propositional or predicate calculus.
nums1/ i	This symbol represents the square root of -1.
plangeo5/ ideal	This symbol is a function in one argument, which should be a coordinatized configuration (that is, each geometric object involved has coordinates). When evaluated at a configuration C it represents a function (given by a lambda binder) mapping the new parameters (arising when the inequality properties in the configuration are being translated into polynomials) to a list of polynomials in the coordinates that are variables which, when equated to zero, represent conditions equivalent to those describing the configuration C. When evaluated at an assertion assertion(C,S) it represents a function (given by a lambda binder) mapping the new parameters (arising when the inequality properties in the configuration are being translated into polynomials) to a list of polynomials in the coordinates that are variables which, when equated to zero, represent conditions equivalent to those describing the configuration C.
ring3/ ideal	This symbol represents a binary function. The first argument is a ring R and the second argument is a list or a set. When evaluated on R and such a second argument, the function represents the ideal in R generated by the entries of the list or set.
field1/ identity	This symbols represents a unary function, whose argument should be a field. It returns the identity element of the field.
fns1/ identity	The identity function, it takes one argument and returns the same value.
group1/ identity	This symbols represents a unary function, whose argument should be a group. It returns the identity element of the group.
linalg4mat/ identity	This symbol denotes a unary function which is used to construct the (nxn) identity matrix where n is the single argument. The argument n must be a natural number.
linalg5/ identity	This symbol denotes a unary function which is used to construct an (nxn) identity matrix where n is the single positive integral argument.
monoid1/ identity	This symbols represents a unary function, whose argument should be a monoid. It returns the identity element of the monoid.
ring1/ identity	This symbols represents a unary function, whose argument should be a ring. It returns the identity element of the ring.
prog1/ if	The symbol can be used to encode the if, then, else construct. The syntax is if(conditional_block,block1,block2), where the conditional_block is the block that determines wich of the block of codes block1 and block2 is going to be executed, block1 is the then block and block2 if the else block. The conditional_block and block1 are required but block2 is optional.
SI_DerivedQuantities1/ illuminance	This symbol represents the physical quantity of illuminance. A variable representing an arbitrary quantity of illuminance is commonly represented with the italic, upper case letter, "E".
fns1/ image	This symbol denotes the image of a given function, which is the set of values the domain of the given function maps to.
complex1/ imaginary	This represents the imaginary part of a complex number
logic1/ implies	This symbol represents the logical implies function which takes two boolean expressions as arguments. It evaluates to false if the first argument is true and the second argument is false, otherwise it evaluates to true.
list2/ in	This symbol has two arguments, an element and a list. It is used to denote that the element is in the given list.
list3/ in	This symbol represents a boolean function with two arguments, an element and a list. It is used to denote that the element is in the given list.
multiset1/ in	This symbol has two arguments, an element and a multiset. It is used to denote that the element is in the given multiset.
polygb2/ in	This symbol is a function of at least 4 arguments. The first argument is a polynomial p, the second is a list of variables, the third is an ordering the fourth is a list of polynomials B, and, optionally, the fifth is a polynomial_ring. When applied to its arguments, it represents the boolean value of the assertion that p belongs to the ideal generated by B.
set1/ in	This symbol has two arguments, an element and a set. It is used to denote that the element is in the given set.
polygb2/ in_radical	This symbol is a function of at least 4 arguments. The first argument should be a polynomial p, the second is a list of variables, the third is an ordering the fourth is a list of polynomials B, and optionally: the fifth is a polynomial_ring. When applied to its arguments, it represents the boolean value of the assertion that p belongs to the radical ideal generated by B.
plangeo1/ incident	The symbol represents the logical incidence function which is a binary function taking arguments representing geometric objects like points and lines and returning a boolean value. It is true if and only if the first argument is incident to the second.
ThreeDgeo2/ incident	The symbol represents the logical incidence function which is a binary function taking arguments representing geometric objects like points and lines and returning a boolean value. It is true if and only if the first argument is incident to the second.
poly1p/ index	index returns the index of a given indexed variable.
poly1p/ indexed_variable	indexed_variable(x,i) returns the variable x_i
indnat/ indNat	Attribution tag to denote the type of inductively defined natural numbers. It is also denoted as setname1:N.
icc/ IndType	Constructor for Inductive Types. Takes arguments the constructor functions for the inhabitants of the type and their signatures.
SI_DerivedQuantities1/ inductance	This symbol represents the physical quantity of electrical inductance. A variable representing an arbitrary quantity of inductance is commonly represented with the italic, upper case letter, "L".
aggregate_cats/ infiniteSetType	This symbol represents the type of infinite sets.
nums1/ infinity	A symbol to represent the notion of infinity.
scscp1/ info_memory	A piece of information from the system, to be used along with a procedure_completed or procedure_terminated message, describing how much memory was spent on the calculation. It should be in bytes, denoted using an OMI.
scscp1/ info_message	A piece of information from the server, to be used along with a procedure_completed or procedure_terminated message, giving some additional information. The client may choose to present this information to its user. The argument is an OMSTR.
scscp1/ info_runtime	A piece of information from the system, to be used along with a procedure_completed or procedure_terminated message, describing how much cputime was spent on the calculation. It should be in milliseconds, denoted using an OMI.
intpath1/ infty	The infty on the Riemann sphere. When the coordinate of the complex plane is z, we call t=1/z the standard coordinate around the infinity of the Riemann sphere.
numerical2/ initial_value	This symbol marks an initial value for a parameter, for example this could be the point from which a newton iteration would start.
polyslp/ inp_node	This constructor takes one argument, which is a variable. The return value is intended to represent an input node.
calculus1/ int	This symbol is used to represent indefinite integration of unary functions. The argument is the unary function.
calculus1/ int	This symbol is used to represent indefinite integration of unary functions. The argument is the unary function.
coercions/ int2flt	The function that converts an integer to a float.
omtypes/ integer	The type of integers
interval1/ integer_interval	A symbol to denote a discrete 1 dimensional interval from the first argument to the second (inclusive), where the discretisation occurs at unit intervals. The arguments are the start and the end points of the interval in that order.
mathmltypes/ integer_type	A symbol to be used as the argument of the type symbol to convey the type of an integer.
interval_types/ integerIntervalType	This symbol represents the type of integer intervals.
ring3/ integers	This is a symbol representing the ring of integers.
algebraic_cats/ integral_domain	This symbol is the constructor for integral domains. An integral domain is a ring which is commutative under , it has a multiplicative identity (under ), and has no zero divisors. The integral_domain constructor takes six arguments. The set of the integral domain, a binary function from the set into itself to represent the * operation, a binary function from the set into itself to represent the + operation, an element of the set of the ring to represent the multiplicative identity 1, an element of the set of the ring to represent the additive identity 0, and a unary function from the set into itself to represent additive inverses (i.e. inverses under +, or negatives).
generic_alg_cats/ integral_domain	This Symbol represents the generic category of integral domain.
algebraic_cats/ integral_domain_negative	This symbol takes one argument which should be an integral domain. It returns a unary function which represents the additive inverse function of the integral domain.
algebraic_cats/ integral_domain_one	This symbol takes one argument which should be an integral domain. It returns the multiplicative identity of the integral domain.
algebraic_cats/ integral_domain_plus	This symbol takes one argument which should be an integral domain. It returns a binary function which represents the additive operation of the integral domain.
algebraic_cats/ integral_domain_set	This symbol takes one argument which should be an integral domain. It returns the set of the integral domain.
algebraic_cats/ integral_domain_times	This symbol takes one argument which should be an integral domain. It returns a binary function which represents the multiplicative operation of the integral domain.
algebraic_cats/ integral_domain_zero	This symbol takes one argument which should be an integral domain. It returns the additive identity of the integral domain.
calculus2/ integrand	This symbol represents the integrand of the integral.
multiset1/ intersect	This symbol is used to denote the n-ary intersection of multisets. It takes multisets as arguments, and denotes the multiset that contains all the elements that occur in all of them, with multiplicity the minimum of their multiplicities in all multisets.
set1/ intersect	This symbol is used to denote the n-ary intersection of sets. It takes sets as arguments, and denotes the set that contains all the elements that occur in all of them.
interval1/ interval	A symbol to denote a continuous 1-dimensional interval without any information about the character of the end points (used in definite integration). The arguments are the start and the end points of the interval in that order.
sts2/ interval	A constructor for an interval over a set.
interval1/ interval_cc	A symbol to denote a continuous 1-dimensional interval with both end points included in the interval. The arguments are the start and the end points of the interval in that order.
interval1/ interval_co	A symbol to denote a continuous 1-dimensional interval with the first point included in the interval, but the last excluded. The arguments are the start and the end points of the interval in that order.
interval1/ interval_oc	A symbol to denote a continuous 1-dimensional interval with the first point excluded from the interval, but the last included. The arguments are the start and the end points of the interval in that order.
interval1/ interval_oo	A symbol to denote a continuous 1-dimensional interval with both end points excluded from the interval. The arguments are the start and the end points of the interval in that order.
interval_types/ intervalType	This symbol represents the type of intervals.
arith2/ inverse	A unary operator which represents the inverse of an element of a set. This symbol could be used to represent additive or multiplicative inverses.
field1/ inverse	This symbol represents a unary function, whose argument should be a field S. It returns the map sending a nonzero element of S to its multiplicative inverse.
fns1/ inverse	This symbol is used to describe the inverse of its argument (a function). This inverse may only be partially defined because the function may not have been surjective. If the function is not surjective the inverse function is ill-defined without further stipulations. No assumptions are made on the semantics of this inverse.
permutation1/ inverse	This symbol is a unary function. Its argument should be a permutation. When applied to argument P, the resulting value is the inverse permutation of P.
group1/ inversion	This symbol represents a unary function, whose argument should be a group G. It returns the map sending an element of G to its inverse.
group3/ invertibles	This symbol is a function with one argument, which should be a monoid M. When applied to M it represents the group of all invertible elements of M.
monoid1/ invertibles	This symbol is a unary function. Its argument should be a monoid M. When applied to M, it denotes the submonoid of M consisting of all invertible elements in M. This is a group.
ring3/ invertibles	This is a unary function, whose argument is a ring R. When applied to R, it denotes the set of invertible elements of R with respect to the multiplication on R.
relation0/ irreflexive	Proposition; the type of irreflexive binary relations.
gp1/ is_abelian	The unary boolean function whose value is true iff the argument is an abelian group
plangeo4/ is_affine	Boolean function testing whether a point or line is affine.
scscp2/ is_allowed_head	This symbol is used to find whether a particular procedure is supported by an SCSCP server. The reply must be either true or false, described in one of the appropriate symbols from the logic1 content dictionary.
magma1/ is_associative	The unary boolean function whose value is true iff the argument is an associative magma.
field2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a field M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a field automorphism f of M.
graph2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a graph M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a graph automorphism f of M.
group2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a group M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a group automorphism f of M.
magma2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a magma M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a magma automorphism f of M.
monoid2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a monoid M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a monoid automorphism f of M.
ring2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a ring M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a ring automorphism f of M.
semigroup2/ is_automorphism	This symbol is a boolean function with two arguments. The first is a semigroup M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes a semigroup automorphism f of M.
permutation1/ is_bijective	This symbol has one argument which should be a endomap p. It returns true if {a_1,...,a_n}={1,...,n} where a_1,...a_n are the arguments of p and false otherwise.
field1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative field.
group1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative group.
magma1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative magma.
monoid1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative monoid.
ring1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative ring.
semigroup1/ is_commutative	The unary boolean function whose value is true iff the argument is a commutative semigroup.
plangeo5/ is_coordinatized	This symbol is a boolean valued function of one argument which must be a configuration. When applied to an argument C, it represent the value true if C is a configuration such that each object occurring in C (as well as in its subconfigurations) has coordinates (that is, the set_affine_coordinates field is present as an argument to the object), and value false otherwise. If an object already has coordinates, these are left as they are. If not, then new variables are introduced to coordinatize the object.
order1/ is_Dedekind	This symbol represents a unary boolean function. The argument should be a ring R. When evaluated on R, the function returns true if R is a Dedekind ring and false otherwise. Note that a ring R is a Dedekind ring if it is Noetherian, integrally closed (so integral) and such that every non-zero prime ideal is maximal.
logic3/ is_deduction	This symbol expresses whether or not there is a deduction of the form quoted. Hence for items of type complete_pred_deduction, it is always true
ring4/ is_domain	This symbol represents a boolean unary function. The argument is a ring R. When evaluated on R, the function returns true if R is a domain and false otherwise. A domain is a commutative ring without zero divisors.
linalgeig1/ is_eigenvalue	This symbol represents a Boolean binary function, whose first argument should be a square matrix A over a ring R and whose second argument should be an element of the ring R. Here, the matrix A acts on (row) vectors from the right and the scalar lambda is written to the left of the vector v. When applied to A and lambda, it means that there is an eigenvector vector with eigenvalue lambda.
linalgeig1/ is_eigenvector	This symbol represents a Boolean binary function, whose first argument should be a square matrix A over a ring R and whose second argument should be a vector v of size rowcount(A) over the ring R. When applied to A and v, it means that v is a left eigenvector of A.
permutation1/ is_endomap	This symbol is an n-ary function. Its arguments should be positive integers. When applied to arguments a_1,...,a_n, the resulting value is true if a_i is at most n for all i, otherwise it is false.
field2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a field M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a field endomorphism from M to M.
graph2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a graph M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a graph endomorphism from M to M.
group2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a group M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a group endomorphism from M to M.
magma2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a magma M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a magma endomorphism from M to M.
monoid2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a monoid M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a monoid endomorphism from M to M.
ring2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a ring M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a ring endomorphism from M to M.
semigroup2/ is_endomorphism	This symbol is a boolean function with two arguments. The first argument is a semigroup M, the second is a map f from the element set of M to the element set of M. When applied to M and f, it denotes that f is a semigroup endomorphism from M to M.
relation3/ is_equivalence	This symbol represents the boolean binary function which returns true if and only if the second argument is an equivalence relation on the first.
ring4/ is_field	This is unary boolean function whose argument should be a ring R. The value is true if and only if the ring is commutative and every nonzero element has a multiplicative inverse.
field2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are fields M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a field homomorphism from M to N.
graph2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are graphs M, N, the third is a map f from the vertex set of M to the vertex set of N. When applied to M, N, and f, it denotes that f is a graph homomorphism from M to N.
group2/ is_homomorphism	This symbol is a boolean function with three arguments. The first two arguments are groups M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a group homomorphism from M to N.
magma2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are magmas M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a magma homomorphism from M to N.
monoid2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are monoids M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a monoid homomorphism from M to N.
ring2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are rings M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a ring homomorphism from M to N.
semigroup2/ is_homomorphism	This symbol is a boolean function with three arguments. The first and arguments are semigroups M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a semigroup homomorphism from M to N.
ring3/ is_ideal	The binary boolean function whose value is true if and only if the second argument is an ideal of the second.
magma1/ is_identity	This symbols represents a binary boolean function, whose arguments should be a magma and an element of the element set of the magma. When applied to the arguments M and x, it returns true if the element x is an identity of the magma M, that is, xy = y x = y for all elements y of M.
permgp1/ is_in	This is a Boolean function with two arguments. The first argument should be a permutation, the second a permutation group. When evaluated with first argument x and second argument G, it returns true if and only if x belongs to G.
monoid1/ is_invertible	This symbol represents a binary function, whose first argument is a monoid M and whose second argument is an element x of M. Its value is true iff the argument if x is invertible (that is, has a left and a right inverse) in M.
field2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are fields M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a field isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
graph2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are graphs M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a graph isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
group2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are groups M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a group isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
magma2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are magmas M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a magma isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
monoid2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are monoids M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a monoid isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
ring2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are rings M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a ring isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
semigroup2/ is_isomorphism	This symbol is a boolean function with three arguments. The first and arguments are semigroups M, N, the third is a map f from the element set of M to the element set of N. When applied to M, N, and f, it denotes that f is a semigroup isomorphism from M to N. This means that f is a homomorphism from M to N, that f is bijective, and that its inverse is a homomorphism from N to M.
permutation1/ is_list_perm	This symbol is an n-ary function. Its arguments should be positive integers. When applied to arguments a_1,...,a_n, the resulting value is true if a_i is at most n for all i and all a_i are distinct, otherwise it is false.
ring4/ is_maximal_ideal	The binary boolean function whose value is true iff the second argument is a maximal ideal of the first.
order1/ is_maximal_order	The unary boolean function whose value is true if and only if the argument is a maximal order.
plangeo3/ is_midpoint	The statement that one point is the midpoint of two others.
ThreeDgeo2/ is_midpoint	The statement that one point is the midpoint of two others.
order1/ is_nonzero_divisor	This symbol represents a boolean binary function. The first argument is a ring R, the second is an element b of R. When evaluated on R and b, the function returns true if b is a nonzero divisor in R.
gp1/ is_normal	If G, H are the group arguments, then IsNormal(G,H) returns true precisely when G is normal in H. That is, g^-1hg is defined and contained in H for all h in H and g in G.
group1/ is_normal	If G, H are the group arguments, then IsNormal(G,H) returns true precisely when H is normal in G. That is, inverse(g)hg is defined and contained in H for all h in H and g in G.
permutation1/ is_perm	This symbol is a boolean function with one argument. If the argument is not a set of cycles of length at least 2, the boolean value is false. Otherwise it is true if and only if the cycles are disjoint (that is, all entries of all cycles in the argument are mutually distinct.
permutation1/ is_permutation	This symbol is a boolean function with one argument. If the argument is not a set of cycles of length at least 2, the boolean value is false. Otherwise it is true if and only if the cycles are disjoint (that is, all entries of all cycles in the argument are mutually distinct.
ring4/ is_prime_ideal	The binary boolean function whose value is true iff the second argument is a prime ideal of the first.
finfield1/ is_primitive	This symbol represents a binary Boolean function. The first argument should be a finite field, the second a an element of that field. When applied to such arguments, the value represented is true if the second argument is a primitive element of the field, that is, a generator of the multiplicative group of the field.
permgp1/ is_primitive	The unary function with one argument, which should be a permutation group. Its value is true if and only if G acts primitively on the support of G. This means that there is no proper subset B of the support of G with more than one element such that the image of B under an element of G meets B in a proper nonempty subset of B.
permgrp/ is_primitive	The unary function whose value is true iff its permutation group argument acts primitively.
finfield1/ is_primitive_poly	This symbol is a Boolean-valued function with two arguments, the first of which should be a prime number p, and the second of which should be a polynomial with coefficients in GF(p). When applied to p and f, this symbol represents the value true if and only if f is a primitive polynomial, that is, f is irreducible over GF(p), so GF(p)[X]/(f) is a finite field of order p^n, where n is the degree of f, and the image of X in GF(p)[X]/(f) is a generator of the (cyclic) multiplicative group of GF(p)[X]/(f).
order1/ is_principal_ideal_domain	The unary boolean function whose value is true if and only if the argument is a principal ideal domain. R is a principal ideal domain if R is a commutative ring without zero divisors and if every ideal of R is a principal ideal.
relation3/ is_reflexive	This symbol represents the boolean binary function which returns true if and only if the second argument is a reflexive relation on the first.
relation3/ is_relation	This symbol is a boolean function of two arguments, S and R. The first argument should be a set. When applied to S and R, the function returns true if and only if the second argument is a subset of the Cartesian product of S with itself.
field1/ is_subfield	The binary boolean function whose value is true iff the second argument is a subfield of the second.
gp1/ is_subgroup	The binary function whose value is true if the second argument is a subgroup of the first.
group1/ is_subgroup	The binary boolean function whose value is true iff the second argument is a subgroup of the second.
permgp1/ is_subgroup	This is a Boolean function with two arguments, both of which are permutation groups. When evaluated with first argument H and second argument G it returns true if and only if H is a subgroup of G.
magma1/ is_submagma	The binary boolean function whose value is true iff the second argument is a submagma of the first.
monoid1/ is_submonoid	The binary boolean function whose value is true iff the second argument is a submonoid of the second.
ring1/ is_subring	The binary boolean function whose value is true iff the second argument is a subring of the second.
semigroup1/ is_subsemigroup	The binary boolean function whose value is true iff the second argument is a subsemigroup of the second.
relation3/ is_symmetric	This symbol represents the boolean binary function which returns true if and only if the second argument is a symmetric relation on the first.
logic3/ is_theorem	This symbol expresses whether or not there is a theorem of the form quoted. Hence for items of type complete_prop_theorem, it is always true
permgp1/ is_transitive	This is a Boolean function with one argument, which should be a permutation group. When evaluated at a permutation group G, it returns the value true if and only if the permutation group argument acts transitively on the support of G.
permgrp/ is_transitive	The unary function whose value is true iff the permutation group argument acts transitively.
relation3/ is_transitive	This symbol represents the boolean binary function which returns true if and only if the second argument is a transitive relation on the first.
ring4/ is_zero_divisor	This symbol represents a boolean binary function. The first argument is a ring R, the second is an element x of R. When evaluated on R and x, the function returns true if x a zero divisor and nonzero in R.
field2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are fields. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
graph2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are graphs. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
group2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are groups. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
magma2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are magmas. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
monoid2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are monoids. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
ring2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are rings. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
semigroup2/ isomorphic	This symbol is a Boolean function with n arguments, n at least 2, which are semigroups. When applied to M_1, ..., M_n, it denotes the fact that there is an isomorphism from each M_i to each M_j.
orthpoly/ jacobiG	The Jacobi polynomial.
SI_NamedDerivedUnits1/ joule	This symbol represents an SI unit of energy. It has the short symbol form, "J".
units_metric1/ Joule	This symbol represents the measure of one Joule. This is the standard SI measure for energy.
set3/ k_subsets	This symbol represents a binary function whose first argument should be a set and whose second argument should be a natural number. When applied to a set X and a number k, it represents the collection of all subsets of X of size k.
SI_NamedDerivedUnits1/ katal	This symbol represents an SI unit of equivalent dose of catalytic activity. A katal of catalytic activity represents the amount of catalyst to effect one mole of catalytic conversion per second. It has the short symbol form, "kat".
SI_BaseUnits1/ kelvin	This symbol represents the measure of one kelvin, the standard SI unit of measure for quantities of thermodynamic temperature. It has the short symbol form, "K", in upright roman font.
fns2/ kernel	This symbol denotes the kernel of a given function. This may be defined as the subset of the range of the given function which maps to the identity element of the image of the given function, however no semantics are assumed. The kernel of a function is also known as the null space of the function.
hypergeon0/ kernel	It returns the kernel of the map defined by a matrix in a specified domain.
linalg1p/ kernel	It returns the kernel of the map defined by a matrix in a specified domain.
ring3/ kernel	This symbol represents a unary function. Its argument is a ring homomorphism f : R -> S. When evaluated on f, the function represents the kernel in R of f, that is, the subset {x in R \| f(x) = 0}.
linalgrank1/ kernel_matrix	This symbol represents a unary function whose argument should be a matrix. When applied to a matrix A, it represents a matrix whose rows are a basis of the kernel of A acting on the right.
units_binaryprefix1/ kibi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^10$. The full technical name is kilobinary.
units_siprefix1/ kilo	This symbol represents the fact that the subsequent unit has been effectively multiplied by $1000$
SI_BaseUnits1/ kilogram	This symbol represents the measure of one kilogram of mass, the standard SI unit of measure for quantities of mass. It has the short symbol form, "kg", in upright roman font.
SI_functions1/ kind	The symbol to represent the function to return the kind of a quantity. The value of this function is referred to, but not defined in the SI. Its value, kind(Q) for a given quantity, Q, is left to the user to assign.
tensor1/ Kronecker_tensor	This symbol represents the Kronecker tensor or Kronecker delta.
hypergeo2/ kummer	Kummer's hypergeometric function.
norm1/ L_infinity_norm	This symbol signifies the $L_\infty$ norm.
norm1/ L_norm	This symbol signifies the $L_p$ norm for any $p$ (the case of $L_\infty$ is handled specially).
graph3/ labelledgraph	This symbol represents a labelled (mixed) graph. It takes three arguments: the vertex set of the graph, the set of labelled undirected edges, and the set of labelled directed edges (a.k.a. arrows or arcs). Both vertices and labels can be arbitrary OpenMath objects. Each undirected edge should be a set consisting of two vertices; each directed edge should be a list consisting of two vertices.
fns1/ lambda	This symbol is used to represent anonymous functions as lambda expansions. It is used in a binder that takes two further arguments, the first of which is a list of variables, and the second of which is an expression, and it forms the function which is the lambda extraction of the expression
lc/ Lambda	The abstraction constructor. It is followed by a list of variables and an OpenMath object.
veccalc1/ Laplacian	This symbol is used to represent the laplacian function. It takes one argument which should be a vector of scalar valued functions, intended to represent a vector valued function and returns a vector of functions. It should satisfy the defining relation: laplacian(F) = \partial^2(F)/\partial(x_1)^2 + ... + \partial^2(F)/\partial(x_n)^2
altenc/ LaTeX_encoding	A symbol which heads a piece of LaTeX encoding in an attribution.
hypergeon2/ lauricella_FA	Lauricella's hypergeometric series F_A of n variables. In case of one variables, it agrees with the Appel function F_2. reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages:
hypergeon2/ lauricella_FC	Lauricella's hypergeometric series F_C of n variables. In case of two variable, it agree with the Appel function F_4. reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages:
hypergeon2/ lauricella_FD	Lauricella's hypergeometric series F_D of n variables. In case of two variables, it agree with the Appell function F_1. reference: authors: "Appel, Kampe de Feriet" title: "Les Fonctions Hypergeometriques de Plusieurs Variables et Polynome d'Hermite" pages:
arith1/ lcm	The symbol to represent the n-ary function to return the least common multiple of its arguments.
poly/ lcm	The least common multiple of its polynomial arguments. This is unique up to units, but the choice must be compatible with that made for gcd: see the CMP/FMP.
polynomial3/ lcm	The least common multiple of its polynomial arguments. This is unique up to units, but the choice must be compatible with that made for gcd, so that the product of the gcd and the lcm equals the product of all arguments.
test-x/ lcm	The symbol to represent the n-ary function to return the least common multiple of its arguments.
poly/ leading_coefficient	The leading coefficient with respect to a variable (the second argument). We note that the leading coefficient of 0 is undefined.
polynomial1/ leading_coefficient	This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents the coefficient of the monomial of highest degree. If the polynomial is zero, the value represented is zero.
polynomial1/ leading_monomial	This symbol represents a unary function, whose argument should be a nonzero univariate polynomial. When applied to such a polynomial, it represents the highest power of the variable occurring in the polynomial.
polynomial1/ leading_term	This symbol represents a unary function, whose argument should be univariate polynomial. When applied to a polynomial, it represents its leading term, that is the term that is the product of the highest power of the variable and its coefficient. If the polynomial is zero, the value represented is zero.
fns1/ left_compose	This symbol represents the function which forms the left-composition of its two (function) arguments.
permutation1/ left_compose	This symbol is a binary function. Its arguments should be permutations. When applied to arguments P1 and P2, the resulting value is the permutation which maps x in Support(P1) union Support(P2) to P1(P2(x)).
group4/ left_coset	This symbol represents a ternary function whose first argument is a group G, whose second argument is a subgroup H of G, and whose third argument is an element x of G. Its value on G, H, and x is the left coset of H in G containing x, that is, the set x H.
group4/ left_coset_representative	This symbol represents a quaternary function whose first argument is a group G, whose second argument is a subgroup H of G, whose third argument is left_transversal T of H in G, and whose fourth argument is an element of G. It assigns to G, H, T, g the element of t of T representing the left coset of H containing g, that is, t H = g H .
group4/ left_cosets	The binary function whose value is the set of left cosets of the second argument in the first.
magma1/ left_divides	This symbol is a ternary function. Its first argument should be a magma M and the second and third arguments should be elements of M. When applied to M, a, and b, it denotes the fact that a is a left_divisor of b in M. This means that there is v in M such that av=b.
magma1/ left_expression	This symbol is a binary function. Its first argument should be a magma M, the second argument a list L of elements of M. When applied to M and L, it denotes the left product (L[1] * ( ... (L[n-1] * L[n]) ... )) of all elements in the list L.
fns1/ left_inverse	This symbol is used to describe the left inverse of its argument (a function). This inverse may only be partially defined because the function may not have been surjective. If the function is not surjective the left inverse function is ill-defined without further stipulations. No other assumptions are made on the semantics of this left inverse.
field2/ left_multiplication	This symbol is a function with two arguments, which should be a field M and an element x of M. When applied to M and x, it denotes left multiplication on M by x.
group2/ left_multiplication	This symbol is a function with two arguments, which should be a group M and an element x of M. When applied to M and x, it denotes left multiplication on M by x.
monoid2/ left_multiplication	This symbol is a function with two arguments, which should be a monoid M and an element x of M. When applied to M and x, it denotes left multiplication on M by x.
ring2/ left_multiplication	This symbol is a function with two arguments, which should be a ring M and an element x of M. When applied to M and x, it denotes left multiplication on M by x.
semigroup2/ left_multiplication	This symbol is a function with two arguments, which should be a semigroup M and an element x of M. When applied to M and x, it denotes left multiplication on M by x.
group5/ left_quotient_map	This symbol is a binary function whose first argument is a group G and whose second argument is an subgroup H of G. When applied to G and H, its value is the natural quotient map from G to the quotient group G/H, sending x to the right coset Hx of G.
polyslp/ left_ref	Takes as argument a node of an slp. Returns the value of the left hand pointer of the node.
monoid3/ left_regular_representation	This is a unary function whose argument must be a monoid M. When applied to M, it represents the map from M to the maps monoid on M that assigns to m left multiplication by m on M.
semigroup3/ left_regular_representation	This is a unary function whose argument must be a semigroup M. When applied to M, it represents the map from M to the maps semigroup on M that assigns to m left multiplication by m on M.
group4/ left_transversal	The binary function whose value is a set of representatives for the left cosets of the second argument as a subgroup of the first.
orthpoly/ legendreP	The first Legendre function. This function is one of the two famous solutions of Legendre differential equation.
orthpoly/ legendreQ	The second Legendre function. This function is the another one of the famous two solutions of Legendre differential equation.
dimensions1/ length	This symbol represents the length physical dimension.
list3/ length	This symbol represents a function whose argument should be a list. It returns the length of its argument.
list3/ length	This symbol represents a function whose argument should be a list. It returns the length of its argument.
permutation1/ length	This symbol is a function with one argument, which must be a cycle. When applied to cycle(a_1,a_2,...,a_n), it returns the number n. This number is referred to as the length of the cycle.
permutation1/ length	This symbol is a function with one argument, which must be a cycle. When applied to cycle(a_1,a_2,...,a_n), it returns the number n. This number is referred to as the length of the cycle.
polyslp/ length	A unary function taking an slp as argument and returning the length of this slp.
SI_BaseQuantities/ length	This symbol represents the SI base quantity of length. It has the short symbol form, "L".
relation1/ leq	This symbol represents the binary less than or equal to function which returns true if the first argument is less than or equal to the second, it returns false otherwise.
tensor1/ Levi-Civita	This symbol represents the Levi-Civita alternating pseudo-tensor or permutation symbol. It's definition depends on the number of dimensions, d, of the space: it has as many indexes as there are dimensions in the space. It is totally antisymmetric, its value being: 1 for an even permutation of unequally valued indexes (e.g., (1,2,...,d)); -1 for an odd permutation of unequally valued indexes, and; 0 whenever two indexes take the same value.
polyd/ lexicographic	The lexicographic ordering of terms. Note that, if a poly_ring_d_named is used, lexigographic refers to the order of the variables in the poly_ring_d_named, not to their order as strings.
polyd2/ lexicographic	The lexicographic ordering of monomials.
expint/ li	The symbol li defines the basic logarithmic integral as in Abramovitz & Stegun equation 5.1.2. This is a Cauchy principal value integral: $$li(x)=\int_0^x\frac1{\ln t}t dt\qquad(x>1)$$ which is then extended by analytic continuation (this latter is not currently represented in the FMPs) to the complex plane slit along the negative real axis
set2/ lift_binary	This symbol denotes the lift of a binary operator on elements of X to a component-wise operators on subsets of X.
physical_consts1/ light_year	This symbol represents the distant for which a beam of light would take a year to traverse, in a vacuum.
limit1/ limit	This symbol is used to denote the limit of a unary function. It takes 3 arguments: the limiting value of the argument, the method of approach (either null, above, below or both_sides) and the function.
moreerrors/ limitation	This symbol represents the error which is returned when an application reads an error caused by the limitations of an implementation when dealing with OpenMath objects such as limits on the size of objects or on the kind of objects manipulated. This can include limits on the size of a bytearray or integer, a limit on the number of arguments of an application or the inability to deal with Unicode characters outside ISO latin 1. It will have at least one argument, which is a string describing the problem. It may have a second argument which is relevant to the error.
plangeo1/ line	The symbol is used to indicate a line of planar Euclidean geometry by a variable. The line may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo1/ line	The symbol is used to indicate a line of 3-dimensional Euclidean geometry by a variable. The line may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo2/ line_parallel	The symbol represents a binary boolean function with input two lines or segments. Its value is true whenever the first argument is parallel to the second.
equations1/ linear	A predicate to indicate that an equation or system of equations is linear, i.e. is expressed in terms of constants and first order terms.
list1/ list	This symbol denotes the list construct which is an n-ary function. The list entries must be given explicitly.
list1/ list	This symbol denotes the list construct which is an n-ary function. The list entries must be given explicitly.
list1/ list	This symbol denotes the list construct which is an n-ary function. The list entries must be given explicitly.
sts2/ list	A constructor for the type of a homogeneous list
list3/ list_of_lengthn	This symbol represents a function with two arguments, the first of which is a natural number and the second of which is a list. The first argument is the length of the list.
list4/ list_of_lengthn	This symbol represents a function with two arguments, the first of which is a natural number and the second of which is a list. The first argument is the length of the list.
permutation1/ list_perm	This symbol is an n-ary constructor. Its arguments should be distinct positive integers in the interval [1,n]. When applied to arguments a_1,...,a_n, the resulting value is the permutation mapping i to a_i for i=1,...,n.
list2/ list_selector	This symbol takes a positive integer n and a list, and represents the n-th element of that list.
list3/ list_selector	This symbol takes a positive integer n and a list, and represents the n-th element of that list.
linalg7/ list_to_matrix	This symbol denotes a binary function. Its first argument must be a ring R, its second argument must be list L of lists of equal lengths whose entries belong to the ring R, up to ring1.expression. When applied to R and L it represents the matrix whose i,j entry consists of the j-th entry from the list L[i]. In particular, the matrix has length(L) rows and length(L[1]) columns.
polyd3/ list_to_poly_d	This symbol is a function with two arguments. The first argument is a ring R and the second argument is a list L. The entries of L are elements of R or can be cast canconically onto elements of R. When applied to R and L, the symbol denotes the distributed (univariate) polynomial over R with terms (L[i-1],i) for i running over the indices of L (i=1, ..., length(L)).
linalg5/ list_to_vector	This symbol denotes a binary function. Its first argument must be a ring R, its second argument must be list L with entries belonging to the ring R, up to ring1.expression. When applied to R and L it represents the vector of the same length as the list L whose i-th coordinate is L[i] (or ring1.expression(L[i])).
linalg7/ list_to_vector	This symbol denotes a binary function. Its first argument must be a ring R, its second argument must be list L with entries belonging to the ring R, up to ring1.expression. When applied to R and L it represents the vector of the same length as the list L whose i-th coordinate is L[i] (or ring1.expression(L[i])).
mathmltypes/ list_type	A symbol to be used as the argument of the type symbol to convey the type for a list.
permutation1/ listendomap	This symbol is a function with one argument which is a permutation whose support consists of positive integers. When applied to such a permutation P, it represents the list of length n whose i-th entry is the image of i under P, where n is the maximum of the support of P.
permutation1/ listperm	This symbol is a function with one argument which is a permutation whose support consists of positive integers. When applied to such a permutation P, it represents the list of length n whose i-th entry is the image of i under P. Here n is at least the maximum of the support of P.
rdf/ literal_lang	A symbol to be used within an OpenMath attribute to specify the language of an RDF literal. The annotation value should be an OpenMath string.
rdf/ literal_type	A symbol to be used within an OpenMath attribute to specify the type of an RDF literal which is represented as an OpenMath object. The annotation value should be an rdf.resource.
SIUsed_OffSystemUnits1/ litre	This symbol represents the volume measure of one litre. It has the short symbol form, "l" or "L".
units_metric1/ litre	This symbol represents the measure of one litre. This is a standard metric measure for physical volume.
units_metric1/ litre_pre1964	This symbol represents the previous (1901-1964) measure of one litre. This used to be a standard metric measure for physical volume.
transc1/ ln	This symbol represents the ln function (natural logarithm) as described in Abramowitz and Stegun, section 4.1. It takes one argument. Note the description in the CMP/FMP of the branch cut. If signed zeros are in use, the inequality needs to be non-strict.
transc3/ ln	This symbol represents the ln function (natural logarithm) as a multivalued function.
prog1/ local_var	This symbol, which can have an aribtrary positive number of arguments which must all be variables, can be used to declare local variables. represents
ThreeDgeo3/ locus	The symbol is used to indicate by a variable the locus set traced by a point T in a 3-dimensional Euclidean geometry configuration C. That is, the set of all points satisfying the conditions imposed on T in the configuration C. The locus may (but need not) be defined by constraints on the point T additional to those in the configuration. The symbol takes the variable as the first argument, the tracer point T as second argument and the additional constraints as further arguments.
transc1/ log	This symbol represents a binary log function; the first argument is the base, to which the second argument is log'ed. It is defined in Abramowitz and Stegun, Handbook of Mathematical Functions, section 4.1
transc3/ log	This symbol represents a binary log function; the first argument is the base, to which the second argument is log'ed. It is defined in Abramowitz and Stegun, Handbook of Mathematical Functions, section 4.1
directives1/ look_up	This symbol is a function with one argument, which should be a mathematical expression. When applied to a mathematical expression, it asks for mathematical expressions related to the argument. If the argument is a single OpenMath symbol, the service might respond by the list of all properties in the CD containing the argument. Alternatively, the service can provide a list of CDs which use the CD in which the argument occurs. Another service might return all documents in which the symbol occurs. If the argument is a more complicated object, the same services could be called for, but then with all OpenMath symbols occurring in the argument instead of the single one.
physical_consts1/ Loschmidt_constant	This symbol represents the number of particles per unit volume of an ideal gas at standard temperature and pressure. It is approximately 2.686763 * 10^(25) +/- 2.3 * 10^(20) per metre cubed.
linalg5/ lower-Hessenberg	This symbol represents a lower-Hessenberg matrix, it takes one argument, the argument is a vector of vectors representing the non-zero elements. The first element of the argument specifies the value of the first super-diagonal, the subsequent elements specify the value of the diagonal and subsequent subdiagonals, all other elements are zero.
linalg5/ lower-triangular	This symbol represents a lower-triangular matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix.
matrix1/ lower_band	This symbol is a binary function whose first argument is a non-negative OpenMath integer which denotes the index of the lower band which is specified in the second argument. Hereby the first lower band is the one immediately below the main (generalised) diagonal, its starting coordinates relative to the top-left of the matrix thus are (2, 1).
linalgspec2/ lower_Hessenberg	This symbol represents a lower_Hessenberg matrix, it takes one argument, the argument is a vector of vectors representing the non-zero elements. The first element of the argument specifies the value of the first super-diagonal, the subsequent elements specify the value of the diagonal and subsequent subdiagonals, all other elements are zero.
linalgspec1/ lower_triangular	This symbol represents a lower-triangular matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix.
relation1/ lt	This symbol represents the binary less than function which returns true if the first argument is less than the second, it returns false otherwise.
SI_NamedDerivedUnits1/ lumen	This symbol represents an SI unit of luminous flux. It has the short symbol form, "lm".
SI_DerivedQuantities1/ luminous-flux	This symbol represents the physical quantity of luminous flux. A variable representing an arbitrary quantity of luminous flux is commonly represented with the italic, upper case letter, "Φv" (\phi; sub V).
SI_BaseQuantities/ luminous-intensity	This symbol represents the SI base quantity of luminous intensity. It has the short symbol form, "J".
SI_NamedDerivedUnits1/ lux	This symbol represents an SI unit of illuminance. It has the short symbol form, "lx".
ring3/ m_poly_ring	This symbol represents a binary function. The first argument should be a ring and the second a list or a set. When evaluated on such arguments R and L, the function represents the free commutative ring over R generated by the elements (or entries) of L. This ring can also be viewed as the ring of polynomials over R with variables the elements of L.
magma1/ magma	This symbol is a constructor for magmas. It takes two arguments in the following order: a set to specify the elements in the magma and a binary operation to specify the magma operation. The binary operation should act on elements of the set and return an element of the set.
semigroup1/ magma	This symbol is a unary function. Its argument should be a semigroup S. When applied to S, it denotes the magma with the same element set and binary operation as S.
SI_DerivedQuantities1/ magnetic-flux	This symbol represents the physical quantity of magnetic flux. A variable representing an arbitrary quantity of magnetic flux is commonly represented with the italic, upper case greek letter, "\Phi;".
SI_DerivedQuantities1/ magnetic-flux-density	This symbol represents the physical quantity of magnetic flux density. A variable representing an arbitrary quantity of magnetic flux density is commonly represented with the italic, upper case letter, "B".
physical_consts1/ magnetic_constant	This symbol represents the ratio of the magnetic flux density in a substance to the external field strength for vacuum. It is equal to 4 pi x 10^(-7) H/m.
semigroup/ make_Semigroup	The contructor for the tuples consisting of a setoid, and an associative binary operation.
setoid/ make_Setoid	The contructor for the tuples consisting of a set, an equivalence relation on the set, and a proof that the relation is actually an equivalence relation.
list1/ map	This symbol represents a mapping function which may be used to construct lists, it takes as arguments a function from X to Y and a list over X in that order. The value that is returned is a list of values in Y. The argument list may be a set or an integer_interval.
list1/ map	This symbol represents a mapping function which may be used to construct lists; it takes as arguments a function from X to Y and a list over X in that order. The value that is returned is a list of values in Y. The argument list may be a set or an integer_interval.
list1/ map	This symbol represents a mapping function which may be used to construct lists; it takes as arguments a function from X to Y and a list over X in that order. The value that is returned is a list of values in Y. The argument list may be a set or an integer_interval.
set1/ map	This symbol represents a mapping function which may be used to construct sets, it takes as arguments a function from X to Y and a set over X in that order. The value that is returned is a set of values in Y. The argument list may be a set or an integer_interval.
set3/ map_with_condition	This symbol represents a function with three arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X. The third argument specifies a Boolean function P on X defining the subset Z of X (so Z = {x in X\| P(x)}) on which the first argument f is defined, The symbol is used to denote the image {f(x) \| x in X and P(x)} of application of the function f on the elements of Z.
set3/ map_with_target	This symbol represents a function with three arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X on which the first argument f is defined. The third argument specifies the range Y of the function. The symbol is used to denote the image {f(x) in Y \| x in X} of application of the function f on the elements of X (so as to form a subset of Y).
set3/ map_with_target_and_condition	This symbol represents a function with four arguments. The first argument is a function assignment f (in the form of a lambda binding), the second argument is a set X on which the first argument f is defined. The third argument specifies the range Y of the function. The fourth argument specifies a Boolean function P on X defining the subset Z of X (so Z = {x in X\| P(x)}) on which the first argument f is defined, The symbol is used to denote the image {f(x) in Y \| x in X and P(x)} of application of the function f on the elements of Z.
monoid3/ maps_monoid	This is a unary function whose argument must be a set X or a positive integer. When applied to X, it refers to the monoid of all functions from X to X if X is a set and to {1,...,X} if X is an integer, whose binary operation is composition of maps and whose identity element is the identity map on the set X, respectively {1,...,X}.
semigroup3/ maps_semigroup	This is a unary function whose argument must be a set X or a positive integer. When applied to X, it refers to the semigroup of all functions from X to X if X is a set and to {1,...,X} if X is an integer, whose binary operation is composition of maps and whose identity element is the identity map on the set X, respectively {1,...,X}.
fns4/ maps_to	This symbol denotes a binding constructor. The body of the binder should be a list [A1,A2] of length 2. It is used to represent a function assignment A1 -> A2, where the bound variables occur in A1 and possibly in A2. The expressions A1, A2 should represent objects uniquely determined by given values of the bound variables, wihtin the range of definition of the domain.
lc/ mapsto	The type constructor of non-dependant function space. The first n-1 children denote the types of the arguments, the last denotes the return type. Contrary to sts:mapsto, arguments cannot be variables but have to be OpenMath objects that map to ground OpenMath terms (they contain no variables).
sts/ mapsto	This symbol represents the construction of a function type. The first n-1 children denote the types of the arguments, the last denotes the return type.
dimensions1/ mass	This symbol represents the mass physical dimension.
SI_BaseQuantities/ mass	This symbol represents the SI base quantity of mass. It has the short symbol form, "M".
altenc/ MathML_encoding	A symbol which heads a piece of MathML encoding in an attribution. The MathML encoding is an XML encoding, and the details may be found at: http://www.w3.org/Math/Overview.html
linalg2/ matrix	This symbol is an n-ary matrix constructor which requires matrixrow's as arguments. It is used to represent matrices.
linalg2col/ matrix	This symbol is an n-ary matrix constructor which requires matrixcolumn's as arguments. It is used to represent matrices.
linalg3/ matrix	This symbol is an n-ary matrix constructor which requires matrixcolumn's as arguments. It is used to represent matrices.
matrix1/ matrix	This symbol is a binary function whose first argument must be a matrix algebra constructor and the second argument can be any of the below matrix entry constructors. Additionally it is possible to use the matrix constructors of the linalg2 or linalg3 CDs.
sts2/ matrix	A constructor for the type of a matrix
matrix1/ matrix_domain	This symbol is a ternary function, whose first argument should be a matrix1.entry_domain application. The second and third arguments must be matrix1.row_dimension and matrix1.column_dimension. When applied to these arguments this `creates' the domain of linear mappings between modules of specified dimensions over a common ground domain, conveniently represented by matrices.
polyd/ matrix_ordering	The argument is a matrix with as many columns as indeterminates (= rank). Each row in turm is multiplied by the column vector of exponents to produce a weighting for comparison purposes.
polyd2/ matrix_ordering	The argument is a matrix with as many columns as indeterminates (= rank). Each row in turm is multiplied by the column vector of exponents to produce a weighting for comparison purposes.
ring3/ matrix_ring	This symbol represents a binary function. The first argument is a positive integer n, the second is a ring R. When evaluated on such argument n and R, the function represents the ring of n x n matrices over R.
linalg1/ matrix_selector	This symbol represents the function which allows individual entries to be selected from a matrix. It takes three arguments, the first is the index of the row and the second is the index of the column of the required element, the third argument is the matrix in question. The indexing is one based, i.e. the element in the top left hand corner is indexed by (1,1).
linalg6/ matrix_tensor	This symbol denotes a n-nary function which is used to construct the tensor product matrix of its arguments, which must be matrices.
linalg5/ matrix_to_list	This symbol denotes a unary function. Its argument must be a matrix A. When applied to A it represents the list L whose i-th entry (for i=1,...rowcount(A)) is the lists L[i] whose j-th entry (for j=1,...columncount(A)) is the element A[i,j].
mathmltypes/ matrix_type	A symbol to be used as the argument of the type symbol to convey the type for a matrix (n tuple of rows, where each row is an m tuple for some m, it should be noted that each row must be the same length).
linalg2col/ matrixcolumn	This symbol is an n-ary constructor used to represent columns of matrices. Its arguments should be members of a ring.
linalg3/ matrixcolumn	This symbol is an n-ary constructor used to represent columns of matrices. Its arguments should be members of a ring.
linalg2/ matrixrow	This symbol is an n-ary constructor used to represent rows of matrices. Its arguments should be members of a ring.
minmax1/ max	This symbol denotes the unary maximum function which takes a set as its argument and returns the maximum element in that set.
order1/ maximal_order	This is a binary function, whose first argument is a Dedekind ring R and the second is a polynomial f. When applied to R and f, it returns the maximal order A among the orders of f (over the polynomial ring of R) in the quotient field of A. Note that the result is unique.
s_data1/ mean	This symbol represents an n-ary function denoting the mean of its arguments. That is, their sum divided by their number.
s_dist1/ mean	This symbol represents a unary function denoting the mean of a distribution. The argument is a univariate function to describe the distribution. That is, if f is the function describing the distribution. The mean is the expression integrate(x*f(x)) w.r.t. x over the range (-infinity,infinity).
units_binaryprefix1/ mebi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^20$. The full technical name is megabinary.
s_data1/ median	This symbol represents an n-ary function denoting the median of its arguments. That is, if the data were placed in ascending order then it denotes the middle one (in the case of an odd amount of data) or the average of the middle two (in the case of an even amount of data).
units_siprefix1/ mega	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^6$
SI_BaseUnits1/ metre	This symbol represents the measure of one metre of length, the standard SI unit of measure for quantities of length or physical distance. It has the short symbol form, "m", in upright roman font.
units_metric1/ metre	This symbol represents the measure of one metre. This is the standard SI unit measure for physical distance.
units_metric1/ metre_sqrd	This symbol represents the measure of one metre squared. This is the standard SI measure for physical area.
units_metric1/ metres_per_second	This symbol represents the measure of one metre per second. This is the standard SI measure for speed.
units_metric1/ metres_per_second_sqrd	This symbol represents the measure of one metre per second squared. This is the standard SI measure for acceleration.
tensor1/ metric_tensor	This symbol represents the metric tensor, typically depicted using a lower case g. The metric tensor is a nondegenerate, symmetric bilinear form. It defines the ideas of leng th and angle in a metric space, the most common example being the Euclidean metric. The square of a differential length, ds*ds, is given by the bilinear product of the coordinate differentials, dx^i, with the metric tensor.
units_siprefix1/ micro	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-6$
plangeo3/ midpoint	The midpoint between two points or two endpoints of a segment.
ThreeDgeo1/ midpoint	The symbol is used to indicate the midpoint of a segment in 3-dimensional Euclidean geometry by a variable. The symbol takes the variable as the first argument and the segment as second argument.
units_imperial1/ mile	This symbol represents the measure of one (land, or statute) mile. This is a standard imperial measure for distance, defined in terms of the foot.
units_us1/ mile_us_survey	This symbol represents the measure of one U.S. Survey mile.
units_imperial1/ miles_per_hr	This symbol represents the measure of one mile per hour. This is a standard imperial measure for speed.
units_imperial1/ miles_per_hr_sqrd	This symbol represents the measure of one mile per hour squared. This is a standard imperial measure for acceleration.
units_siprefix1/ milli	This symbol represents the fact that the subsequent unit has been effectively multiplied by $0.001$
minmax1/ min	This symbol denotes the unary minimum function which takes a set as its argument and returns the minimum element in that set.
polygb2/ minimal_groebner_element	This symbol is a function with 3 arguments. First argument is a list of variables, the second is an ordering, the third is a list B of polynomials. [Optionally, the fourth is a polynomial ring.] When applied to its arguments, it represents the polynomial in the Groebner basis of B with respect to the ordering with the least leading monomial.
finfield1/ minimal_polynomial	This symbol represents a function with one or two arguments. Its first argument should be an element x of a finite field F. The second argument should be a subfield K of F. It returns the minimal polynomial of x over K. If there is only one argument, K defaults to the prime subfield of F.
linalgpoly1/ minimum_poly	This symbol represents a binary function. This first argument should be a square matrix A defined over a field F, the second argument a variable X. When applied to A and X, it represents the minimum polynomial of A in the variable X over the field F. (The output should be semantically equivalent to an object obtained by the poly_ring_d_named constructor of the CD polyd1.)
arith1/ minus	The symbol representing a binary minus function. This is equivalent to adding the additive inverse.
field1/ minus	This symbol represents a unary function, whose argument should be a field S. It returns the map sending an element of S to its additive inverse.
opnode/ minus	A constant value, constructs the minus for subtraction nodes.
polyd1/ minus	The sum. The argument is a DMPL. The sum lies within the same "poly_ring_d", i.e., a program implementing this operation should return a DMP with the same "poly_ring_d".
test-x/ minus	The symbol representing a binary minus function. This is equivalent to adding the additive inverse.
hypergeon0/ minus_part	The argument is a vector. It replaces positive elements in the vector to zero and negative elements to their absolute values.
linalg1p/ minus_part	The argument is a vector. It replaces positive elements in the vector to zero and negative elements to their absolute values.
SIUsed_OffSystemUnits1/ minute	This symbol represents the measure of one minute of time. It has the short symbol form, "min".
units_time1/ minute	This symbol represents the measure of one minute of time.
SIUsed_OffSystemUnits1/ minute-of-arc	This symbol represents the angular measure of one minute of arc. It has the short symbol form, "'".
graph3/ mixedgraph	This symbol represents a mixed graph. It takes three arguments: the vertex set of the graph, the set of undirected edges, and the set of directed edges (a.k.a. arrows or arcs). The vertices can be arbitrary OpenMath objects. Each undirected edge should be a set consisting of two vertices; each directed edge should be a list consisting of two vertices.
s_data1/ mode	This symbol represents an n-ary function denoting the mode of its arguments. That is the value which occurs with the greatest frequency.
integer2/ modulo_relation	This symbol represents a univariate function, whose argument should be an integer. When applied to an integer m, it denotes the equivalence relation of being equal modulo m on Z.
polynomial2/ modulo_relation	This symbol represents a univariate function, whose argument should be a polynomial. When applied to a polynomial m, it denotes the equivalence relation of being equal modulo m.
logic3/ ModusPonens	This symbol represents the generation of a line of a proof by application of Modus Ponens. The first argument is the new well-formed formula (B), the second is the line number in the proof for A and the third is the line number in the proof for A implies B.
physical_consts1/ mole	This symbol represents the number of atoms in one gramme of carbon(12).
SI_BaseUnits1/ mole	This symbol represents the measure of one mole, the standard SI unit measure for quantities of amount of substance. It has the short symbol form, "mol", in upright roman font.
s_data1/ moment	This symbol is used to denote the i'th moment of a set of data. The first argument should be the degree of the moment (that is, for the i'th moment the first argument should be i), the second argument should be the point about which the moment is being taken and the rest of the arguments are treated as the data. For n data values x_1, x_2, ..., x_n the i'th moment about c is (1/n) ((x_1-c)^i + (x_2-c)^i + ... + (x_n-c)^i). See CRC Standard Mathematical Tables and Formulae, editor: Dan Zwillinger, CRC Press Inc., 1996, section 7.7.1.
s_dist1/ moment	This symbol represents a ternary function to denote the i'th moment of a distribution. The first argument should be the degree of the moment (that is, for the i'th moment the first argument should be i), the second argument is the value about which the moment is to be taken and the third argument is a univariate function to describe the distribution. That is, if f is the function which describe the distribution. The i'th moment of f about a is the integral of (x-a)^i*f(x) with respect to x, over the interval (-infinity,infinity).
SI_DerivedQuantities1/ moment-of-force	This symbol represents the physical quantity of force.
dimensions1/ momentum	This symbol represents the momentum physical dimension, it is mass times velocity.
SI_DerivedQuantities1/ momentum	This symbol represents the physical quantity of momentum.
algebraic_cats/ monoid	This is the constructor for monoids. A monoid comprises a set and an operation over elements of the set. The set must contain a unique identity element (relative to the operation). That is an element, I, such that Ia=aI=a where a represents an arbitrary element of S and * represents the operation. The operation * must be associative over S. The monoid constructor takes three arguments, the set of the monoid, a binary function taking two elements of the set into itself to represent the operation of the monoid and an element of the set to represent the identity of the monoid.
generic_alg_cats/ monoid	This Symbol represents the generic category of monoid.
group1/ monoid	This symbol is a unary function, whose argument should be a group G. When applied to G its value is the monoid underlying G.
monoid1/ monoid	This symbol is a constructor for monoids. It takes three arguments in the following order: a set to specify the elements in the monoid, a binary operation to specify the monoid operation, and an element to specify the identity. The binary operation should act on elements of the set and return an element of the set.
algebraic_cats/ monoid_identity	This symbol takes one argument which should be a monoid, it returns the identity of the monoid.
algebraic_cats/ monoid_operation	This symbol takes one argument which should be a monoid, it returns the operation of the monoid.
algebraic_cats/ monoid_set	This symbol takes one argument which should be a monoid, it returns the set of the monoid.
polyslp/ monte_carlo_eq	This is a Monte-Carlo equality test, it takes three arguments, the first two are slps representing polynomials, the third argument is the maximum probability of incorrectness that is required of the equality test. (Monte-Carlo equality tests are very important for slps as they offer the only tractable method of solving the equality problem in many cases)
hypergeon2/ multi_pochhammer	multi_pochhammer is a product of pochhammer symbols.
hypergeon0/ multi_power	multi_power is for using the multi-index notation.
poly1p/ multi_power	multi_power is for using the multi-index notation.
combinat1/ multinomial	The multinomial coefficient, multinomial(n, n1, ... nk) is the number of ways of choosing ni objects of type i (i from 1 to k) without regard to order, in such a way that the total number of objects chosen is n. multinomial(n, n1, ... nk) is equal to n!/(n1!n2! ...nk!).
field1/ multiplication	This symbol represents a unary function, whose argument should be a field S. It returns the multiplication map on the field. We allow for the map to be n-ary.
group1/ multiplication	This symbol represents a unary function, whose argument should be a group G. It returns the multiplication map on G. We allow for the map to be n-ary.
magma1/ multiplication	This symbol represents a unary function, whose argument should be a magma G. It returns the multiplication map on G. We allow for the map to be n-ary.
monoid1/ multiplication	This symbol represents a unary function, whose argument should be a monoid M. It returns the multiplication map on M. We allow for the map to be n-ary.
ring1/ multiplication	This symbol represents a unary function, whose argument should be a ring S. It returns the multiplication map on S. We allow for the map to be n-ary.
semigroup1/ multiplication	This symbol represents a unary function, whose argument should be a semigroup S. It returns the multiplication map on S. We allow for the map to be n-ary.
field1/ multiplicative_group	This symbol is a unary function, whose argument should be a field S. When applied to S its value is the multiplicative group on the nonzero elements of S.
ring3/ multiplicative_group	This is a unary function, whose argument is a ring R. When applied to R, it denotes the group of invertible elements of R with respect to the multiplication on R.
ring1/ multiplicative_monoid	This symbol is a unary function, whose argument should be a ring S. When applied to S its value is the monoid underlying S.
polynomial4/ multiplicity	A symbol which represents the multiplicity of a factor in a factorisation and takes exactly one argument which must be a positive integer.
multiset1/ multiset	This symbol represents the multiset construct. It is either an n-ary function, in which case the multiset entries are given explicitly, or it works on an elements construct. There is no implied ordering to the elements of a multiset.
aggregate_cats/ multisetType	This symbol represents the type of multisets.
setname1/ N	This symbol represents the set of natural numbers (including zero).
meta/ Name	An element containing the string corresponding to the name of the symbol being defined. This must match the syntax for symbol names given in the OpenMath Standard. Here and elsewhere white space occurring at the begining or end of the string will be ignored.
nums1/ NaN	A symbol to convey the notion of not-a-number. The result of an ill-posed floating computation. See IEEE standard for floating point representations.
logic1/ nand	This symbol represents the logical nand function which is an n-ary function taking boolean arguments and returning a boolean value. It is false if all arguments are true or true otherwise.
units_siprefix1/ nano	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-9$
sts/ nary	Constructs a child of mapsto which denotes an arbitrary number of copies of the argument of nary.
sts/ nassoc	Constructs a child of mapsto which denotes an arbitrary number of copies of the argument of nassoc. The operator is associative on these arguments which means that repeated uses may be flattened/unflattened.
ring1/ negation	This symbol represents a unary function, whose argument should be a ring S. It returns the map sending an element of S to its additive inverse.
SIUsed_OffSystemUnits1/ neper	This symbol represents the dimensionless measure of one neper, the natural unit for representing logarithms of ratios of field amplitudes, such as voltage or pressure. It has the short symbol form, "Np".
relation1/ neq	This symbol represents the binary inequality function.
integer2/ neqmod	This symbol represents a Boolean valued trivariate function, whose arguments should be integers. When applied to integers a, b, m, it denotes the Boolean evalue of the assertion that a and b are not equal modulo m.
polynomial2/ neqmod	This symbol represents a Boolean valued trivariate function, whose arguments should be polynomials. When applied to polynomials a, b, m, it denotes the Boolean evalue of the assertion that a and b are not equal modulo m.
SI_NamedDerivedUnits1/ newton	This symbol represents an SI unit of force. It has the short symbol form, "N".
units_metric1/ Newton	This symbol represents the measure of one Newton. This is the standard SI measure for force.
units_metric1/ Newton_per_sqr_metre	This symbol represents the measure of one Newton per square metre. This is another (deprecated in OpenMath) name for the standard SI measure for pressure, the Pascal.
list2/ nil	The empty list
list2/ nil	The empty list
scscp2/ no_such_transient_cd	Used for errors that arise when the client asks for a transient cd that the server cannot handle.
polyslp/ node_selector	Takes an slp as the first argument, the second argument is the position of the required node. Returns the node of the slp at this position.
algebraic_cats/ non_commutative_ring	This symbol is the constructor for non commutative rings, these are rings over which the * operator is not commutative. the non_commutative_ring constructor takes five arguments: The set of the non-commutative ring. A binary function into itself to represent the multiplication operation, *. A binary function into itself to represent the addition operation, +. A member of the set of the non-commutative ring to specify the additive identity, 0. And a unary function taking the set of the non-commutative ring into itself to represent the additive inverses of the non-commutative ring (i.e. inverses under +, or negatives).
generic_alg_cats/ non_commutative_ring	This Symbol represents the generic category of non-commutative ring.
algebraic_cats/ non_commutative_ring_negative	This symbol takes one argument which should be a non-commutative ring. It returns a unary function, which represents the multiplicative inverse of the non-commutative ring.
algebraic_cats/ non_commutative_ring_plus	This symbol takes one argument which should be a non-commutative ring. It returns a binary function, which represents the additive function of the non-commutative ring.
algebraic_cats/ non_commutative_ring_set	This symbol takes one argument which should be a non-commutative ring. It returns the set of the non-commutative ring.
algebraic_cats/ non_commutative_ring_times	This symbol takes one argument which should be a non-commutative ring. It returns a binary function, which represents the multiplicative function of the non-commutative ring.
algebraic_cats/ non_commutative_ring_zero	This symbol takes one argument which should be a non-commutative ring. It returns the zero of the non-commutative ring.
aggregate_cats/ non_continuousSetType	This symbol represents the type of non-continuous sets.
equations1/ non_linear	A predicate to indicate that an equation or system of equations is non-linear, i.e. contains terms of order greater than 1.
patterns/ none_of	This symbol represents a pattern constructor for matching the complement of its arguments.
linalg6/ nonZeroRowSparseMatrix	This symbol may be used for representing matrices, it is designed for efficiently representing sparse matrices where every row has at least one non-zero entry. This is an n+1 ary symbol, where n is the number of rows in the matrix. The first argument must be the number of columns in the matrix, every following argument of the symbol must be an application of a sparseMatrixRow symbol which has arguments which are sparseMatrixElement2, one sparseMatrixElement2 element for each row in the matrix, in the order in which they occur in the matrix. Any non-specified entry is implicitly zero.
linalgspars1/ nonZeroRowSparseMatrix	This symbol may be used for representing matrices, it is designed for efficiently representing sparse matrices where every row has at least one non-zero entry. This is an n+1 ary symbol, where n is the number of rows in the matrix. The first argument must be the number of columns in the matrix, every following argument of the symbol must be an application of a sparseMatrixRow symbol which has arguments which are sparseMatrixElement2, one sparseMatrixElement2 element for each row in the matrix, in the order in which they occur in the matrix. Any non-specified entry is implicitly zero.
linalg6/ nonZeroRowSparseMatrix01	This symbol may be used to represent matrices which have no zero rows, and for which every row is in Z_2 efficiently. The first argument is the number of columns in the matrix, the following arguments are sparseMatrixRow elements where the arguments are sparseMatrixElement4 elements. Any non-specified entry is implicitly zero.
linalgspars1/ nonZeroRowSparseMatrix01	This symbol may be used to represent matrices which have no zero rows, and for which every row is in Z_2 efficiently. The first argument is the number of columns in the matrix, the following arguments are sparseMatrixRow elements where the arguments are sparseMatrixElement4 elements. Any non-specified entry is implicitly zero.
logic1/ nor	This symbol represents the logical nor function which is an n-ary function taking boolean arguments and returning a boolean value. It is false if any of the arguments are true or true otherwise.
ThreeDgeo2/ normal	The symbol represents a binary boolean function with a line as first argument and a plane as second argument. Its value is true whenever the first argument is normal to the second.
gp1/ normal_closure	The binary function whose value is the set of conjugates of the elements of the second group by elements of the first, where multiplication between them is defined.
group1/ normal_closure	The binary function whose value is the set of conjugates of the elements of the second group by elements of the first, where multiplication between them is defined.
group3/ normalizer	This symbols represents a binary function whose first argument should be a group G and whose second argument should be a set of elements or a subgroup L of the group G. Its value is the subgroup of G of all elements normalizing L.
logic1/ not	This symbol represents the logical not function which takes one boolean argument, and returns the opposite boolean value.
multiset1/ notin	This symbol has two arguments, an element and a multiset. It is used to denote that the element is not in the given multiset.
set1/ notin	This symbol has two arguments, an element and a set. It is used to denote that the element is not in the given set.
multiset1/ notprsubset	This symbol has two (multiset) arguments. It is used to denote that the first multiset is not a proper subset of the second. A proper subset of a multiset is a subset of the multiset but not actually equal to it.
set1/ notprsubset	This symbol has two (set) arguments. It is used to denote that the first set is not a proper subset of the second. A proper subset of a set is a subset of the set but not actually equal to it.
multiset1/ notsubset	This symbol has two (multiset) arguments. It is used to denote that the first multiset is not a subset of the second.
set1/ notsubset	This symbol has two (set) arguments. It is used to denote that the first set is not a subset of the second.
calculus1/ nthdiff	This symbol is used to express the nth-iterated ordinary differentiation of a unary function. The first argument is n, and the second the unary function.
calculus1/ nthdiff	This symbol is used to express the nth-iterated ordinary differentiation of a unary function. The first argument is n, and the second the unary function.
calculus1/ nthpartialdiff	This symbol is used to express the nth-iterated partial differentiation of a function of more than one variable. It has three arguments, the first is a list of positive integers which index the variables of the function, the second is a list of integers which specify the order of differentiation with respect to the corresponding variable, the third argument is the function. Application of the symbol should be taken as meaning the following: differentiation of the third argument with respect to the variables indexed by the first argument. The orders of differentiation are specified by the second argument, in the following manner: The i'th element of the second argument is the order of differentiation of the variable indexed by the i'th element of the first argument.
limit1/ null	This symbol is used within a limit construct to avoid specifying the method of approach to the limit. It takes no arguments.
SI_functions1/ num	The symbol to represent the function to return the numerical value of a quantity in terms of a product of powers of SI base units.
order1/ number_field	This symbol is a constructor for number fields. It takes two arguments in the following order: a ring R and a monic irreducible univariate polynomial f. If the ring R is Z (or Q), it returns the absolute number field. Otherwise it returns the relative number field over the number field whose ring of integers is R. This symbol is intended to be used in upcoming CDs for e.g. describing discriminants of number fields, or Galois groups, unit groups, class groups, regulators, etc.; all useful number theoretical notions.
sts/ NumericalValue	Denotes an OpenMath object that is to be thought of as something that represents a numerical value, or a numerical value.
asymp1/ O	The O symbol represents a unary function which constructs a set of certain functions of type reals to reals. The condition f(n)=O(g(n)) is intended to express an upper bound condition on f.
asymp1/ o	The o symbol represents a unary function which constructs a set of certain functions of type reals to positive reals. The condition f(n) = o(g(n)) is intended to express a lower bouund condition on f. Formally we say that f(n) = o(g(n)) if and only if the limit as n tends to infinity of f(n)/g(n) exists and is equal to 0.
sts/ Object	Denotes any OpenMath object.
SI_NamedDerivedUnits1/ ohm	This symbol represents an SI unit of electrical resistance. It has the short symbol form, "\Omega;".
asymp1/ omega	The omega symbol represents a unary function which constructs a set of certain functions of type reals to positive reals. The omega symbol represents a set of functions such that for any function in the set omega(g(x)), f(x); it is not true that f(x) is in o(g(x)). Formally we say that f(x) = omega(g(x)) if and only if there is an epsilon > 0 and an infinite sequence x_1, x_2, x_3, ... such that for all j then abs(f(x_j)) > epsilon * g(x_j).
asymp1/ Omega	The Omega symbol represents a unary function which constructs a set of certain functions of type reals to positive reals. The Omega symbol represents a set of functions such that for any function in the set Omega(g(x)), f(x); it is not true that f(x) is in O(g(x)).
omtypes/ omtype	The type of symbolic type symtype
alg1/ one	This symbol represents the multiplicative identity element.
alg1/ one	This symbol represents the multiplicative identity element.
SI_BaseQuantities/ one	This symbol represents the proposed SI base quantity of dimension one, or the dimensionless quantity. It has the short symbol form, "1".
SI_BaseUnits1/ one	This symbol represents the dimensionless unit corresponding to the dimensionless quantity dimension. It has the short symbol form, "1".
linalg1p/ ones	It returns a vector of a specifed size of which elements are one. 1-ary function.
polyslp/ op_node	This constructor takes three arguments. The first argument is a symbol from opnode, meant to specify whether the node is a plus, minus times or divide node, the second and third arguments are integers, which are the numbers of the lines which are the arguments of the operation
scscp1/ option_debuglevel	An option, to be given along with a procedure call, describing the amount of debug information the client is interested in. Should be an integer.
scscp1/ option_max_memory	An option, to be given along with a procedure call, describing the maximum amount of memory (in bytes) the system should spend on this call.
scscp1/ option_min_memory	An option, to be given along with a procedure call, describing the minimum amount of memory (in bytes) the system should be able to spend on this call. The idea is that in certain cases we know in advance that we will need a large amount of memory. If the system will never be able to provide that, it would be a waste of time and resources to even start the computation.
scscp1/ option_return_cookie	An option, to be given along with a procedure call, indicating that the client would like to have a cookie (i.e. a reference to an OpenMath object residing somewhere) as return value.
scscp1/ option_return_nothing	An option, to be given along with a procedure call, indicating that the client expects no return value.
scscp1/ option_return_object	An option, to be given along with a procedure call, indicating that the client would like to have the actual OpenMath object as return value.
scscp1/ option_runtime	An option, to be given along with a procedure call, describing the maximum amount of time (in milliseconds) the system should spend on this call.
logic1/ or	This symbol represents the logical or function which is an n-ary function taking boolean arguments and returning a boolean value. It is true if any of the arguments are true or false otherwise.
permgp1/ orbit	The binary function whose first argument should be a permutation group G. If the second argument is an element of the support of G, the value is the orbit of the second argument under the action of G. Otherwise, it is the singleton consisting of the second argument.
permgrp/ orbit	The binary function whose value is the set of integers which are in the orbit of the second argument under the action of the first argument which is a permutation group.
permgp1/ orbits	This is a function with one argument, which should be a permutation group. When evaluated at a permutation group G, it returns the set of all orbits of G on elements from the support of G.
integer2/ ord	This symbol denotes a binary function. Its first argument shoud be a prime number p, the second an integer n. When applied to p and n, it represents the highest power of p occurring in a factorization of n.
order1/ order	This is a binary function, whose first argument is a Dedekind ring R and the second is a polynomial f. When applied to R and f, it returns an order of f over the polynomial ring R: it is a ring A containing R, which is finitely generated R-module with no nilpotent non-zero ideal and as a R-module it is torsion-free. Note that the result is not unique. Also this function allows to compute an order of a polynomial over another polynomial ring. The idea behind this computation is to coerce f into the polynomial ring of R and then compute the order.
permgp1/ order	This is a function with one argument, which should be a permutation group. When evaluated with argument G it returns the size of the group G.
permutation1/ order	This symbol is a function with one argument which should be a permutation. When applied to a permutation P, it represents the least positive integer n for which composition of n copies of P represents the identity (that is, a permutation with empty support). Note: in this definition of the order, it does not matter whether left_compose or right_compose is being used.
permutation1/ order	This symbol is a function with one argument which should be a permutation. When applied to a permutation P, it represents the least positive integer n for which composition of n copies of P represents the identity (that is, a permutation with empty support). Note: in this definition of the order, it does not matter whether left_compose or right_compose is being used.
relation0/ order	Proposition; the type of order relations, namely relations that are reflexive, antisymmetric and transitive.
algebraic_cats/ ordered_Abelian_group	This symbol is the constructor for ordered Abelian groups, that is an Abelian group on which there is an ordering relation. The ordered_Abelian_group constructor takes five arguments, the set of the ordered Abelian group, a binary function taking two elements of the set into itself to represent the operation of the ordered Abelian group, an element of the set to represent the identity of the ordered Abelian group, a unary function taking the set into itself to specify inverse elements and a binary function taking two elements of the set into the booleans to specify the ordering of the ordered Abelian group.
generic_alg_cats/ ordered_Abelian_group	This Symbol represents the generic category of ordered Abelian group.
algebraic_cats/ ordered_Abelian_group_identity	This symbol takes one argument which should be an ordered Abelian group. It returns the identity of the ordered Abelian group.
algebraic_cats/ ordered_Abelian_group_inverse	This symbol takes one argument which should be an ordered Abelian group. It returns a unary function, which is the inverse function of the ordered Abelian group.
algebraic_cats/ ordered_Abelian_group_operation	This symbol takes one argument which should be an ordered Abelian group. It returns a binary function, which represents the operation of the ordered Abelian group.
algebraic_cats/ ordered_Abelian_group_order	This symbol takes one argument which should be an ordered Abelian group. It returns a binary function, which should represent the ordering of the ordered Abelian group.
algebraic_cats/ ordered_Abelian_group_set	This symbol takes one argument which should be an ordered Abelian group. It returns the set of the ordered Abelian group.
algebraic_cats/ ordered_Abelian_monoid	This symbol is the constructor for ordered Abelian monoids, that is Abelian monoids on which there is an ordering relation. The ordered_Abelian_monoid constructor takes four arguments, the set of the ordered Abelian monoid, a binary function taking two elements of the set into itself to represent the operation of the ordered Abelian monoid, an element of the set to represent the identity of the ordered Abelian monoid and a binary function taking two elements of the set into the booleans to represent the ordering of the ordered Abelian monoid.
generic_alg_cats/ ordered_Abelian_monoid	This Symbol represents the generic category of ordered Abelian monoid.
algebraic_cats/ ordered_Abelian_monoid_identity	This symbol takes one argument which should be an ordered Abelian monoid. It returns an element of the set of the ordered Abelian monoid, which should be the identity of the ordered Abelian monoid.
algebraic_cats/ ordered_Abelian_monoid_operation	This symbol takes one argument which should be an ordered Abelian monoid. It returns a binary function between elements of the set of the ordered Abelian monoid, which should represent the operation of the ordered Abelian monoid.
algebraic_cats/ ordered_Abelian_monoid_order	This symbol takes one argument which should be an ordered Abelian monoid. It returns a binary function between elements of the set of the ordered Abelian monoid, which should represent the ordering relation on the ordered Abelian monoid.
algebraic_cats/ ordered_Abelian_monoid_set	This symbol takes one argument which should be an ordered Abelian monoid. It returns a set which should be the set of the ordered Abelian monoid.
algebraic_cats/ ordered_group	This symbol is the constructor for ordered groups, that is a group on which there is an ordering relation. The ordered_group constructor takes five arguments, the set of the ordered group, a binary function taking two elements of the set into itself to represent the operation of the ordered group, an element of the set to represent the identity of the ordered group, a unary function taking the set into itself to specify inverse elements of the ordered group and a binary function taking two elements of the set into the booleans to specify the ordering of the ordered group.
generic_alg_cats/ ordered_group	This Symbol represents the generic category of ordered group.
algebraic_cats/ ordered_group_identity	This symbol takes one argument which should be an ordered group. It returns the identity of the ordered group.
algebraic_cats/ ordered_group_inverse	This symbol takes one argument which should be an ordered group. It returns a unary function, which is the inverse function of the ordered group.
algebraic_cats/ ordered_group_operation	This symbol takes one argument which should be an ordered group. It returns a binary function, which represents the operation of the ordered group.
algebraic_cats/ ordered_group_order	This symbol takes one argument which should be an ordered group. It returns a binary function, which represents the ordering of the ordered group.
algebraic_cats/ ordered_group_set	This symbol takes one argument which should be an ordered group. It returns the set of the ordered group.
algebraic_cats/ ordered_monoid	This is the constructor for ordered monoids, that is monoids on which there is an ordering relation. The ordered_monoid constructor takes four arguments, the set of the ordered monoid, a binary function taking two elements of the set into itself to represent the operation of the ordered monoid, an element of the set to represent the identity of the ordered monoid and a binary function taking two elements of the set into the booleans to represent the ordering on the ordered monoid.
generic_alg_cats/ ordered_monoid	This Symbol represents the generic category of ordered monoid.
algebraic_cats/ ordered_monoid_identity	This symbol takes one argument which should be an ordered monoid. It returns an element of the set of the ordered monoid, which should be the identity of the ordered monoid.
algebraic_cats/ ordered_monoid_operation	This symbol takes one argument which should be an ordered monoid. It returns a binary function between elements of the set of the ordered monoid, which should represent the operation of the ordered monoid.
algebraic_cats/ ordered_monoid_order	This symbol takes one argument which should be an ordered monoid. It returns a binary function between elements of the set of the ordered monoid, which should represent the ordering relation on the ordered monoid.
algebraic_cats/ ordered_monoid_set	This symbol takes one argument which should be an ordered monoid. It returns a set which should be the set of the ordered monoid.
algebraic_cats/ ordered_ring	This symbol is the constructor for ordered rings, that is a ring on which there is an ordering relation. The ordered_ring constructor takes six arguments, the set of the ordered ring, a binary function from the set into itself to represent the multiplicative operation (*), a binary function from the set into itself to represent the additive operation (+), an element of the set of the ordered ring to represent the additive identity 0, a unary function from the set into itself to represent additive inverses (i.e. inverses under +, or negatives) and a binary function from the set into the booleans to represent the ordering relation.
generic_alg_cats/ ordered_ring	This Symbol represents the generic category of ordered ring.
algebraic_cats/ ordered_ring_negative	This symbol takes one argument which should be an ordered ring. It returns a unary function to represent the additive inverse function of the ordered ring.
algebraic_cats/ ordered_ring_order	This symbol takes one argument which should be an ordered ring. It returns a binary function, which represents the order function on the ordered ring.
algebraic_cats/ ordered_ring_plus	This symbol takes one argument which should be an ordered ring. It returns a binary function, which represents the additive operation of the ordered ring.
algebraic_cats/ ordered_ring_set	This symbol takes one argument which should be an ordered ring. It returns the set of the ordered ring.
algebraic_cats/ ordered_ring_times	This symbol takes one argument which should be an ordered ring. It returns a binary function, which represents the multiplicative operation of the ordered ring.
algebraic_cats/ ordered_ring_zero	This symbol takes one argument which should be an ordered ring. It returns the zero of the ordered ring.
polyd/ ordering	Used as an attribute to indicate an ordering of the terms in a polynomial or list of polynomials. The value of this attribute should be one of the constructors specifying ordering.
polyd2/ ordering	Used as an attribute to indicate an ordering of the monomials in a polynomial or list of polynomials. The value of this attribute should be one of the constructors specifying ordering.
interval1/ oriented_interval	A symbol to denote a continuous 1-dimensional interval without any information about the character of the end points (used in definite integration). The arguments are the start and the end points of the integration, in either order.
mathmlattr/ other	A symbol to be used within an OpenMath attribute to specify the MathML "other" attribute of the object. The annotation should be an OpenMath string representing the value of the other attribute.
piece1/ otherwise	This symbol introduces the 'default' value of a piecewise construct. If none of the previous piece constructs can provide the value, this will. It has a single child, the value.
linalg1/ outerproduct	This symbol represents the outer product function. It takes two vector arguments and returns a matrix. It is defined as follows: if we write the {i,j}'th element of the matrix to be returned as m_{i,j}, then: m_{i,j}=a_i * b_j where a_i,b_j are the i'th and j'th elements of a, b respectively.
setname1/ P	This symbol represents the set of positive prime numbers.
ecc/ Pair	The pairing constructor. It takes two OpenMath objects as first element and second element of the pair, and a third optional OpenMath object that represents the type of the pair.
ecc/ PairProj1	The first projection function that extracts the first component of a Pair. It satisfies the sigma-reduction rule.
ecc/ PairProj2	The second projection function that extracts the second component of a Pair. It satisfies sigma-reduction rule.
plangeo3/ parallel	parallel is a binary boolean function with input two lines, halflines or segments. Its value is true whenever the two inputs are parallel.
relation0/ partial_equivalence	Proposition; the type of partial_equivalence relations, namely relations that are symmetric, and transitive.
calculus1/ partialdiff	This symbol is used to express partial differentiation of a function of more than one variable. It has two arguments, the first is a list of integers which index the variables of the function, the second is the function.
calculus1/ partialdiff	This symbol is used to express partial differentiation of a function of more than one variable. It has two arguments, the first is a list of positive integers which index the variables of the function, the second is the function. Application of the symbol should be taken as meaning the first partial differentiation of the function (the second argument) in each one of the variables indexed by the list of integers (its first argument).
weylalgebra1/ partialdiff	partial differentiation of a given function.
calculus1/ partialdiffdegree	This symbol is used to express partial differentiation of a function of more than one variable. It has three arguments, the first is a list of integers which give the degrees by which the function is differentiated by the corresponding variable. The second is the total degree (which should therefore be the sum of the values in the first list, but may be given symbolically). The third is the function.
poly/ partially_factored	The constructor for a factorization. Its arguments are formal powers (see operator above), where nothing in particular is assumed about the polynomials (they may or may not be irreducible, or relatively prime).
SI_NamedDerivedUnits1/ pascal	This symbol represents an SI unit of pressure. It has the short symbol form, "Pa".
units_metric1/ Pascal	This symbol represents the measure of one Newton per square metre. This is the standard SI measure for pressure.
intpath1/ path_in_sector	The symbol path_in_sector(c,t1,t2) is an outgoing path in a sufficiently small sector with the center c and the angles t1 and t2. The path starts from the point c and it is sufficiently short. When the center is intpath1.infty, the angle should be given in the coordinate t=1/z.
intpath1/ path_in_sector2	The symbol path_in_sector2(c,t1,t2,z0) is an outgoing path in the sector with the center c and the angles t1 and t2. The path is the segment from the point c to the point z0 which lies in the sector.
units_binaryprefix1/ pebi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^50$. The full technical name is petabinary.
permutation1/ perm	This symbol is an n-ary function. Its arguments should be positive integers. When applied to arguments a_1,...,a_n, the resulting value is the permutation mapping i to a_i.
permut1/ permutation	The n-ary constructor permutation. The arguments are the integers 1 .. n in some order. permutation(p1, ..., pn) is the function which takes 1 to p1, 2 to p2 and so on.
permutation1/ permutation	This symbol is an n-ary constructor whose arguments are cycles of length at least 2 with the property that all entries of all cycles are mutually distinct. The permutation symbol constructs a bijective map from the set X of entries of the cycles to X. The map is defined as follows: if E occurs as an entry of a cycle, then the permutation maps E to the entry following E in the same cycle if it exists and to the first entry in the same cycle otherwise. When applied to an element y outside X, the constructed permutation is considered to fix y.
permutation1/ permutation	This symbols is an n-ary function whose arguments are cycles of length at least 2 with the property that all entries of all cycles are mutually distinct. The permutation symbol constructs a bijective map from the set X of entries of the cycles to X. The map is defined as follows: if E occurs as an entry of a cycle, then the permutation maps E to the entry following E in the same cycle if it exists and to the first entry in the same cycle otherwise.
permutation1/ permutationsn	This symbol is a unary function. Its argument should be a positive integer. When applied to argument n, the resulting value is the set of all permutations of the set {1,..., n}.
plangeo3/ perpbisector	Given two distinct points A and B, this is the line of all points at equal distance to both A and B.
plangeo3/ perpendicular	perpendicular is a binary boolean function with input two lines, halflines or segments. Its value is true whenever the two inputs are perpendicular to each other.
ThreeDgeo2/ perpendicular	The symbol represents a binary boolean function with input two lines or segments. Its value is true whenever the first argument is perpendicular to the second.
plangeo3/ perpline	Given a point p and a line L, this defines the line through p perpendicular to L.
units_siprefix1/ peta	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^15$
nums1/ pi	A symbol to convey the notion of pi, approximately 3.142. The ratio of the circumference of a circle to its diameter.
units_siprefix1/ pico	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-12$
piece1/ piece	This introduces an individual component of a piecewise definition. It has precisely two arguments: the first is the value, and the second is a Boolean (meant to be a predicate) which is true if and only if this piece is to provide the value of the piecewise construct.
piece1/ piecewise	This operator heads an expression that is being defined piecewise. Its arguments are n objects built with the piece constructor, optionally followed by one built with otherwise constructor.
fns3/ piecewise_continuous	A predicate to indicate that a function is piecewise continuous everywhere, i.e. continuous at all but a finite number of points in its domain.
fns3/ piecewise_continuous_on	A predicate to indicate that a function is continuous at all but a finite number of points in a region.
aggregate_cats/ piecewiseContinuousSetType	This symbol represents the type of piecewise continuous sets.
units_imperial1/ pint	This symbol represents the measure of one (imperial) pint. This is the standard imperial measure for volume. See units_us1 for the U.S. pint.
units_us1/ pint_us_dry	This symbol represents the measure of one U.S. dry pint.
units_us1/ pint_us_liquid	This symbol represents the measure of one U.S. liquid pint.
lc/ PiType	The type constructor of dependant function space. It binds the (type-attributed) variables in the body, that is an OpenMath object.
FundamentalPhysicalConstants1/ Planck-charge	The Planck charge is defined to be sqrt(h-barc4pieps0). Its value derived from measurement is 1.875545870(47) * 10^−18 coulomb. It is commonly represented with the short, italic symbol, "q", subscripted with an upright capital "P".
FundamentalPhysicalConstants1/ Planck-constant	This symbol represents the fundamental constant equal to the ratio of the energy of a photon to its frequency. By measurement it is found to be approximately equal to 6.62606896(33)*10^(-34) J s [CODATA 2006]. It is commonly represented with the short, italic symbol, "h".
FundamentalPhysicalConstants1/ Planck-length	The Planck length is defined to be sqrt(h-barG/(c^3)). Its value derived from measurement is 1.616252(81) 10^−35 metre. It is commonly represented with the short, italic symbol, "l", subscripted with an upright capital "P".
FundamentalPhysicalConstants1/ Planck-mass	The Planck mass is defined to be sqrt(h-barc/G). Its value derived from measurement is 2.17644(11) 10^−8 kilogram. It is commonly represented with the short, italic symbol, "m", subscripted with an upright capital "P".
FundamentalPhysicalConstants1/ Planck-temperature	The Planck temperature is defined to be sqrt(h-barc^5/(Gk^3)). Its value derived from measurement is 1.416785(71) × 10^32 kelvin. It is commonly represented with the short, italic symbol, "T", subscripted with an upright capital "P".
FundamentalPhysicalConstants1/ Planck-time	The Planck time is defined to be sqrt(h-barG/(c^5)). Its value derived from measurement is 5.39124(27) 10^−44 second. It is commonly represented with the short, italic symbol, "t", subscripted with an upright capital "P".
physical_consts1/ Planck_constant	This symbol represents the fundamental constant equal to the ratio of the energy of a quantum of energy to its frequency. It is approximately equal to 6.626075510^(-34) +/- 4.010^(-40) Joule seconds.
ThreeDgeo1/ plane	The symbol is used to indicate a plane in 3-dimensional Euclidean geometry by a variable. The plane may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo2/ plane_parallel	The symbol represents a binary boolean function with input two planes. Its value is true whenever the first argument is parallel to the second.
arith1/ plus	The symbol representing an n-ary commutative function plus.
indnat/ plus	Addition of natural numbers defined recursively by using the successor.
opnode/ plus	A constant value, constructs the plus for addition nodes.
polyd/ plus	The sum. The argument is a DMPL. The sum lies within the same "PolyRingD" i.e. a program implementing this operation should return a DMP with the same "poly_ring_d" (or "poly_ring_d_named").
polyd1/ plus	The sum. The argument is a DMPL. The sum lies within the same "poly_ring_d", i.e., a program implementing this operation should return a DMP with the same "poly_ring_d".
test-x/ plus	The symbol representing an n-ary commutative function plus.
hypergeon0/ plus_part	The argument is a vector. It replaces negative elements in the vector to zero.
linalg1p/ plus_part	The argument is a vector. It replaces negative elements in the vector to zero.
hypergeo0/ pochhammer	Pochhammer symbol
plangeo1/ point	The symbol is used to indicate a point of planar Euclidean geometry by a variable. The point may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo1/ point	The symbol is used to indicate a point of 3-dimensional Euclidean geometry by a variable. The point may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
plangeo3/ polarline	Given a point p and a circle C this defines the polar line of p with respect to C.
polyd3/ poly_d_named_to_arith	This symbol is a unary function. Its argument is a DMP with named variables. When applied to R, the symbol denotes the arithmetic expression that is the sum of the terms.
polyd3/ poly_d_to_arith	This symbol is a binary function. The first argument is a DMP and the second argument is a list of objects, typically variables or arithmetic expressions, at least as many as there are variables in the ring to which the DMP belongs. When applied to R and L, the symbol denotes the arithmetic expression that is the sum of the terms with the i-th variable of the ring of the DMP being substituted by the i-th expression or variable of the list L.
polyr/ poly_r_rep	A constructor for the representation of polynomials. The first argument is the polynomial variable, the rest are monomials (in decreasing order of exponent).
ring3/ poly_ring	This symbol represents a binary function. The first argument should be a ring and the second a variable. When evaluated on such arguments R and X, the function represents the free commutative ring over R generated by X. This ring can also be viewed as the ring of polynomials over R with indeterminate X.
polyd/ poly_ring_d	The constructor of polynomial ring. The first argument is a ring (the ring of the coefficients), the second is the number of variables as an integer.
polyd1/ poly_ring_d	The constructor of polynomial ring. The first argument is a ring (the ring of the coefficients), the second is the number of variables as an integer.
polyd/ poly_ring_d_named	The constructor of polynomial ring. The first argument is a ring (the ring of the coefficients), the remaining arguments are the names of the variables. The first variable given is the most important from the point of view of lexicographic ordering, then the second, and so on.
polyd1/ poly_ring_d_named	The constructor of polynomial ring. The first argument is a ring (the ring of the coefficients), the remaining arguments are the names of the variables. The first variable given is the most important from the point of view of lexicographic ordering, then the second, and so on.
polyslp/ poly_ring_SLP	The constructor of the polynomial ring. The first argument is a ring, (the ring of the coefficients), the rest are the variables, in any order.
polyu/ poly_u_rep	A constructor for the representation of polynomials. The first argument is the polynomial variable, the rest are monomials (in decreasing order of exponent).
plangeo5/ polynomial_assertion	This symbol is a function in one argument, which should be an assertion whose configuration is coordinatized (that is, each geometric object involved has coordinates). When evaluated at an assertion assertion(C,T) it represents the assertion that the constant polynomial 1 belongs to the ideal of the polynomial ring over a coefficient ring R containing the rationals and all global (unbound) coordinates of C, in the bound variables of ideal(C) and an external variable t, generated by ideal(C)[bound variables] and 1-f_T t. Here f_T is a polynomial such that f_T=0 is equivalent to the thesis T being true. This means f_T is in the radical ideal of ideal(C)[bound variables]. The interpretation is as follows: There are no parameter choices for the bound variables such that f_T is nonzero. In other words, for all parameter choices of a coordinatization of C, we must have f_T=0. So the truth of the assertion that thesis T holds in configuration C is reflected by the truth of polynomial_assertion(C,T).
polyr/ polynomial_r	The constructor of Recursive Polynomials. The first argument is the polynomial ring containing the polynomial and the second is a "poly_r_rep".
polysts/ polynomial_ring	The type of all polynomial rings, e.g. from polyr or polyd OCDs
polyr/ polynomial_ring_r	The constructor of a recursive polynomial ring. The first argument is a ring (the ring of the coefficients), the rest are the variables (in order).
polyu/ polynomial_ring_u	The constructor of a univariate polynomial ring. The first argument is a ring (the ring of the coefficients), the second is the variable.
polyslp/ polynomial_SLP	The constructor of Polynomials built with Straight Line Program representation. The first argument is the polynomial ring containing the polynomial built with poly_ring_SLP, The second argument is the program body built with prog_body.
polyu/ polynomial_u	The constructor of Recursive Polynomials. The first argument is the polynomial ring containing the polynomial and the second is a "poly_u_rep".
polynomial4/ possibly_reducible	A symbol which denotes that the irreducibility of a factor of the factorisation is not guaranteed.
units_imperial1/ pound_force	This symbol represents the measure of force of one pound.
units_imperial1/ pound_mass	This symbol represents the measure of the mass which weighs one pound under the influence of standard gravity.
arith1/ power	This symbol represents a power function. The first argument is raised to the power of the second argument. When the second argument is not an integer, powering is defined in terms of exponentials and logarithms for the complex and real numbers. This operator can represent general powering.
dimensions1/ power	This symbol represents the power physical dimension, it is energy per time.
field1/ power	This is a symbol with two or three arguments. Its first argument should be an element g of a field and the second argument should be an integer. The optional third argument is the field G containing g. It denotes the element g^k in G.
group1/ power	This is a symbol with three arguments. The first argument is a group G. Its second argument is an element g of G and the third argument is an integer k. It denotes the element g^k in G.
poly/ power	Takes a polynomial and a (non-negative) integer and produces a formal power. Although OpenMath does not specify operational semantics, the idea here is that these powers are not evaluated. We note that the power from arith1 would suggest the expanded form.
polyd/ power	The power. First argument is a DMP, second argument is the integer power. The power lies within the same "PolyRingD" i.e. a program implementing this operation should return a DMP with the same "poly_ring_d" (or "poly_ring_d_named").
polyd1/ power	The power. First argument is a DMP, second argument is the integer power. The power lies within the same "poly_ring_d", i.e., a program implementing this operation should return a DMP with the same "poly_ring_d".
ring1/ power	This is a symbol with two or three arguments. Its first argument should be a an element g of a ring and the second argument should be an integer. The optional third argument is the ring G containing g. It denotes the element g^k in G.
SI_DerivedQuantities1/ power	This symbol represents the physical quantity of power, or energy divided by time. A variable representing an arbitrary quantity of power is commonly represented with the italic, upper case letter, "P".
test-x/ power	This symbol represents a power function. The first argument is raised to the power of the second argument. When the second argument is not an integer, powering is defined in terms of exponentials and logarithms for the complex and real numbers. This operator can represent general powering.
set3/ powerset	This symbol represents unary function whose argument should be a set. When applied to a set X, it represents the collection of all subsets of X.
relation0/ pre_order	Proposition; the type of preorder relations, namely relations that are reflexive and transitive.
logic3/ pred_deduction	This symbol is used to claim that a statement (the first child) is a deduction of the classical predicate calculus, i.e. that it follows by applications of Modus Ponens, forall-introduction and exists-elimination, from instantiations of the axioms (which may be the common three involving applications of Modus Ponens, and generalisation from instantiations of the Axioms (which may be the common three involving 'implies', together with forall-instantiation and moving forall inside implication, but need not be), and the hypotheses (elements of the set which is the second child).
logic3/ pred_theorem	This symbol is used to claim that a statement is a theorem of the classical first-order predicate calculus, i.e. that it follows by applications of Modus Ponens, and generalisation from instantiations of the Axioms (which may be the common three involving 'implies', together with forall-instantiation and moving forall inside implication, but need not be).
fns2/ predicate_on_list	This symbol is used to denote the chains of application or a binary predicate typified by a < b < c. In particular it is used to support the usage in MathML, where transative relations are classed as nary, but the underlying OpenMath symbols are binary. The symbol takes two arguments; the first of which is the binary predicate, the second a list. It is true if every application of the predicate on a pair of elements of the list, taken in order, returns true, otherwise it is false.
rdf/ prefix	A symbol to be used as the head of the OpenMath application to construct a prefix mapping that can be used as a value of the prefixes attribution. The two arguments of this function should be OpenMath strings representing in order, the prefix and the corresponding namespace URI.
units_ops1/ prefix	This symbol represents the fact that the subsequent unit has been effectively multiplied by 1,000 ($10^{3}$)
rdf/ prefixes	A symbol to be used within an OpenMath attribute to specify one or more RDF namespace prefixes. The annotation value should be a set1.set of pairs of strings (prefix name, namespace URI) constructed with the prefix symbol.
dimensions1/ pressure	This symbol represents the pressure physical dimension.
SI_DerivedQuantities1/ pressure	This symbol represents the physical quantity of pressure. A variable representing an arbitrary quantity of pressure is commonly represented with the italic, lower case letter, "p".
finfield1/ primitive_element	This symbol has one or two arguments. If there is only one argument, it must be a prime power q. The optional second argument is a polynomial m which is primitive over the prime subfield of GF(q). This symbol returns a primitive element for GF(q) with minimal polynomial m. If there is only one argument, then the minimal polynomial is assumed to be the conway polynomial for GF(q).
order1/ primitive_element	This is a unary function, whose argument is a number field K. It returns a primitive element of K. Note that the result is not unique.
ring3/ principal_ideal	This symbol represents a binary function. The first argument is a ring R and the second argument is an element of R. When evaluated on R and such a second argument, the function represents the ideal in R generated by the second argument.
prog1/ procedure_block	The block of code defining the body of the procedure. The syntax is procedure_block(local_var, global_var, block1), where local_var encodes the local variables (private to the procedure body), gloval_var are global variables that are know to the procedure and block1 is the body of the procedure. All these elements, locar_var, global_var and block1, should be present (but they can also be empty).
prog1/ procedure_call	Symbol procedure_call can be used to "call" already defined procedures. The syntax is procedure_call(name, call_arguments), where name is the encoding of an OpenMath variable (OMV) representing the name of the function and call_arguments are the arguments to pass to the function. Both, name and call_arguments, should be present but call_arguments can be empty.
scscp1/ procedure_call	The actual procedure call. Its only argument is an OpenMath Application, whose head symbol describes the procedure to be called, and whose arguments are the arguments to the procedure.
scscp1/ procedure_completed	The result of a successful computation. Should come along with a call_id and, possibly, some extra information.
prog1/ procedure_definition	This symbol can be used to define a procedure. The sintax is procedure_definition(name, def_arguments, procedure_block), where name is the encoding of an OpenMath variable representing the name of the procedure, def_arguments encodes the argument the procedure can receive and procedure_block encodes the body of the procedure. Contrary to function procedures can have knowledge about global objects by means of the global_var construct (see procedure block).
scscp1/ procedure_terminated	The result of a failed computation. Should come along with a call_id, an error description, and possibly some extra information.
arith1/ product	An operator taking two arguments, the first being the range of multiplication e.g. an integral interval, the second being the function to be multiplied. Note that the product may be over an infinite interval.
test-x/ product	An operator taking two arguments, the first being the range of multiplication e.g. an integral interval, the second being the function to be multiplied. Note that the product may be over an infinite interval.
polyslp/ prog_body	The constructor of the body of the straight line program the arguments represent straight line instructions, as constructed by the following three constructors, op_node, inp_node and const_node, possibly wrapped in the return symbol (from the opnode CD). The order is taken to be the order in which they appear.
logic3/ proof	This symbol represents a sequence of justified well-formed formulae (i.e. objects of type ProofLine). The single argument is a List of ProofLine objects.
typesorts/ Prop	The type of propositions
logic3/ prop_deduction	This symbol is used to claim that a statement (the first child) is a deduction of the classical propositional calculus, i.e. that it follows by applications of Modus Ponens from instantiations of the axioms (which may be the common three involving 'implies', but need not be), and the hypotheses (elements of the set which is the second child).
logic3/ prop_theorem	This symbol is used to claim that a statement is a theorem of the classical propositional calculus, i.e. that it follows by applications of Modus Ponens from instantiations of the axioms (which may be the common three involving 'implies', but need not be).
directives1/ prove	This symbol is a function with one argument, which should be a clause. When applied to a clause C, it asks for a proof of C.
directives1/ prove_in_theory	This symbol is a function with two arguments, the first of which should be a clause and the second of which should be a symbol indicating a logic theory. When applied to arguments C, T, it asks for a proof of C in theory T.
multiset1/ prsubset	This symbol has two (multiset) arguments. It is used to denote that the first multiset is a proper subset of the second, that is a subset of the second multiset but not actually equal to it.
set1/ prsubset	This symbol has two (set) arguments. It is used to denote that the first set is a proper subset of the second, that is a subset of the second set but not actually equal to it.
fieldname1/ Q	This is a symbol representing the field of rational numbers.
setname1/ Q	This symbol represents the set of rational numbers.
groupname1/ quaternion_group	This symbol represents the quaternion group of order 8.
permgp2/ quaternion_group	This symbol represents the quaternion group of order 8, viewed as a permutation group by means of the regular representation (multiplication from the right). It is generated by (1,2,3,4)(5,8,6,7) and (1,5,2,6)(3,7,4,8). (In the usual notation, the 8 elements are 1, -1, i, -i, j, -j, k, -k.)
ringname1/ quaternions	This symbol represents a unary function. Its argument is a ring R. When evaluated on R, the function represents the ring of quaternions over R, that is, the ring with basis 1,i,j,k over R such that ij=-ji=k, i^2=j^2=k^2=-1.
integer1/ quotient	The symbol to represent the integer (binary) division operator. That is, for integers a and b, quotient(a,b) denotes q such that a=bq+r, with \|r\| less than \|b\| and ar positive.
polynomial3/ quotient	This symbol represents the binary division operator on univariate polynomials over fields. That is, for univariate polynomials a and b, quotient(a,b) denotes the polynomial q such that a=b*q+r, with degree(r) less than degree(b).
polynomial4/ quotient	This symbol contains the quotient of polynomial4.divide. Cf. polynomial4.quotient_remainder for an example.
polyslp/ quotient	A quotient function for polynomials represented by slps. It is a requirement that this is an exact division.
ring5/ quotient_by_poly_map	This symbol is a binary function whose first argument is a ring R, and whose second argument is a univariate polynomial f with coefficients from R. So, if the indeterminate is X, when applied to R and f, the function has value the natural quotient map from R[X] to the quotient ring R[X]/(f).
gp1/ quotient_group	The binary function whose value is the factor group of the first argument by the second, assuming the second is normal in the first.
group3/ quotient_group	The binary function whose value is the factor group of the first argument by the second, assuming the second is normal in the first.
ring5/ quotient_map	This symbol is a binary function whose first argument is a ring R and whose second argument is an ideal I of R. When applied to R and I, its value is the natural quotient map from R to the quotient ring R/I.
polynomial4/ quotient_remainder	This symbol is a container for the result of polynomial4.divide. It takes 2 arguments in unspecified order, polynomial4.quotient and polynomial4.remainder. Using the above polynomial4.divide call we may obtain:
ring3/ quotient_ring	This is a binary function, whose first argument is a ring R and whose second argument is an ideal I of R. When applied to R and I, it denotes the quotient ring of R by I.
setname2/ QuotientField	This symbol represents the quotient field of any integral domain.
fieldname1/ R	This is a symbol representing the field of real numbers.
setname1/ R	This symbol represents the set of real numbers.
SI_NamedDerivedUnits1/ radian	This symbol represents one radian, the natural unit of measure for angle. It has the short symbol form, "rad".
SI_DerivedQuantities1/ radioactivity	This symbol represents the physical quantity of radio nuclide activity, or radioactivity. A variable representing an arbitrary quantity of radioactivity is commonly represented with the italic, upper case letter, "A".
plangeo3/ radius	The radius of a circle.
plangeo3/ radius_of	Gives the radius of a circle.
hypergeon1/ raising_multi_factorial	raising_multi_factorial is a product of pochhammer symbols. 2-ary function. reference: authors: "Saito, Sturmfels, Takayama" title: "Grobner Deformations of Hypergeometric Differential Equations" pages: 127
fns1/ range	This symbol denotes the range of a function, that is a set that the function will map to. The single argument should be the function whos range is being queried. It should be noted that this is not necessarily equal to the image, it is merely required to contain the image.
linalg4/ rank	This symbol represents the function which takes one matrix argument and returns the number of linearly independent rows (or columns) of that matrix.
linalgrank1/ rank	This symbol represents the function which takes one matrix argument and returns the number of linearly independent rows (or columns) of that matrix.
polyd1/ rank	This is a unary function, whose argument can be a DMP, a poly_ring_d, or a poly_ring_d_named. When applied to its argument, it represents the number of variables of the polynomial ring involved.
nums1/ rational	This symbol represents the constructor function for rational numbers. It takes two arguments, the first is an integer p to denote the numerator and the second a nonzero integer q to denote the denominator of the rational p/q.
mathmltypes/ rational_type	A symbol to be used as the argument of the type symbol to convey the type of a rational number.
interval_types/ rationalIntervalType	This symbol represents the type of rational intervals.
complex1/ real	This represents the real part of a complex number
mathmltypes/ real_type	A symbol to be used as the argument of the type symbol to convey the type of a real number.
interval_types/ realIntervalType	This symbol represents the type of real intervals.
polyd/ reduce	The reduction of a polynomial with respect to a Groebner basis. First argument is a DMP, the second argument is a "groebnered" object. i.e. a program implementing this operation should return a DMP which represents the polynomial reduced with respect to the Groebner basis.
polygb1/ reduce	The reduction of a polynomial with respect to a list P of polynomials. First argument is a polynomial expression p, the second argument is the list P of polynomials, the third argument is a list of variables, the fourth argument is a monomial reduction ordering. A program implementing this operation should return a polynomial which represents a polynomial reduced from p with respect to P. This means that p is expressible as the sum of the returned polynomial and a linear combination of the polynomials from P with coefficients being polynomials in the variables given in the third argument, and that no monomial of the returned polynomial is divisible by the leading monomial of an element from P.
FundamentalPhysicalConstants1/ reduced-Planck-constant	This symbol represents the Planck constant divided by 2*pi. It is commonly represented with the short, italic symbol, h with a horizontal bar ("h-bar"), Unicode: U+210F , HTML: ℏ.
relation0/ reflexive	Proposition; the type of reflexive binary relations.
relation3/ reflexive_closure	This symbol represents a binary function whose first argument is a set S, whose second argument is a relation R on S. When applied to S and R, it represents the smallest reflexive relation (with respect to inclusion) on S containing R.
relation0/ relation	Type constructor; returns the type of binary relations on a set.
numerical1/ relative_error_bound	This symbol marks an estimated upper bound for the relative error ( \|true-computed\|/\|computed\| ) on a computation.
numerical1/ relative_error_requested	This symbol marks a requirement for the relative error ( \|true-computed\|/\|computed\| ) on a computation.
integer1/ remainder	The symbol to represent the integer remainder after (binary) division. For integers a and b, remainder(a,b) denotes r such that a=bq+r, with \|r\| less than \|b\| and ar positive.
polynomial3/ remainder	The symbol represents a binary function, whose arguments should be univariate polynomials in the same polynomial ring whose coefficient ring is a field. When applied to a and b, it represents the polynomial remainder after division of a by b.
polynomial4/ remainder	This symbol contains the remainder of polynomial4.divide. Cf. polynomial4.quotient_remainder for an example.
list4/ remove	This symbol represents a function with two arguments, both lists. When applied to two lists, it represents a list made up of all the elements of the first list with those elements removed whose entries occur in the second list.
dimensions1/ resistance	This symbol represents the resistance physical dimension, it is the resistance that an electrical circuit has to flow of charge.
SI_DerivedQuantities1/ resistance	This symbol represents the physical quantity of electrical resistance, the resistance that an electrical circuit has to electrical current. A variable representing an arbitrary quantity of electrical resistance is commonly represented with the italic, upper case letter, "R".
rdf/ resource	This symbol represents an unary construction function for representing a specific RDF resource. It takes one string argument denoting an IRI reference as prefixed name in the form "prefix:resourceName" or as a full IRI in the form ">IRI<".
rdf/ resourceset	This symbol represents an unary construction function for constructing a set of RDF resources. It takes one string argument representing a Manchester Syntax description as described by http://www.w3.org/TR/owl2-manchester-syntax/#Descriptions in order to construct a set of RDF resources. Please note that it may also be possible to represent the class description by using OpenMath set operations: rdf.resourceset( set1.intersect( rdf.resourceset("foaf:Person"), set1.suchthat(rdf.resourceset("rdfs:Resource"), fns1.lambda[$r -> set1.size(rdf.valueset("foaf:age", $r) > 0)]) ) )
directives1/ response	This symbol is a function of one argument, which should be a query. When applied to a query, it refers to the response a service might give. It will mainly be used in this CD to express formal mathematical properties of queries.
list2/ rest	This symbol represents a function which returns a list made up of all the elements except the first of its argument, which should be a list.
list2/ rest	This symbol represents a function which returns a list made up of all the elements except the first of its argument, which should be a list.
fns1/ restriction	restriction takes two arguments, a function f, and a set S, which should be a subset of domain(f) and returns the function f restricted to S.
poly/ resultant	Function taking three arguments, it represents the resultant of two polynomials, which are the first two arguments, with respect to the given variable which is the third argument.
scscp2/ retrieve	Using the cookie that was obtained earlier by calling the scscp2.store_session or scscp2.store_persistent procedure or another procedure call, return to the client an OM object representing the object, referred by the cookie.
opnode/ return	A unary function, takes a node of an slp, returns the value of the polynomial which corresponds to this node of the slp.
prog1/ return	This symbol, which can have an aribtrary positive number of arguments, can be used to return values from functions.
polyslp/ return_node	Takes an slp as the argument, and returns the return node of the slp.
list2/ reverse	The reverse of a list
list4/ reverse	The reverse of a list
polyd/ reverse_lexicographic	The reverse lexicographic ordering of terms. Note that, if a poly_ring_d_named is used, lexigographic refers to the order of the variables in the poly_ring_d_named, not to their order as strings.
polyd2/ reverse_lexicographic	The reverse lexicographic ordering of monomials
fns2/ right_compose	This symbol represents a function forming the right-composition of its two functional arguments.
permutation1/ right_compose	This symbol is a binary function. Its arguments should be permutations. When applied to arguments P1 and P2, the resulting value is the permutation which maps x in Support(P1) union Support(P2) to P2(P1(x)).
group4/ right_coset	This symbol represents a ternary function whose first argument is a group G, whose second argument is a subgroup H of G, and whose third argument is an element x of G. Its value on G, H, and x is the right coset of H in G containing x, that is, the set H x.
group4/ right_coset_representative	This symbol represents a quaternary function whose first argument is a group G, whose second argument is a subgroup H of G, whose third argument is right_transversal T of H in G, and whose fourth argument is an element of G. It assigns to G, H, T, g the element of t of T representing the right coset of H containing g, that is, H t = H g.
group4/ right_cosets	The binary function whose value is the set of right cosets of the second argument in the first.
magma1/ right_divides	This symbol is a ternary function. Its first argument should be a magma M and the second and third arguments should be elements of M. When applied to M, a, and b, it denotes the fact that a is a right_divisor of b in M. This means that there is v in M such that va = b.
magma1/ right_expression	This symbol is a binary function. Its first argument should be a magma M, the second argument a list L of elements of M When applied to M and L, it denotes the right product (( ... (L[1] * L[2]) * ... ) * L[n]) of all elements in the list L.
fns1/ right_inverse	This symbol is used to describe the right inverse of its argument (a function). This inverse may only be partially defined because the function may not have been surjective. If the function is not surjective the right inverse function is ill-defined without further stipulations. No other assumptions are made on the semantics of this right inverse.
group2/ right_inverse_multiplication	This symbol is a function with two arguments, which should be a group M and an element x of M. When applied to M and x, it denotes right multiplication on M by the inverse of x.
field2/ right_multiplication	This symbol is a function with two arguments, which should be a field M and an element x of M. When applied to M and x, it denotes right multiplication on M by x.
group2/ right_multiplication	This symbol is a function with two arguments, which should be a group M and an element x of M. When applied to M and x, it denotes right multiplication on M by x.
monoid2/ right_multiplication	This symbol is a function with two arguments, which should be a monoid M and an element x of M. When applied to M and x, it denotes right multiplication on M by x.
ring2/ right_multiplication	This symbol is a function with two arguments, which should be a ring M and an element x of M. When applied to M and x, it denotes right multiplication on M by x.
semigroup2/ right_multiplication	This symbol is a function with two arguments, which should be a semigroup M and an element x of M. When applied to M and x, it denotes right multiplication on M by x.
group5/ right_quotient_map	This symbol is a binary function whose first argument is a group G and whose second argument is an subgroup H of G. When applied to G and H, its value is the natural quotient map from G to the quotient group G/H, sending x to the left coset xH of G.
polyslp/ right_ref	Takes as argument a node of an slp. Returns the value of the right hand pointer of the node.
gp1/ right_transversal	The binary function whose value is a set of representatives for the right cosets of the second argument as a subgroup of the first.
group4/ right_transversal	The binary function whose value is a set of representatives for the right cosets of the second argument as a subgroup of the first.
algebraic_cats/ ring	This symbol is the constructor for rings. A ring is a set together with two operations + and . A ring is an Abelian group under + and a semigroup under . A ring has a further rule which associates the two operation, that is left and right distributivity. The ring constructor takes five arguments, the set of the ring, a binary function from the set into itself to represent the * operation, a binary function from the set into itself to represent the + operation, an element of the set of the ring to represent the additive identity 0 and a unary function from the set into itself to represent additive inverses (i.e. inverses under +, or negatives).
generic_alg_cats/ ring	This Symbol represents the generic category of ring.
ring1/ ring	This symbol is a constructor for rings. It takes six arguments R, a, o, i, m, e,: which are, respectively, a set R to specify the elements in the ring, a binary operation a on R, an element o of R, and a unary operation i on R such that [R,a,o,i] is a commutative group, a binary operation m on R and an element e of R such that [R,m,e] is a monoid.
order1/ ring_integers	This is a unary function, whose argument is a number field K. When applied to K, it returns the ring of integers of K. It is the Dedekind ring of K.
algebraic_cats/ ring_negative	This symbol takes one argument which should be a ring. It returns a unary function which should be the negative function of the ring.
algebraic_cats/ ring_plus	This symbol takes one argument which should be a ring. It returns a binary function which represents the additive operation of the ring.
algebraic_cats/ ring_set	This symbol takes one argument which should be a ring. It returns the set of the ring.
algebraic_cats/ ring_times	This symbol takes one argument which should be a ring. It returns a binary function which represents the multiplicative operation of the ring.
algebraic_cats/ ring_zero	This symbol takes one argument which should be a ring. It returns the additive identity of the ring.
algebraic_cats/ ringoid	This symbol is the constructor for ringoids. A ringoid is a set together with two operations + and . is left and right distributive over +. The ringoid constructor takes three arguments, the set of the ringoid, a binary function from the set into itself to represent the * operation and a binary function from the set into itself to represent the + operation.
generic_alg_cats/ ringoid	This symbol represents the generic category of ringoid.
algebraic_cats/ ringoid_plus	This symbol takes one argument which should be a ringoid. It returns a binary function which represents the additive operation (+) of the ringoid.
algebraic_cats/ ringoid_set	This symbol takes one argument which should be a ringoid. It returns a set which represents the set of the ringoid.
algebraic_cats/ ringoid_times	This symbol takes one argument which should be a ringoid. It returns a binary function which represents the multiplicative operation (*) of the ringoid.
meta/ Role	An element containing the string corresponding to the role of the symbol being defined.
arith1/ root	A binary operator which represents its first argument "lowered" to its n'th root where n is the second argument. This is the inverse of the operation represented by the power symbol defined in this CD. Care should be taken as to the precise meaning of this operator, in particular which root is represented, however it is here to represent the general notion of taking n'th roots. As inferred by the signature relevant to this symbol, the function represented by this symbol is the single valued function, the specific root returned is the one indicated by the first CMP. Note also that the converse of the second CMP is not valid in general.
patterns/ root	This symbol represents a pattern constructor for matching the root element of an expression.
test-x/ root	A binary operator which represents its first argument "lowered" to its n'th root where n is the second argument. This is the inverse of the operation represented by the power symbol defined in this CD. Care should be taken as to the precise meaning of this operator, in particular which root is represented, however it is here to represent the general notion of taking n'th roots. As inferred by the signature relevant to this symbol, the function represented by this symbol is the single valued function, the specific root returned is the one indicated by the first CMP. Note also that the converse of the second CMP is not valid in general.
rounding1/ round	The round to nearest operation.
matrix1/ row_dimension	This symbol is a unary function whose first argument must be either a non-negative OpenMath integer or nums1.infinity. When applied this creates an object that denotes the dimension of the codomain of the linear mapping represented by the matrix.
linalg3/ rowcount	This symbol represents the function which takes one matrix argument and returns the number of rows in that matrix.
linalg4/ rowcount	This symbol represents the function which takes one matrix argument and returns the number of rows in that matrix.
linalg4mat/ scalar	This symbol represents a square matrix which is a scalar constant times the identity matrix. It should take two arguments, the first and second specify the number of rows and columns in the matrix, respectively, and the third specifies the scalar multiplier.
linalg5/ scalar	This symbol represents a matrix which is a scalar constant times the identity matrix. It should take two arguments, the first specifes the number of rows and columns in the matrix respectively and the third specifies the scalar multiplier.
linalg1/ scalarproduct	This symbol represents the scalar product function. It takes two vector arguments and returns a scalar value. The scalar product of two vectors a, b is defined as \|a\| * \|b\| * cos(\theta), where \theta is the angle between the two vectors and \|.\| is a euclidean size function. Note that the scalar product is often referred to as the dot product.
permgp1/ schreier_tree	This is a function with two arguments. The first argument should be a permutation group G, the second argument a point x permuted by G. When evaluated at G and x, it returns a list of three lists X,V,B. The first list, X, enumerates the points of the G-orbit of x. The second list and the third list both have the same length as X, say n. The second list represents a map V from [1,...,n] to {-m,...,-1,0,1,...,m}, where m is the number of generators of G, and the third list represents a map B from [1,...,n] to X. These maps satisfy the following properties: X(1) = B(1) = x. Moreover, V(i) = 0 if and only if i = 1. For each index i distinct from 1, the value B(i) is equal to X(j) for some index j smaller than i. If V(i) is positive, then X(i) is the image of B(i) under the V(i)-th generator of G. If V(i) is negative, then B(i) is the image of X(i) under the (-V(i))-th generator of G.
s_data1/ sdev	This symbol represents a function requiring two or more arguments, denoting the sample standard deviation of its arguments. That is, the square root of (the sum of the squares of the deviations from the mean of the arguments, divided by the number of arguments). See CRC Standard Mathematical Tables and Formulae, editor: Dan Zwillinger, CRC Press Inc., 1996, (7.7.11) section 7.7.1.
s_dist1/ sdev	This symbol represents a unary function denoting the standard deviation of a distribution. The argument is a univariate function to describe the distribution. The standard deviation of a distribution is the arithmetical mean of the squares of the deviation of the distribution from the mean.
polyd/ SDMP	The constructor for multivariate polynomials without any indication of variables or domain for the coefficients. Its arguments are just "term"s. No terms should differ only by the coefficient (i.e it is not permitted to have both "2xy" and "x*y" as terms in a SDMP). SDMP can be attributed with the "ordering" symbol to indicate a particular ordering of its terms. This attribute shall not be set if the SDMP is part of DMPL that has this attribute set. If the SDMP is ordered, explicitly or implicitly via an outer ordering, the terms must be in decreasing order with respect to this order. The zero polynomial is represented by an SDMP with no terms.
polyd1/ SDMP	The constructor for multivariate polynomials without any indication of variables or domain for the coefficients. Its arguments are just "monomial"s. No monomials should differ only by the coefficient (i.e it is not permitted to have both "2xy" and "x*y" as monomials in a SDMP). SDMP can be attributed with the "ordering" symbol to indicate a particular ordering of its monomials. This attribute shall not be set if the SDMP is part of DMPL that has this attribute set.
transc1/ sec	This symbol represents the sec function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
transc1/ sech	This symbol represents the sech function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
SI_BaseUnits1/ second	This symbol represents the measure of one second of time, the standard SI unit of measure for quantities of time. It has the short symbol form, "s", in upright roman font.
units_metric1/ second	This symbol represents the measure of one second. This is the standard SI measure for time.
units_time1/ second	This symbol represents the measure of one second of time. This is the standard SI unit measure for time.
SIUsed_OffSystemUnits1/ second-of-arc	This symbol represents the angular measure of one second-of-arc. It has the short symbol form, '"'.
intpath1/ segment	The symbol segment(a,b) is the segment from the point a to the point b in the complex plane. If the arguments are sectors given by path_in_sector, it means the segment from a point in the circular border of the sector to a point in the circular border of the another sector.
plangeo2/ segment	The segment of a line between two points of the line. The segment is contained in the affine part of the line. The symbol takes as arguments the two points.
ThreeDgeo1/ segment	The symbol is used to indicate a segment of a line in 3-dimensional Euclidean geometry by a variable. The segment is contained in the affine part of the line. The symbol takes the variable as the first argument and the endpoints as second and third arguments.
list3/ select	This symbol takes two lists as arguments, L and M say. The second argument is a list containing only entries from [1..n], where n is the length of L. The symbol represents the function which returns a list whose length is equal to the length of M, and having at position k the value of L at position M_k.
list3/ select	This symbol takes two lists as arguments, L and M say. The second argument is a list containing only entries from [1..n], where n is the length of L. The symbol represents the function which returns a list whose length is equal to the length of M, and having at position k the value of L at position M_k.
patterns/ self_or_descendant	This symbol represents a pattern constructor for matching the current element itself or any of its descendants.
algebraic_cats/ semigroup	This symbol is the constructor for semigroups, that is groupoids for which the operator of the semigroup is associative over the set of the semigroup. The semigroup constructor takes two arguments, the set of the semigroup and a binary function which represents the operation of the semigroup.
generic_alg_cats/ semigroup	This Symbol represents the generic category of semigroup.
monoid1/ semigroup	This symbol is a unary function, whose argument should be a monoid M. When applied to M its value is the semigroup underlying M.
semigroup/ Semigroup	The contructor for the type of semigroups as a Setoid with a binary operation.
semigroup1/ semigroup	This symbol is a constructor for semigroups. It takes two arguments in the following order: a set to specify the elements in the semigroup, and a binary operation to specify the semigroup operation. The binary operation should act on elements of the set and return an element of the set.
algebraic_cats/ semigroup_operation	This symbol takes one argument which should be a semigroup. It returns a binary function which should represent the operation of the semigroup.
algebraic_cats/ semigroup_set	This symbol takes one argument which should be a semigroup. It returns the set of the semigroup.
scscp2/ service_description	The symbol for the server to use in a response to scscp2.get_service_description. It takes three OMSTR arguments: Name, Version, and Description.
set1/ set	This symbol represents the set construct. It is an n-ary function. The set entries are given explicitly. There is no implied ordering to the elements of a set.
plangeo4/ set_affine_coordinates	Defines the affine coordinates of an affine point or line.
ThreeDgeo3/ set_affine_coordinates	Defines the affine coordinates of an a point in 3-dimensional Euclidean space. Takes the point as first argument and the vector with the coordinates as second argument.
plangeo4/ set_coordinates	This symbol defines the coordinates of a point or a line. The coordinates are the projective coordinates and consist of a vector of length 3. Points whose third coordinates are zero are the points at infinity. The line whose first two coordinates are zero is the line at infinity.
mathmltypes/ set_type	A symbol to be used as the argument of the type symbol to convey the type for a set.
multiset1/ setdiff	This symbol is used to denote the multiset difference of two multisets. It takes two multisets as arguments, and denotes the multiset that contains all the elements that occur in the first multiset with strictly greater multiplicity than in the second. The multiplicity in the result is the difference of the two.
set1/ setdiff	This symbol is used to denote the set difference of two sets. It takes two sets as arguments, and denotes the set that contains all the elements that occur in the first set, but not in the second.
sts/ SetNumericalValue	Denotes an OpenMath object that is to be thought of as something that represents a set of numerical values, or a set of numerical values.
setoid/ Setoid	The contructor for the type of set with an equivalence relation on it.
aggregate_cats/ setType	This symbol represents the type of sets.
SI_NamedDerivedUnits1/ siemens	This symbol represents an SI unit of electrical conductance. It is not plural. It has the short symbol form, "S".
SI_NamedDerivedUnits1/ sievert	This symbol represents an SI unit of equivalent dose of ionizing, radiation. A sievert of equivalent dose represents one joule of biologically damaging energy absorbed per kilogram of mass. It has the short symbol form, "Sv".
ecc/ SigmaType	The binder symbol used to construct the type of Cartesian products. The (either plain or attributed) variables might occur in the body \OM\ object.
permutation1/ sign	This symbol is a function with one argument which should be a permutation. When applied to a permutation P, it represents the sign of P, which is equal to -1 if P is an odd permutation and equal to 1 otherwise.
permutation1/ sign	This symbol is a function with one argument which should be a permutation. When applied to a permutation P, it represents the sign of P, which is equal to -1 if P is an odd permutation and equal to 1 otherwise.
metasig/ Signature	This symbol is used to represent the element of a signature file which specifies the signature of a symbol. It should take two string children, the first should be the symbol who's signature is being specified, the second should be an 'OMOBJ' element which specifies the signature. Additionally the second argument should specify an object which must represent a valid type in the type system identified by the XML attribute 'type' corresponding to the element which corresponds to the symbol 'CDSignatures' enclosing this symbol.
scscp2/ signature	The symbol to use for describing the types of arguments of a particular function.
transc1/ sin	This symbol represents the sin function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
transc1/ sinh	This symbol represents the sinh function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
linalg3/ size	This symbol represents the function which takes one vector argument and returns the length of that vector.
linalg4/ size	This symbol represents the function which takes one vector argument and returns the length of that vector.
list2/ size	This symbol is used to denote the number of elements in a list. It is either a non-negative integer.
multiset1/ size	This symbol is used to denote the number of elements in a multiset. It is either a non-negative integer, or an infinite cardinal number. The symbol infinity may be used for an unspecified infinite cardinal.
set1/ size	This symbol is used to denote the number of elements in a set. It is either a non-negative integer, or an infinite cardinal number. The symbol infinity may be used for an unspecified infinite cardinal.
linalg5/ skew-symmetric	This symbol represents a skew-symmetric matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix. For j>i the ij'th element of the matrix is the (j-i+1)'th element of the i'th element of the argument. This determines the elements above the diagonal of the matrix, the elements below the diagonal of the matrix must conform to the rule M = - transpose M. This rule implies that the elements on the diagonal must be equal to 0, therefore we do not include these in the argument.
linalgsym1/ skew_symmetric	This symbol represents a skew-symmetric matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix. For j>i the ij'th element of the matrix is the (j-i+1)'th element of the i'th element of the argument. This determines the elements above the diagonal of the matrix, the elements below the diagonal of the matrix must conform to the rule M = - transpose M. This rule implies that the elements on the diagonal must be equal to 0, therefore we do not include these in the argument.
group3/ SL	This symbol is a function with one argument, which should be a a module V over a commutative ring. When applied to V it represents the group of all invertible linear transformations of V of determinant 1.
group3/ SLn	This symbol is a function with two arguments. The first should be a positive integer n, the second a field F. When applied to n and F it represents the group of all invertible linear transformations of the vector space over F of dimension n having determinant 1.
polyslp/ slp_degree	A unary function taking an slp as argument and returning the apparent multiplicative degree of the slp, without performing any cancellation.
SI_DerivedQuantities1/ solid-angle	This symbol represents the quantity of a two dimensional, geometric solid angle. A variable representing an arbitrary quantity of solid angle is commonly represented with the italic, upper case greek variable, "\Omega;".
poly1p/ sorted_set_of_indexed_variables	sorted_set_of_indexed_variables(x,s) returns the vector of variables indexed by the sorted set s.
graph1/ source	Given an arrow, this symbol refers to the vertex where the arrow starts. It takes one argument, the arrow.
equations1/ sparse	A predicate to indicate that an equation or system of equations is sparse.
linalg4mat/ sparse	The sparse symbol is a constructor for sparse matrices. It is (n+1)-ary, where the first argument is the rowcount (row dimension) of the matrix, the second argument is the columncount (column dimension) of the matrix and every following argument specifies a possibly non-zero element in the following way. The argument is a list which should have length three. The first element in the list is the row index, the second element is the column index (one based), whilst the third element in the list is the value. Every other element of the matrix is implicitly zero.
linalg4vec/ sparse	The sparse symbol is a constructor for sparse vectors. It is (n+1)-ary, where the first argument is the length (dimension) of the vector, and every following argument specifies a possibly non-zero element in the following way. The argument is a list which should have length two. The first element in the list is the position (one based), whilst the second element in the list is the value. Every other element of the vector is implicitly zero.
linalg7/ sparse	The sparse symbol is a constructor for sparse vectors, it is (n+1)-ary, where the first parameter is the length (dimension) of the vector, and every following parameter specifies a possibly non-zero element in the following way. The parameter is a list which should have length two. The first element in the list is the position (one based), whilst the second element in the list is the value. Every other element of the vector is implicitly zero.
matrix1/ sparse	The constructor for sparse matrices without any indication of dimension or domain for the coefficients. Its arguments are just matrix1.sparse_entrys. Attention: No two matrix1.sparse_entrys must specify the same location.
matrix1/ sparse_entry	This symbol denotes a ternary function whose first two arguments specify the location of an entry inside the matrix, and whose final argument is the entry itself. The entry MUST be either from the specified ground domain directly, or be a diagonal constructor as described below, a block constructor as described below, or a banded constructor as described below. In the block case, the dimensions of the block MUST NOT exceed the total dimensions of the matrix algebra. In the diagonal case, the dimension of the diagonal MUST NOT exceed the total dimensions of the matrix algebra.
linalg6/ sparseMatrix	This symbol may be used for representing matrices, it is designed for efficiently representing sparse matrices. The symbol is n+2 ary, where the first argument is the number of rows in the matrix, the second argument is the number of columns in the matrix and n is the number of non-zero entries. The following arguments must be applications of the symbol sparseMatrixElement1. Any non-specified entry is implicitly zero.
linalgspars1/ sparseMatrix	This symbol may be used for representing matrices, it is designed for efficiently representing sparse matrices. The symbol is n+2 ary, where the first argument is the number of rows in the matrix, the second argument is the number of columns in the matrix and n is the number of non-zero entries. The following arguments must be applications of the symbol sparseMatrixElement1. Any non-specified entry is implicitly zero.
linalg6/ sparseMatrix01	This symbol may be used for representing matrices which have all entries in the modular field Z_2, i.e. 1 or 0. It allows efficient representation of sparse matrices, more so than the 'sparseMatrix' symbol, since the value of the entries with values of 1 need not be stored, only their positions. The symbol is n+2 ary, where the first argument is the number of rows in the matrix, the second argument is the number of columns in the matrix. The following arguments are sparseMatrixElement3 elements described in this content dictionary. Any non-specified entry is implicitly zero.
linalgspars1/ sparseMatrix01	This symbol may be used for representing matrices which have all entries in the modular field Z_2, i.e. 1 or 0. It allows efficient representation of sparse matrices, more so than the 'sparseMatrix' symbol, since the value of the entries with values of 1 need not be stored, only their positions. The symbol is n+2 ary, where the first argument is the number of rows in the matrix, the second argument is the number of columns in the matrix. The following arguments are sparseMatrixElement3 elements described in this content dictionary. Any non-specified entry is implicitly zero.
linalg6/ sparseMatrixElement1	This symbol may be used to represent a non-zero element of a sparse matrix in the following way. It takes three arguments, the first of which represents the column index, the second of which represents the row index and the third represents the value. The indexing is one based; that is an element in the top left position of the matrix will have first and second indices of 1,1 respectively. Applications of this symbol will be expected as arguments of the symbol sparseMatrix in this content dictionary.
linalgspars1/ sparseMatrixElement1	This symbol may be used to represent a non-zero element of a sparse matrix in the following way. It takes three arguments, the first of which represents the column index, the second of which represents the row index and the third represents the value. The indexing is one based; that is an element in the top left position of the matrix will have first and second indices of 1,1 respectively. Applications of this symbol will be expected as arguments of the symbol sparseMatrix in this content dictionary.
linalg6/ sparseMatrixElement2	This symbol may be used to represent a non-zero element of a sparse matrix in the following way. It takes two arguments, the first of which represents the column index, the second of which represents the value of the element. The row index is deduced from the index of the sparseMatrixRow symbols of which applications of this symbol are arguments. Applications of this symbol occur as arguments of arguments of the symbol nonZeroRowSparseMatrix only.
linalgspars1/ sparseMatrixElement2	This symbol may be used to represent a non-zero element of a sparse matrix in the following way. It takes two arguments, the first of which represents the column index, the second of which represents the value of the element. The row index is deduced from the index of the sparseMatrixRow symbols of which applications of this symbol are arguments. Applications of this symbol occur as arguments of arguments of the symbol nonZeroRowSparseMatrix only.
linalg6/ sparseMatrixElement3	This symbol may be used to represent a non-zero element of a sparse matrix over Z_2 in the following way. The first and second arguments are the column and row indices of the non-zero elements respectively i.e. elements with value 1. Applications of this symbol occur as arguments of arguments of the symbol sparseMatrix01 only.
linalgspars1/ sparseMatrixElement3	This symbol may be used to represent a non-zero element of a sparse matrix over Z_2 in the following way. The first and second arguments are the column and row indices of the non-zero elements respectively i.e. elements with value 1. Applications of this symbol occur as arguments of arguments of the symbol sparseMatrix01 only.
linalg6/ sparseMatrixElement4	This symbol may be used to represent a non-zero element of a sparse matrix over Z_2 in the following way. The single argument is the column index of non-zero elements of the matrix, i.e. elements with value 1. Applications of this symbol occur as arguments of arguments of the symbol nonZeroRowSparseMatrix01 only.
linalgspars1/ sparseMatrixElement4	This symbol may be used to represent a non-zero element of a sparse matrix over Z_2 in the following way. The single argument is the column index of non-zero elements of the matrix, i.e. elements with value 1. Applications of this symbol occur as arguments of arguments of the symbol nonZeroRowSparseMatrix01 only.
linalg6/ sparseMatrixRow	This symbol may be used to represent rows of sparse matrices, it is a fairly general symbol in that it may be used to represent rows of any type of sparse matrix from this CD. However the particular type of sparse matrix must have as elements symbols of the corresponding type, as described in that symbols description.
linalgspars1/ sparseMatrixRow	This symbol may be used to represent rows of sparse matrices, it is a fairly general symbol in that it may be used to represent rows of any type of sparse matrix from this CD. However the particular type of sparse matrix must have as elements symbols of the corresponding type, as described in that symbols description.
fns3/ specification	This symbol denotes the specification of a function. It is a unary function. When aplied to its argument, which should be a function applied to three arguments, it returns the third argument of the function, that is, the function specification.
dimensions1/ speed	This symbol represents the speed physical dimension. It is the size of the derivative of distance with respect to time.
SI_DerivedQuantities1/ speed	This symbol represents the physical quantity of speed. It is the size of the derivative of position with respect to time.
FundamentalPhysicalConstants1/ speed-of-light	This symbol represents the speed of light in a vacuum. Its value is implied by the definition of the metre [17th CGPM (1983)]. Consequently, the speed of light is defined to be exactly 299,792,458 metre per second (in the SI). It is commonly represented with the short, italic symbol, "c".
physical_consts1/ speed_of_light	This symbol represents the speed of light in a vacuum. It is approximately 299792458 metres per second.
ThreeDgeo1/ sphere	The symbol is used to indicate a sphere in 3-dimensional Euclidean geometry by a variable. The sphere may (but need not) be subject to constraints. The symbol takes the variable as the first argument and the constraints as further arguments.
ThreeDgeo2/ sphere_center	The statement that a sphere in 3-dimensional Euclidean space has a given point as center. Takes the sphere as first argument and the point as second argument.
sts2/ square_matrix	A constructor for the type of a square matrix
poly/ squarefree	The square-free decomposition of its argument. A program that can compute the factorization is required to return a "squarefreed" object.
poly/ squarefreed	The constructor for a square-free factorization. Its arguments should have the structure of the above "factored", where the polynomials should be square-free. Note that this is not necessarily a minimal square-free decomposition: some exponents can occur more than once. Again, this is a statement that we have a square-free factorisation, rather than a request to compute one.
permgp1/ stabilizer	This is an n-ary function with n at least 2. The first argument is a permutation group G, the other arguments are elements x_2,x_3,...,x_n upon which G acts. The value is the subgroup of G consisting of all permutations which stabilize each of x_2,x_3,...,x_n.
permgrp/ stabilizer	The first argument is a permutation group, the second is some object (point or set) upon which the first argument acts. The value is the subgroup of the first argument which stabilize the second argument.
permgp1/ stabilizer_chain	This function takes one argument which should be a permutation group. When applied to the permutation group G, its value is a list consisting of two lists B, H of equal length. The first list B is a base for G, whereas the i-th entry H[i] of the second list is the stabilizer in G of the elements B[1], ..., B[i].
SI_NamedDerivedUnits1/ steradian	This symbol represents one steradian, the natural unit of measure for solid angle. It has the short symbol form, "sr".
combinat1/ Stirling1	The Stirling numbers of the first kind. (-1)^(n-m)*Stirling1(n,m) is the number of permutations of n symbols which have exactly m cycles. Note that there are a few slightly different definitions of these numbers.
combinat1/ Stirling2	The Stirling numbers of the second kind. Stirling2(n, m) is the number of partitions of a set with n elements into m non empty subsets. Note that there are a few slightly different definitions of these numbers.
scscp2/ store_persistent	This indicates the request to store an object on the server side (possibly after computing or simplifying it), returning only a cookie (actually, OM reference) pointing to an object that is usable (using OMR) in the foreseeable future, possibly from different sessions, to get access to the actual object. The server is encouraged to describe the expected lifetime of this object and whether references to this object from different SCSCP sessions are allowed in the response to a scscp2.get_signature request on this symbol. However, at this time we provide no automated or machine-readable mechanism for handling these lifetimes.
scscp2/ store_session	This indicates the request to store an object on the server side (possibly after computing or simplifying it), returning only a cookie (actually, OM reference) pointing to an object that is usable (using an OMR) in the remainder of the current SCSCP session to get access to the actual object.
relation0/ strict_order	Proposition; the type of strict order relations, namely relations that are irreflexive, antisymmetric and transitive.
omtypes/ string	The type of character strings
monoid3/ strings	This symbol represents a unary function. The argument is a list or a set. When evaluated on such an argument, the function represents the set of all strings whose characters are entries of the list or set.
sts/ structure	The structure element is used to represent a structure of a particular (algebraic) type.
mathmlattr/ style	A symbol to be used within an OpenMath attribute to specify the style attribute of the object. The annotation should be an OpenMath string representing the value of the style attribute.
field1/ subfield	This symbol is a constructor symbol with one or two arguments. The first argument is a list or set, D, of field elements. The optional second argument is the field G containing D. It denotes the subfield of G generated by D.
group1/ subgroup	This symbol is a constructor symbol with one or two arguments. The first argument is a list or set, D, of group elements. The optional second argument is the group G containing D. It denotes the subgroup of G generated by D.
magma1/ submagma	This symbol is a constructor symbol with two arguments. The first argument is a magma M, the second a list or set, D, of elements of M. When applied to M and D, it denotes the submagma of M generated by D.
monoid1/ submonoid	This symbol is a constructor symbol with two arguments. The first argument is a monoid M, the second a list or set, D, of elements of M. When applied to M and D, it denotes the submonoid of M generated by D.
ring1/ subring	This symbol is a constructor symbol with one or two arguments. The first argument is a list or set, D, of ring elements. The optional second argument is the ring G containing D. It denotes the subring of G generated by D.
semigroup1/ subsemigroup	This symbol is a constructor symbol with two arguments. The first argument is a semigroup S, the second a list or set, D, of elements of S. When applied to S and D, it denotes the subsemigroup of S generated by D.
multiset1/ subset	This symbol has two (multiset) arguments. It is used to denote that the first set is a subset of the second, i.e. every element of the first occurs with multiplicity at least as much in the second.
set1/ subset	This symbol has two (set) arguments. It is used to denote that the first set is a subset of the second.
linalgpoly1/ substitute	This symbol represents a binary function. This first argument should be a polynomial f in a single variable X, the second should be a square matrix A defined over a field F. When applied to f and A, it represents the matrix obtained by replacing X by A and the constant term by the corresponding scalar matrix.
field1/ subtraction	This symbols represents a unary function, whose argument should be a field. It returns the binary operation of subtraction on the field.
ring1/ subtraction	This symbols represents a unary function, whose argument should be a ring. It returns the binary operation of subtraction on the ring.
indnat/ succ	Successor function on the natural number. Constructor for the inductively defined natural numbers. Takes argument a a natural number and returns a natural number.
list1/ suchthat	This symbol represents the suchthat function which may be used to construct lists, it takes two arguments. The first argument should be the set which contains the elements of the list, the second argument should be a predicate, that is a function from the set to the booleans which describes if an element is to be in the list returned.
list1/ suchthat	This symbol represents the suchthat function which may be used to construct lists; it takes two arguments. The first argument should be a set X which contains the elements of the list, the second argument should be a predicate, that is a function from the set X to the booleans which describes if an element is to be in the list returned.
list1/ suchthat	This symbol represents the suchthat function which may be used to construct lists; it takes two arguments. The first argument should be a set X which contains the elements of the list, the second argument should be a predicate, that is a function from the set X to the booleans which describes if an element is to be in the list returned.
set1/ suchthat	This symbol represents the suchthat function which may be used to construct sets, it takes two arguments. The first argument should be the set which contains the elements of the set we wish to represent, the second argument should be a predicate, that is a function from the set to the booleans which describes if an element is to be in the set returned.
arith1/ sum	An operator taking two arguments, the first being the range of summation, e.g. an integral interval, the second being the function to be summed. Note that the sum may be over an infinite interval.
test-x/ sum	An operator taking two arguments, the first being the range of summation, e.g. an integral interval, the second being the function to be summed. Note that the sum may be over an infinite interval.
permgp1/ support	This represents a unary function whose argument should be a permutation group. When evaluated at a permutation group G, it is the set of points which are moved a member of G.
permutation1/ support	This symbol is a function with one argument which is a permutation. When applied to a permutation whose arguments are the cycles A1,...,An, it represents the set A which is the union of the entries of all Ai for i=1,...,n.
permutation1/ support	This symbol is a function with one argument which is a permutation. When applied to a permutation P whose arguments are the cycles A1,...,An, it represents the set A which is the union of the entries of all Ai for i=1,...,n.
gp1/ sylow_subgroup	The largest p-subgroup of the argument (up to conjugacy).
group3/ sylow_subgroup	This symbol represents a binary function with two arguments, the first is a group G and the second a prime number p. When applied to G and p, it represents a Sylow p-subgroup of G (which is unique up to conjugacy in G).
scscp2/ symbol_set	This symbol is used in the reply to a scscp2.get_allowed_heads call. It should be the head of an OM Application, the contents of the OMA being arbitrarily many OM Symbols (meaning that a particular symbol is supported), OMA's with head meta.CDName (meaning that all symbols of a particular CD are supported) or OMA's with head meta.CDGroupName (meaning that all symbols of all CDs of a particular CD group are supported). See the example at scscp2.get_allowed_heads.
scscp2/ symbol_set_all	This symbol is used in the reply to a scscp2.get_signature message. It means that this particular service takes any OpenMath object as argument.
linalg5/ symmetric	This symbol represents a symmetric matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix. For j>=i the ij'th element of the matrix is the (j-i+1)'th element of the i'th element of the argument. This determines the upper triangle of the matrix, the lower triangle is specified by the rule M = transpose M.
linalgsym1/ symmetric	This symbol represents a symmetric matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix. For j>=i the ij'th element of the matrix is the (j-i+1)'th element of the i'th element of the argument. This determines the upper triangle of the matrix, the lower triangle is specified by the rule M = transpose M.
relation0/ symmetric	Proposition; the type of symmetric binary relations.
relation3/ symmetric_closure	This symbol represents a binary function whose first argument is a set S, whose second argument is a relation R on S. When applied to S and R, it represents the smallest symmetric relation (with respect to inclusion) on S containing R.
group3/ symmetric_group	This symbol is a function with one argument, which should be a set X. When applied to a set X it represents the group of all permutations on X .
permgp2/ symmetric_group	This symbol represents a unary function. Its argument is either a positive integer or a set. When evaluated on a set, it represents the permutation group of all permutations of that set. When evaluated on a positive integer n, it represents the permutation group of all permutations of the set {1,..., n}.
group3/ symmetric_groupn	This symbol is a function with one argument, which should be a natural number n. When applied to n it represents the group of all permutations on the set {1,2,... ,n}.
omtypes/ symtype	The type of symbolic types introduced in other CDs
transc1/ tan	This symbol represents the tan function as described in Abramowitz and Stegun, section 4.3. It takes one argument.
plangeo3/ tangent	Given a line L and a circle C this boolean checks whether L is a tangent line to C.
transc1/ tanh	This symbol represents the tanh function as described in Abramowitz and Stegun, section 4.5. It takes one argument.
graph1/ target	Given an arrow, this symbol refers to the vertex the arrow points to. It takes one argument, the arrow.
units_binaryprefix1/ tebi	This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^40$. The full technical name is terabinary.
dimensions1/ temperature	This symbol represents the temperature physical dimension.
SI_BaseQuantities/ temperature	This symbol represents the SI base quantity of thermodynamic temperature. It has the short symbol form, "\Theta;".
tensor1/ tensor_selector	This symbol takes 3 arguments: a tensor, a basis, and a tuple of contravariant and/or covariant indexes. It returns the indexed tensor component in the given basis.
units_siprefix1/ tera	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^12$
polyd/ term	The constructor of terms. Valid applications are of the form Term(coeff, exp1, exp2, ... expn) which represents the term coeff * var1^exp1*...varn^expn where n is the number of variables, expi are non-negative integers. coeff should be non-zero.
polyd1/ term	The constructor of monomials. Valid applications are of the form Term(coeff, exp1, exp2, ... expn) which represents the monomial coeff * var1^exp1*...varn^expn where n is the number of variables, expi are non-negative integers.
polyr/ term	A constructor for monomials, that is products of powers and elements of the base ring. First argument is from N (the exponent of the variable implied by an outer poly_r_rep) second argument is a coefficient (from the ground field, or a polynomial in lesser variables).
polyu/ term	A constructor for monomials, that is products of powers and elements of the base ring. First argument is from N (the exponent of the variable implied by an outer poly_u_rep) second argument is a coefficient (from the ground field)
SI_NamedDerivedUnits1/ tesla	This symbol represents an SI unit of magnetic flux density. It has the short symbol form, "T".
asymp1/ theta	The theta symbol represents a unary function which constructs a set of certain functions of type reals to positive reals. The theta symbol represents a set of functions which all have the same 'rate of growth'. Formally we say that f(x) = theta(g(x)) if and only if there are constants c_1 not= 0 and c_2 not= 0 and x_0 such that for all x > x_0 it is true that c_1g(x) < f(x) < c_2g(x).
dimensions1/ time	This symbol represents the time physical dimension. Note that the main units for time are defined in the units_time1 CD.
SI_BaseQuantities/ time	This symbol represents the SI base quantity of time. It has the short symbol form, "T".
arith1/ times	The symbol representing an n-ary multiplication function.
arith2/ times	The symbol representing an n-ary multiplication function inheriting from the times in arith1, but with the extra property that here it must be commutative.
freealg1/ times	Multiplication in the free algebra.
indnat/ times	Multiplication of natural numbers defined recursively by using the successor and plus.
opnode/ times	A constant value, constructs the times for multiplication nodes.
polyd/ times	The product. The argument is a DMPL. The product lies within the same "PolyRingD" i.e. a program implementing this operation should return a DMP with the same "poly_ring_d" (or "poly_ring_d_named").
polyd1/ times	The product. The argument is a DMPL. The product lies within the same "poly_ring_d", i.e., a program implementing this operation should return a DMP with the same "poly_ring_d".
test-x/ times	The symbol representing an n-ary multiplication function.
weylalgebra1/ times	multiplication in D
SIUsed_OffSystemUnits1/ tonne	This symbol represents the mass measure of one tonne. It has the short symbol form, "t".
relation0/ transitive	Proposition; the type of transitive binary relations.
relation3/ transitive_closure	This symbol represents a binary function whose first argument is a set S, whose second argument is a relation R on S. When applied to S and R, it represents the smallest transitive relation (with respect to inclusion) on S containing R.
linalg1/ transpose	This symbol represents a unary function that denotes the transpose of the given matrix or vector
linalg5/ tridiagonal	This symbol represents a tridiagonal matrix, it takes one argument which should be a vector of vectors which should have three elements. These should be vectors representing the sub-diagonal, the diagonal and the super-diagonal in that order.
linalgspec1/ tridiagonal	This symbol represents a tridiagonal matrix, it takes one argument which should be a vector of vectors which should have three elements. These should be vectors representing the sub-diagonal, the diagonal and the super-diagonal in that order.
logic1/ true	This symbol represents the boolean value true.
rounding1/ trunc	The round to zero operation.
ecc/ Tuple	The n-ary tupling constructor when n>2. The arguments are the element of the tuple. Tuple objects can also be constructed by successive nesting of Pair.
tensor1/ tuple	This symbol is an n-ary symbol, returning an n-tuple of the arguments. The number of arguments, n, is a non-negative integer. The elements of the n-tuple are ordered as the arguments are ordered. Elements of a tuple may have the same type and value as each other, or not. An n-tuple, unlike a list, is generally not mutable.
tensor1/ tuple_selector	This symbol takes 2 arguments, a tuple and a natural number index, and returns the tuple component indicated by the index value.
cc/ type	Attribution tag to denote type-judgement
ecc/ type	Attribution tag to denote type-judgement
icc/ type	Attribution tag to denote type-judgement
lc/ type	Attribution tag to denote type-judgement
mathmltypes/ type	A symbol to be used within an OpenMath attribute to specify the type of the object.
meta_cats/ type	This symbol is unary and returns the type of its argument.
plangeo1/ type	The symbol represents the type of the basic geometric objects: points, lines, configuration.
sts/ type	A symbol to be used within an OpenMath attribute to specify the type of the object.
typesorts/ Type	The cumulative type of the type of sets in a hierarchy of types.
typesorts/ Type0	The type of sets in a hierarchy of types.
cc/ typecoerce	Attribution tag to denote type-judgement with coercion
ecc/ typecoerce	Attribution tag to denote type-judgement with coercion
icc/ typecoerce	Attribution tag to denote type-judgement with coercion
lc/ typecoerce	Attribution tag to denote type-judgement with coercion
arith1/ unary_minus	This symbol denotes unary minus, i.e. the additive inverse.
test-x/ unary_minus	This symbol denotes unary minus, i.e. the additive inverse.
scscp2/ unbind	This indicates the request to remove the object, referred by the cookie, from the server.
moreerrors/ unexpected	This symbol represents the error which is returned when an application reads an error caused by an unexpected problem. It will have at least one argument, which is a string describing the problem. It may have a second argument which is relevant to the error.
error/ unexpected_symbol	This symbol represents the error which is raised when an application reads a symbol which is not present in the mentioned content dictionary. When receiving such a symbol, the application should act as if it had received the OpenMath error object constructed from unexpected_symbol and the unexpected symbol as in the example below.
error/ unhandled_symbol	This symbol represents the error which is raised when an application reads a symbol which is present in the mentioned content dictionary, but which it has not implemented. When receiving such a symbol, the application should act as if it had received the OpenMath error object constructed from unhandled_symbol and the unhandled symbol as in the example below.
multiset1/ union	This symbol is used to denote the n-ary union of multisets. It takes multisets as arguments, and denotes the multiset that contains all the elements that occur in any of them, with multiplicity the sum of all the multiplicities in the multiset arguments.
set1/ union	This symbol is used to denote the n-ary union of sets. It takes sets as arguments, and denotes the set that contains all the elements that occur in any of them.
SI_functions1/ unit	The symbol to represent the function that returns the units of its argument in terms of a product of powers of SI base units.
tensor1/ unit_Cartesian	This symbol takes one argument, a natural number, and returns the Cartesian basis element, of a right handed Cartesian coordinate frame, corresponding to the value of the argument. The unit_Cartesian basis elements are each constant with respect to position in the space and define an orthonormal vector space basis.
units_sts/ unit_prefix	The type of all unit prefixes, such as "kilo".
error/ unsupported_CD	This symbol represents the error which is raised when an application reads a symbol where the mentioned content dictionary is not present. When receiving such a symbol, the application should act as if it had received the OpenMath error object constructed from unsupported_CD and the symbol from the unsupported Content Dictionary as in the example below.
transc2/ unwind	The unwinding number denotes the extent to which $z=\ln\exp z$ is not true. It was orignally defined in Corless,R.M. & Jeffrey,D.J., The Unwinding Number. SIGSAM Bulletin 30(1996) 2, pp. 28-35. However, we take the definition (which has a change of sign) from Corless,R.M., Davenport,J.H., Jeffrey,D.J. & Watt,S.M., According to Abramowitz and Stegun. SIGSAM Bulletin 34(2000) 2, pp. 58--65. Note that the symbol is normally denoted by ${\cal K}$.
linalg5/ upper-Hessenberg	This symbol represents an upper-Hessenberg matrix, it takes one argument, the argument is a vector of vectors representing the non-zero elements. The first element of the argument specifies the value of the first subdiagonal, the subsequent elements specify the value of the diagonal and subsequent super-diagonals, all other elements are zero.
linalg5/ upper-triangular	This symbol represents an upper-triangular matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix.
matrix1/ upper_band	This symbol is a binary function whose first argument is a non-negative OpenMath integer which denotes the index of the upper band which is specified in the second argument. Hereby the first upper band is the one immediately above the main (generalised) diagonal, its starting coordinates relative to the top-left of the matrix thus are (1, 2).
linalgspec2/ upper_Hessenberg	This symbol represents an upper_Hessenberg matrix, it takes one argument, the argument is a vector of vectors representing the non-zero elements. The first element of the argument specifies the value of the first subdiagonal, the subsequent elements specify the value of the diagonal and subsequent super-diagonals, all other elements are zero.
linalgspec1/ upper_triangular	This symbol represents an upper-triangular matrix, it takes one argument. The argument should be a vector of vectors of elements of the matrix.
rdf/ value	This symbol represents a function for accessing the value of an RDF property. It takes two arguments, a string denoting the property and an object denoting the RDF resource whose property value should be retrieved.
rdf/ valueset	This symbol represents a function for accessing all values of multivalued RDF property. It takes two arguments, a string denoting the property and an object denoting the RDF resource whose property values should be retrieved.
calculus2/ variable_of_integration	This symbol represents the variable with respect to which an integral is calculated.
polyd1/ variables	This is a unary function, whose argument is a poly_ring_d_named. When applied to its argument, it represents the list of variables of the polynomial ring.
s_data1/ variance	This symbol represents a function requiring two or more arguments, denoting the variance of its arguments. That is, the square of the standard deviation.
s_dist1/ variance	This symbol represents a unary function denoting the variance of a distribution. The argument is a function to describe the distribution. That is if f is the function which describes the distribution. The variance of a distribution is the square of the standard deviation of the distribution.
linalg2/ vector	This symbol represents an n-ary function used to construct (or describe) vectors. Vectors in this CD are considered to be row vectors and must therefore be transposed to be considered as column vectors.
linalg2col/ vector	This symbol represents an n-ary function used to construct (or describe) vectors. Vectors in this CD are considered to be column vectors, and must therefore be transposed to be considered as row vectors.
linalg3/ vector	This symbol represents an n-ary function used to construct (or describe) vectors. Vectors in this CD are considered to be column vectors, and must therefore be transposed to be considered as row vectors.
sts2/ vector	A constructor for the type of a vector
sts2/ vector_n	A constructor for the type of a vector of size n
poly1p/ vector_of_indexed_variables	vector_of_indexed_variables(x,n) returns the vector of variables (x_1, ..., x_n). vector_of_indexed_variables(x,[m,n]) returns the vector of variables (x_{1,1}, ..., x_{m,n}). Any vector of numbers can be given as an argument.
linalg1/ vector_selector	This symbol represents the function which allows individual entries to be selected from a vector, or a matrixrow. It takes two arguments. The first argument is the position in the vector (or matrixrow) of the required entry, the second argument is the vector (or matrixrow) in question. The indexing is one based, i.e. the first element is indexed by one.
linalg6/ vector_tensor	This symbol denotes a n-nary function which is used to construct the tensor product vector of its arguments, which must be vectors.
linalg5/ vector_to_list	This symbol denotes a unary function. Its argument must be a vector v. When applied to v it represents the list whose entries are the coordinates of v (with the same indexing).
mathmltypes/ vector_type	A symbol to be used as the argument of the type symbol to convey the type of a (column) vector, an n-tuple of entries.
linalg1/ vectorproduct	This symbol represents the vector product function. It takes two three dimensional vector arguments and returns a three dimensional vector. It is defined as follows: if we write a as [a_1,a_2,a_3] and b as [b_1,b_2,b_3] then the vector product denoted a x b = [a_2b_3 - a_3b_2 , a_3b_1 - a_1b_3 , a_1b_2 - a_2b_1]. Note that the vector product is often referred to as the cross product.
dimensions1/ velocity	This symbol represents the velocity physical dimension. It is the derivative of distance with respect to time.
graph1/ vertexset	This symbol represents the vertex set of a (directed or undirected) graph. It takes one argument, the graph.
permgp2/ vierer_group	This symbol represents the Klein Vierer group of order 4, viewed as a permutation group of degree 4. It consists of the identity, (1,2)(3,4), (1,3)(2,4), and (1,4)(2,3).
SI_NamedDerivedUnits1/ volt	This symbol represents an SI unit of voltage or electric tension. It has the short symbol form, "V".
units_metric1/ volt	This symbol represents the measure of one volt. This is the standard SI measure for voltage.
dimensions1/ voltage	This symbol represents the voltage physical dimension.
SI_DerivedQuantities1/ voltage	This symbol represents the physical quantity of voltage or electric tension. A variable representing an arbitrary quantity of voltage is commonly represented with the italic, upper case letter, "V".
dimensions1/ volume	This symbol represents the volume physical dimension.
SI_DerivedQuantities1/ volume	This symbol represents the physical quantity of volume. It has the short symbol form, "V".
SI_NamedDerivedUnits1/ watt	This symbol represents an SI unit of power, a joule per second. It has the short symbol form, "W".
units_metric1/ Watt	This symbol represents the measure of one Watt. This is the standard SI measure for power.
SI_NamedDerivedUnits1/ weber	This symbol represents an SI unit of magnetic flux. It has the short symbol form, "Wb".
units_time1/ week	This symbol represents the measure of one week of time.
polyd/ weighted	The first argument is a list of integers to act as variable weights, and the second is an ordering. The result is an ordering.
polyd2/ weighted	The first argument is a list of integers to act as variable weights, and the second is an ordering. The result is an ordering.
polyd/ weighted_degree	The total degree of its argument, taking into account any weights declared. The value returned is an integer: non-negative if the weights are. We note that the degree of 0 is undefined.
polyd2/ weighted_degree	The total degree of its argument, taking into account any weights declared. The value returned is an integer: non-negative if the weights are. We note that the degree of 0 is undefined.
hypergeon0/ where	The word "where" is often used in mathematical expressions to set variables or to say side conditions. CDname logic1.implies can be used for these purposes, but "where" will be more intuitive and more friendly expression for authors.
logic1p/ where	The word "where" is often used in mathematical expressions to set variables or to say side conditions. CDname logic1.implies can be used for these purposes, but "where" will be more intuitive and more friendly expression for formula book writers.
prog1/ while	This symbol represents the while loop. The syntax is while(conditional_block, block1), where conditional_block is the block that determines when to stop the while loop and block1 is the body of the while loop.
logic1/ xnor	This symbol represents the logical xnor function which is an n-ary function taking boolean arguments and returning a boolean value. It is false if there are an odd number of true arguments or true otherwise.
logic1/ xor	This symbol represents the logical xor function which is an n-ary function taking boolean arguments and returning a boolean value. It is true if there are an odd number of true arguments or false otherwise.
units_imperial1/ yard	This symbol represents the measure of one yard. This is a standard imperial measure for distance, defined in terms of the foot.
units_us1/ yard_us_survey	This symbol represents the measure of one U.S. Survey yard.
units_siprefix1/ yocto	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-24$
units_siprefix1/ yotta	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^24$
ringname1/ Z	This symbol represents the ring of integers.
setname1/ Z	This symbol represents the set of integers, positive, negative and zero.
units_siprefix1/ zepto	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^-21$
alg1/ zero	This symbol represents the additive identity element.
alg1/ zero	This symbol represents the additive identity element.
field1/ zero	This symbols represents a unary function, whose argument should be a field. It returns the zero element of the field.
indnat/ zero	The natural number 0, also constant base function for the inductive definition of the type of natural numbers
linalg4mat/ zero	This symbol denotes a function with two arguments, m and n, which should be natural numbers. When applied to m and n, it represents the m x n zero matrix.
linalg4vec/ zero	This symbol represents a function with one argument, which should be a natural number n. When applied to n, it represents the zero vector of size n (in the terminology of linalg3; dimension n in some terminology).
linalg5/ zero	This symbol denotes a function with two integral arguments m,n which is used to construct an (mxn) zero matrix.
linalg7/ zero	The zero symbol represents the zero vector, it takes one parameter which should be the length (dimension in some terminology) of the vector.
ring1/ zero	This symbols represents a unary function, whose argument should be a ring. It returns the zero element of the ring.
physical_consts1/ zero_Celsius	This symbol represents the zero of the Celsius temperature scale.
physical_consts1/ zero_Fahrenheit	This symbol represents the zero of the Fahrenheit temperature scale.
units_siprefix1/ zetta	This symbol represents the fact that the subsequent unit has been effectively multiplied by $10^21$
ringname1/ Zm	This symbol represents the ring of integers modulo m, where m is not necessarily a prime. It takes one argument, the integer m.
setname2/ Zm	This symbol represents the set of integers modulo m, where m is not necessarily a prime. It takes one argument, the integer m.