conexp.fx.core.util

Class UnicodeSymbols

java.lang.Object

conexp.fx.core.util.UnicodeSymbols

public class UnicodeSymbols
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	ALWAYS
static String	BOT
static String	CIRC
static String	EQUIV
static String	EXISTS
static String	FORALL
static String	FROM
static String	FROMTO
static String	GEQ
static String	LEQ
static String	MODELS
static String	NEG
static String	NEXT
static String	SOMETIMES
static String	SQCAP
static String	SQCUP
static String	SQIN
static String	SQSUBSET
static String	SQSUBSETEQ
static String	SQSUPSET
static String	SQSUPSETEQ
static String	SUBSCRIPT_N
static String	SUBSCRIPT_ONE
static String	TO
static String	TOP
static String	UNTIL
static String	VEE
static String	WEDGE

Constructor Summary

Constructors

Constructor and Description
UnicodeSymbols()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BOT

public static final String BOT

See Also:

Constant Field Values

TOP

public static final String TOP

See Also:

Constant Field Values

NEG

public static final String NEG

See Also:

Constant Field Values

EXISTS

public static final String EXISTS

See Also:

Constant Field Values

FORALL

public static final String FORALL

See Also:

Constant Field Values

SQCAP

public static final String SQCAP

See Also:

Constant Field Values

SQCUP

public static final String SQCUP

See Also:

Constant Field Values

SQSUBSET

public static final String SQSUBSET

See Also:

Constant Field Values

SQSUPSET

public static final String SQSUPSET

See Also:

Constant Field Values

SQSUBSETEQ

public static final String SQSUBSETEQ

See Also:

Constant Field Values

SQSUPSETEQ

public static final String SQSUPSETEQ

See Also:

Constant Field Values

SQIN

public static final String SQIN

See Also:

Constant Field Values

EQUIV

public static final String EQUIV

See Also:

Constant Field Values

LEQ

public static final String LEQ

See Also:

Constant Field Values

GEQ

public static final String GEQ

See Also:

Constant Field Values

MODELS

public static final String MODELS

See Also:

Constant Field Values

CIRC

public static final String CIRC

See Also:

Constant Field Values

FROM

public static final String FROM

See Also:

Constant Field Values

TO

public static final String TO

See Also:

Constant Field Values

FROMTO

public static final String FROMTO

See Also:

Constant Field Values

WEDGE

public static final String WEDGE

See Also:

Constant Field Values

VEE

public static final String VEE

See Also:

Constant Field Values

UNTIL

public static final String UNTIL

NEXT

public static final String NEXT

See Also:

Constant Field Values

SOMETIMES

public static final String SOMETIMES

See Also:

Constant Field Values

ALWAYS

public static final String ALWAYS

See Also:

Constant Field Values

SUBSCRIPT_ONE

public static final String SUBSCRIPT_ONE

See Also:

Constant Field Values

SUBSCRIPT_N

public static final String SUBSCRIPT_N

See Also:

Constant Field Values

Constructor Detail

UnicodeSymbols

public UnicodeSymbols()