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.

• Type B without any arguments denotes the notations bundled with JOMDoc.
• Type C without any arguments causes content dictionaries to be searched for notations. That is, if a symbol with cdbase http://example.com/somedir, cd foo and name bar, the document http://example.com/somedir/foo is fetched and searched for notation definitions for foo and for references to such notation definitions. (This might not yet work as you expect it. There is a problem with the default cdbase.)
• Type F loads from the URL given as argument.
• Type D looks in the document at the given URL for notation definition and also searches all its imports. If the URL is omitted, the value of the option NTNView.theoryName is used.
• Type I is useful when you load the equation from an OMDoc document. In this case, the options NTNView.documentURI and NTNView.theoryName are set automatically to the right value should they not already have been set. (Note that this is at the moment the same as D with NTNView.documentURI set to the URL for the document the formula is part of and NTNView.theoryName set to the name of the innermost theory the formula is located in.

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.