for changing the indicating commands formatting there is @definfoenclose 

@definfoenclose is about defining new commands, not changing existing
ones.  Right?  Robert wants to change the output for @var, but is still
meaning "metasyntactic variable", so using a different @command isn't
really desirable.

k

Reply via email to