public Character fetchAbbr() {
		if(!hasAbbArg()) {
			throw new InputMismatchException("There is no abbreviation at the head of ArgSet.");
		} else {
			String s = pop();
			return s.charAt(1);
		}
	}