Ticket #52 (new defect)

Opened 4 years ago

Last modified 2 years ago

Specification: declarative syntax for OMAs and OMBINDs

Reported by: frabe Owned by: vzholudev
Priority: major Milestone: zzz Future zzz
Component: Presentation Version:
Keywords: Cc:
Blocked By: Blocking:
Due to close: Include in GanttChart: no
Dependencies: Due to assign:

Description

We need abbreviations in the notation syntax so that I can specify, e.g., to write a symbol as left-associative infix with two implicit arguments.

Reference: old presentation paper OpenMath? workshop

Criterion: applications only emit one notation element; then presentation in any output format possible without changing the emitter; in particular: default values for components like separator, left bracket etc.

"I strongly support this wish! Maybe not for MathML, but for the integration into OMDoc." --Christoph

Change History

Changed 4 years ago by nmueller

  • due_assign YYYY/MM/DD deleted
  • due_close YYYY/MM/DD deleted
  • milestone set to xxx Future xxx

Changed 2 years ago by nmueller

  • owner changed from nmueller to vzholudev
Note: See TracTickets for help on using tickets.