]> Gemse 1 Documentation: Views

Views

This is an incomplete overview of the available views and viewsets. If you know XUL, you can edit the viewsets defined in editor.xul.

NTNView

If you work with Content MathML, this view renders your formula as Presentation MathML in real time. It is part of viewset 5. It uses JOMDoc, which is written in Java. Because of this, you have to make some preparations. When you are ready, you can start Gemse and switch to viewset 5 by entering :viewset 5&enter;.

By default, only the notation definitions bundled with JOMDoc are used. However, notation sources can be configured manually. If the formula originates from an OMDoc document, notations can be collected from there as well as from its imports. The following options can be set to customize the behaviour:

NTNView.notations
A space-serparated list of notation sources. Each source consists of a type (one or more uppercase letters) from the list below and an optional argument which is usually an URI. The default value for this option is B.
NTNView.documentURI
The document the formula should be considered part of when choosing the notations used for rendering.
NTNView.theoryName
The name of the theory the formula should be considered to be located in when choosing the notations used for rendering.

Only file and http URLs are supported for notation sources. Contexts and tags are not yet supported.