Hi Folks,

Sorry, I wasn’t very clear in my last message. I am seeking a short name for this:

              />

For fun, I am creating a lexer for XML and I would like to have a short name for the "/>" token.

I could name it END_OF_EMPTY_ELEMENT but I’d like something more succinct. If there is a short, standard name for "/>" I would certainly use it.

/Roger