How to use high and low naming with negation on Eagle
Just like the Eagle documentation says, a second "!" in a name ends the inversion bar above the text.  For example, if you want "not A, B", the name for that net in Eagle would be "!A!/B".  The first "!" starts the inversion bar and the second ends it.

For example, here is the result of "!RESET!/RUN":