Name

delimPart

Synopsis

<xsl:variable name="delimPart"/>

Description

The structure is composed of parts tags that represent a horizontal or a vertical operator that have to be stretched. A part contains two to four part children that represent a glyph which composes the operator. The parts element can also have attributes. Here is a description of possible attributes for this tag:

vname

Indicates which operator is stretched vertically using these glyphes to compose it.

hname

Indicates which operator is stretched horizontally using these glyphes to compose it.

hrotate

Indicates that the glyphes have to be rotated to compose the horizontal operator. For example, the over or under bracket is stretched using the same vertical glyphes than a normal vertical bracket. Therefore, the glyphes have to be rotated to become horizontal. This way of composing an operator is due to the unicode encoding that does not contain the horizontal glyphes to compose an over or under bracket.

extenser

Determines towards which side the extenser has to be added. This attribute is used when the symbol is composed by only two glyphes. For example, the right floor operator is composed by a bottom part and an extenser, a right simple arrow is composed by a right arrow header and an extenser. In the case of the floor operator, the extenser must be added at the top of the other part, and for the arrow, the extenser is added on the left of the arrow head. This attribute can take four values:

top

The extenser will be added at the top of the other part.

bottom

The extenser will be added at the bottom of the other part.

left

The extenser will be added on the left of the other part.

right

The extenser will be added on the right of the other part.

The last part element is always the extenser, the other parts depend on the number of part element. When there are four part elements, the first element is the top or the left part, the second is the bottom or the right and the third is the middle. When there are three part elements, the first element is the top or the left part, and the second is the bottom or the right. When there are two part elements, the first part depends on the extenser attribute. If extenser is top, the first element is the bottom, if extenser is bottom, the first part is the top. If extenser is left, the first element is the right part and for right it is the left part.

Here are some examples of operators that have to be composed and the corresponding parts elements in the structure: