1. Syntax
  2. Examples
  3. Some links

tickets about this sub-project (chart)

Syntax

Symbol a?b?c
Application (function arg1 arg2 ... )
Binders (binder [var1, var2, ...] scope)
......

Examples

  • Symbols: cdbase?cd?name
  • Application: (??interval-oo $a $b)
  • Binders: (?quant1?forall [$vars<$x>] $f)

Input:

(?basic_c_el?interval-oo $a $b) |- <mrow><mo>(</>$a<mo>,</>$b<mo>)</></>

Output: 

  <notation>
     <prototype>
        <OMA xmlns="http://www.openmath.org/OpenMath">
           <OMS cd="basic_c_el" name="interval-oo"/>
           <expr name="a"/>
           <expr name="b"/>
        </OMA>
     </prototype>
     <rendering>
        <mrow xmlns="http://www.w3.org/1998/Math/MathML">
           <mo>(</mo>
           <render name="a"/>
           <mo>,</mo>
           <render name="b"/>
           <mo>)</mo>
        </mrow>
     </rendering>
  </notation>

Some links