dot-highlight-dot-off:term.1 — ordinary primitive
EXTENSIONS
.HIGHLIGHT.OFF ( .. )(
)
ordinary primitive .HIGHLIGHT.OFF
an executable word (no special usage info)
or wrapper call around p4_dot_highlight_off