To begin viewing slides, click here.

Header Overview The Problem Addressed Examples Proposed Solution encoding Examples Method Notational Choice/defaults Different formats Examples Template functions Template function specification Example Example Multiple templates TeX mappings Notation selection tool Input file element correspondences conclusions

Click here to access the paper.

Back