You are about to access our book library "OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] full version" .