# File nqxml/tokenizer.rb, line 678
 def nextNotation
	    while @currInput.pos >= @currInput.length
		@inputStack.pop()
		@currInput = @inputStack.last
	    end

	    sourceStartPos = @currInput.pos
	    skipChars(10)	# eat '<!NOTATION'

	    skipSpaces()
	    name = nextName()
	    skipSpaces()

# FIX THIS; we are treating args as a blob of text.
	    args = textUpTo('>', false, true)
	    skipChar()		# eat '>'

	    return Notation.new(name, args,
				@currInput.string[sourceStartPos ... @currInput.pos])
	end