public final class UnicodeHelper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static char |
ALPHA |
static char |
AND |
static char |
BETA |
static char |
BOT |
static char |
BOX |
static char |
BULLET |
static char |
CHI |
static char |
CIRC |
static char |
COPYRIGHT |
static char |
DELTA |
static char |
DIAMOND |
static char |
EMPTY |
static char |
EMSPACE |
static char |
ENDASH |
static char |
ENSPACE |
static char |
EPSILON |
static char |
EQV |
static char |
ETA |
static char |
EXISTS |
static char |
FLQQ |
static char |
FORALL |
static char |
FRQQ |
static char |
GAMMA |
static char |
GEQ |
static char |
IMP |
static char |
IN |
static char |
INTEGERS |
static char |
INTERSECT |
static char |
IOTA |
static char |
KAPPA |
static char |
LAMBDA |
static char |
LANGLE |
static char |
LEQ |
static char |
LLBRACKET |
static char |
MODELS |
static char |
MU |
static char |
NATURALS |
static char |
NEG |
static char |
NEQ |
static char |
NU |
static char |
OMEGA |
static char |
OMICRON |
static char |
OR |
static char |
PHI |
static char |
PI |
static char |
PRECEDES |
static char |
PROD |
static char |
PSI |
static char |
RANGLE |
static char |
RHO |
static char |
RRBRACKET |
static char |
SEQ_CONCAT |
static char |
SEQ_SINGLETON_L |
static char |
SEQ_SINGLETON_R |
static char |
SETMINUS |
static char |
SIGMA |
static char |
SUBSET |
static char |
SUM |
static char |
TAU |
static char |
THETA |
static char |
TOP |
static char |
TURNSTILE |
static char |
UNION |
static char |
UPSILON |
static char |
XI |
static char |
ZETA |
Constructor and Description |
---|
UnicodeHelper() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
emSpaces(int em)
Return a String containing em-spaces.
|
public static final char NEG
public static final char IMP
public static final char EQV
public static final char FORALL
public static final char EXISTS
public static final char AND
public static final char OR
public static final char NEQ
public static final char BOX
public static final char DIAMOND
public static final char CIRC
public static final char BULLET
public static final char LEQ
public static final char GEQ
public static final char SUM
public static final char PROD
public static final char IN
public static final char EMPTY
public static final char UNION
public static final char INTERSECT
public static final char SUBSET
public static final char SETMINUS
public static final char NATURALS
public static final char INTEGERS
public static final char LANGLE
public static final char RANGLE
public static final char LLBRACKET
public static final char RRBRACKET
public static final char SEQ_SINGLETON_L
public static final char SEQ_SINGLETON_R
public static final char SEQ_CONCAT
public static final char ALPHA
public static final char BETA
public static final char GAMMA
public static final char DELTA
public static final char EPSILON
public static final char ZETA
public static final char ETA
public static final char THETA
public static final char IOTA
public static final char KAPPA
public static final char LAMBDA
public static final char MU
public static final char NU
public static final char XI
public static final char OMICRON
public static final char PI
public static final char RHO
public static final char SIGMA
public static final char TAU
public static final char UPSILON
public static final char PHI
public static final char CHI
public static final char PSI
public static final char OMEGA
public static final char TOP
public static final char BOT
public static final char TURNSTILE
public static final char MODELS
public static final char PRECEDES
public static final char COPYRIGHT
public static final char ENSPACE
public static final char EMSPACE
public static final char ENDASH
public static final char FLQQ
public static final char FRQQ