public void dumpExpression(TabbedPrintWriter writer)
			throws java.io.IOException {
		writer.print(getOperatorString());
		if ((Options.outputStyle & Options.GNU_SPACING) != 0)
			writer.print(" ");
		subExpressions[0].dumpExpression(writer, 700);
	}