altenc
http://www.openmath.org/cd/altenc.ocd
2003-04-01
official
2001-03-12
2
0
transc1
A CD of alternative encoding symbols
This CD is motivated in part by a desire to maintain compatibility
with the MathML semantics element,
In order for it to be possible for OpenMath to express symbols in an
alternative encoding (this facilitates the exact translation and
representation of objects) we use the OpenMath attribution nodes
(which performs a similar role to the MathML semantics nodes). The
formats and descriptions of common syntaxes are held in this CD; at
present this only includes LaTeX and MathML.
Alternative encodings in OpenMath are dealt with by using OMATTR
symbols together with the alternative encoding placed in a string.
The string encoding must be valid XML, and so non-XML valid characters
must themselves be encoded as suggested in "Draft of the OpenMath
Standard".
For alternative encodings to be represented in OpenMath, one must
define a symbol to describe the encoding.
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
LaTeX_encoding
A symbol which heads a piece of LaTeX encoding in an attribution.
<sin> 1.5 </sin>
\sin(1.5)