Edit Menu Actions

Go To Declaration

Ctrl+Shift+G

Navigate to the declaration of a Z name

Highlight

Ctrl+Shift+Arrow Keys

• Enclosing Term - Highlight the term containing the current cursor position. If a term is already highlighted, it highlights the enclosing term of the highlighted term. (Arrow Up)

• Restore Last Highlight - Highlight the term that is previously highlighted. If no term is highlighted or the highlighted term is the smallest term being highlighted, it does nothing. (Arrow Down)

Convert To

Ctrl+Shift+(L, O, U or X)

• LaTeX - Convert current Unicode specification to a LaTeX specification. (L)

• Old LaTeX - Convert current Unicode specification to a Old LaTeX specification. (Spivey Z, which preceded the ISO Z Standard). (O)
• Unicode - Convert current LaTeX specification to a Unicode specification. (U)
• XML - Convert current specification to an XML specification. (X)