public String getScreenName() {

		String screenName = "";
		switch (values()[ordinal()]) {
		case AND:
			screenName = "&";
			break;
		case NAND:
			screenName = "&";
			break;
		case NOR:
			screenName = "≥1";
			break;
		case NOT:
			screenName = "1";
			break;
		case OR:
			screenName = "≥1";
			break;
		case RS_FLIPFLOP:
			screenName = "RS";
			break;
		default:
			break;
		}
		return screenName;
	}