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

Introduction to the template function idea

We introduce the idea of template functions. These are functions which are a part of the semantic template and form anchors for parts of a notation which are redundant in that they may be derived from other parts of the object, for example the superscript in the partial differential notation given here. They shall also be utilised in our scheme for marking up notations for variable sized objects since they may be used as accessor functions, to access elements of a vector for example.
A template function