public String toString() {
		StringBuffer buffer = new StringBuffer();
		buffer.append(getLHS());
		// buffer.append("->");
		buffer.append('\u2192');
		String rhs = getRHS();
		buffer.append(rhs.length() == 0 ? Universe.curProfile.getEmptyString() : rhs);
		// buffer.append('\n');
		return buffer.toString();
	}