package org.jalgo.module.hoare.view.formula;

/**
 * Symbols for displaying formulas.
 * @author antje
 *
 */

public class Symbols {
	
	/**
	 * Symbol for "and".
	 */
	public static final String SYMBOL_AND = "\u2227";
	/**
	 * Symbol for "or".
	 */
	public static final String SYMBOL_OR = "\u2228";
	/**
	 * Symbol for "not".
	 */
	public static final String SYMBOL_NOT = "\u00AC";
	/**
	 * Symbol for "sum".
	 */
	public static final String SYMBOL_SUM = "\u2211";
	/**
	 * Symbol for "product".
	 */
	public static final String SYMBOL_PROD = "\u220F";
	/**
	 * Symbol for "abs".
	 */
	public static final String SYMBOL_ABS = "|";
	/**
	 * Symbol for "ln".
	 */
	public static final String SYMBOL_LN = "ln";
	/**
	 * Symbol for "exp".
	 */
	public static final String SYMBOL_EXP = "exp";
	//public static final String SYMBOL_SQUARE = "\u00B2";
	/**
	 * Symbol for "square root".
	 */
	public static final String SYMBOL_SQRT = "\u221A";
	/**
	 * Symbol for "less or equal".
	 */
	public static final String SYMBOL_LE = "\u2264";
	/**
	 * Symbol for "greater or equal".
	 */
	public static final String SYMBOL_GE = "\u2265";
	/**
	 * Symbol for "not equal".
	 */
	public static final String SYMBOL_NE = "\u2260";
	
	/**
	 * No instanciation allowed.
	 *
	 */
	private Symbols() {
	}
	
}
