[FIRST] [PREV] [NEXT] [LAST]

Example

We display an example of markup for the mapping between the presentation shown in slide 13 and the corresponding semantic markup.
We note that the template functions are shown in mathematical markup. in reality, these would be OpenMath markup for the lambda bindings in OMBIND elements.

notation example