circusRefine.UtilZString
Interface ZString

public interface ZString

An interface for commonly used Z characters.

Author:

generated by XSL script zchar2stringclass.xsl

Field Summary

static java.lang.String	ALL for all.
static java.lang.String	ALPHA
static java.lang.String	AMP ampersand.
static java.lang.String	AND logical and.
static java.lang.String	ANDALSO
static java.lang.String	ARG
static java.lang.String	ARG_TOK When a list of operator tokens is represented as a string, ARG_TOK stands for an EXPRESSION argument.
static java.lang.String	ARITHMOS double-struck capital A (currently just a strange A).
static java.lang.String	AX
static java.lang.String	AXCHAR box drawings light down.
static java.lang.String	BAR
static java.lang.String	BIGCAP n-ary intersection.
static java.lang.String	BIGCUP n-ary union.
static java.lang.String	BIJ rightwards two-headed arrow with tail.
static java.lang.String	CAP intersection.
static java.lang.String	CAT character tie.
static java.lang.String	CIRC ring operator.
static java.lang.String	COLON colon.
static java.lang.String	COLONEQUALS
static java.lang.String	COMMA comma.
static java.lang.String	COMP relational composition.
static java.lang.String	CONJECTURE
static java.lang.String	CROSS cartesian product.
static java.lang.String	CUP union.
static java.lang.String	DEFEQUAL
static java.lang.String	DEFFREE
static java.lang.String	DELTA Greek capital letter delta.
static java.lang.String	DIV
static java.lang.String	DOM
static java.lang.String	DOT full stop.
static java.lang.String	DRES white left-pointing triangle.
static java.lang.String	ELSE
static java.lang.String	EMPTYSET empty set.
static java.lang.String	END
static java.lang.String	ENDCHAR paragraph separator.
static java.lang.String	EQUALS equals sign.
static java.lang.String	EXI there exists.
static java.lang.String	EXIONE
static java.lang.String	EXTRACT upwards harpoon with barb leftwards.
static java.lang.String	FALSE
static java.lang.String	FFUN rightwards arrow with double vertical stroke.
static java.lang.String	FILTER upwards harpoon with barb rightwards.
static java.lang.String	FINJ rightwards arrow with tail with double vertical stroke.
static java.lang.String	FINSET mathmematical double-struck capital F (currently just a strange F).
static java.lang.String	FUN rightwards arrow.
static java.lang.String	FUNCTION
static java.lang.String	GENAX
static java.lang.String	GENCHAR box drawings double horizontal.
static java.lang.String	GENERIC
static java.lang.String	GENSCH
static java.lang.String	GEQ greater-than or equal to.
static java.lang.String	GREATER greater-than sign.
static java.lang.String	ID
static java.lang.String	IF
static java.lang.String	IFF left right double arrow.
static java.lang.String	IMP rightwards double arrow.
static java.lang.String	INJ rightwards arrow with tail.
static java.lang.String	INSTROKE question mark.
static java.lang.String	INV
static java.lang.String	ISEQ
static java.lang.String	LAMBDA Greek small letter lambda.
static java.lang.String	LANGLE mathmatical left angle bracket.
static java.lang.String	LBIND left binding bracket.
static java.lang.String	LBRACE left curly bracket.
static java.lang.String	LDATA mathmatical left double angle bracket.
static java.lang.String	LEFTASSOC
static java.lang.String	LEQ less-than or equal to.
static java.lang.String	LESS less-than sign.
static java.lang.String	LET
static java.lang.String	LIMG left image bracket.
static java.lang.String	LISTARG
static java.lang.String	LISTARG_TOK When a list of operator tokens is represented as a string, LISTARG_TOK stands for an EXPRESSION-LIST argument.
static java.lang.String	LL low line.
static java.lang.String	LPAREN left parenthesis.
static java.lang.String	LREFINEMENT
static java.lang.String	LSQUARE left square bracket.
static java.lang.String	MAPSTO rightwards arrow from bar.
static java.lang.String	MEM element of.
static java.lang.String	MINUS minus sign.
static java.lang.String	MOD
static java.lang.String	MU Greek small letter mu.
static java.lang.String	MULT asterisk (multiplication sign).
static java.lang.String	NAT double-struck capital N.
static java.lang.String	NDRES domain antirestriction.
static java.lang.String	NE north east arrow.
static java.lang.String	NEG hyphen-minus.
static java.lang.String	NEQ not equal to.
static java.lang.String	NL
static java.lang.String	NLCHAR line seperator.
static java.lang.String	NOT not sign.
static java.lang.String	NOTMEM not an element of.
static java.lang.String	NRRES range antirestriction.
static java.lang.String	NUM double-struck capital Z.
static java.lang.String	NUMBER number sign.
static java.lang.String	NW north west arrow.
static java.lang.String	OP_SEPARATOR The separator that is used when representing operators as strings to separate names and arguments.
static java.lang.String	OPLUS circled plus.
static java.lang.String	OR logical or.
static java.lang.String	OUTSTROKE exclamation mark.
static java.lang.String	PARENTS
static java.lang.String	PARTITION
static java.lang.String	PFUN rightwards arrow with vertical stroke.
static java.lang.String	PINJ rightwards arrow with tail with vertical stroke.
static java.lang.String	PLUS plus sign.
static java.lang.String	POWER double-struck capital P.
static java.lang.String	PRE
static java.lang.String	PRIME prime.
static java.lang.String	PSURJ rightwards two-headed arrow with vertical stroke.
static java.lang.String	RAN
static java.lang.String	RANGLE mathmatical right angle bracket.
static java.lang.String	RBIND right binding bracket.
static java.lang.String	RBRACE right curly bracket.
static java.lang.String	RDATA mathmatical right double angle bracket.
static java.lang.String	REL left right arrow.
static java.lang.String	RELATION
static java.lang.String	RIGHTASSOC
static java.lang.String	RIMG right image bracket.
static java.lang.String	RPAREN right parenthesis.
static java.lang.String	RREFINEMENT
static java.lang.String	RRES white right-pointing triangle.
static java.lang.String	RSQUARE right square bracket.
static java.lang.String	SCH
static java.lang.String	SCHCHAR box drawings light down and right.
static java.lang.String	SCHHIFEN
static java.lang.String	SE south east arrow.
static java.lang.String	SECTION
static java.lang.String	SEMI
static java.lang.String	SEMICOLON semicolon.
static java.lang.String	SEQ
static java.lang.String	SETMINUS reverse solidus.
static java.lang.String	SLASH
static java.lang.String	SOLIDUS solidus.
static java.lang.String	SPACE space.
static java.lang.String	SPOT Z notation spot.
static java.lang.String	SUB1
static java.lang.String	SUBSET subset of.
static java.lang.String	SUBSETEQ subset of or equal to.
static java.lang.String	SUCC
static java.lang.String	SUP1
static java.lang.String	SURJ rightwards two-headed arrow.
static java.lang.String	SW south west arrow.
static java.lang.String	SYMDIFF circled minus.
static java.lang.String	THEN
static java.lang.String	THETA Greek small letter theta.
static java.lang.String	TILDE tilde operator.
static java.lang.String	TRUE
static java.lang.String	TYPECOLON Z notation type colon.
static java.lang.String	UPTO
static java.lang.String	VDASH right tack.
static java.lang.String	VL vertical line.
static java.lang.String	XI Greek capital letter xi.
static java.lang.String	ZCOMP schema composition.
static java.lang.String	ZEDCHAR box drawings light horizontal.
static java.lang.String	ZEDLDOWN
static java.lang.String	ZEDLUP
static java.lang.String	ZEDRDOWN
static java.lang.String	ZEDRUP
static java.lang.String	ZHIDE big reverse solidus.
static java.lang.String	ZPIPE schema piping.
static java.lang.String	ZPROJ schema projection.

Field Detail

DELTA

static final java.lang.String DELTA

Greek capital letter delta.

XI

static final java.lang.String XI

Greek capital letter xi.

THETA

static final java.lang.String THETA

Greek small letter theta.

LAMBDA

static final java.lang.String LAMBDA

Greek small letter lambda.

MU

static final java.lang.String MU

Greek small letter mu.

ARITHMOS

static final java.lang.String ARITHMOS

double-struck capital A (currently just a strange A).

NAT

static final java.lang.String NAT

double-struck capital N.

POWER

static final java.lang.String POWER

double-struck capital P.

PRIME

static final java.lang.String PRIME

prime.

OUTSTROKE

static final java.lang.String OUTSTROKE

exclamation mark.

INSTROKE

static final java.lang.String INSTROKE

question mark.

NE

static final java.lang.String NE

north east arrow.

SW

static final java.lang.String SW

south west arrow.

SE

static final java.lang.String SE

south east arrow.

NW

static final java.lang.String NW

north west arrow.

LL

static final java.lang.String LL

low line.

LPAREN

static final java.lang.String LPAREN

left parenthesis.

RPAREN

static final java.lang.String RPAREN

right parenthesis.

LSQUARE

static final java.lang.String LSQUARE

left square bracket.

RSQUARE

static final java.lang.String RSQUARE

right square bracket.

LBRACE

static final java.lang.String LBRACE

left curly bracket.

RBRACE

static final java.lang.String RBRACE

right curly bracket.

LBIND

static final java.lang.String LBIND

left binding bracket.

RBIND

static final java.lang.String RBIND

right binding bracket.

LDATA

static final java.lang.String LDATA

mathmatical left double angle bracket.

RDATA

static final java.lang.String RDATA

mathmatical right double angle bracket.

ZEDCHAR

static final java.lang.String ZEDCHAR

box drawings light horizontal.

AXCHAR

static final java.lang.String AXCHAR

box drawings light down.

SCHCHAR

static final java.lang.String SCHCHAR

box drawings light down and right.

GENCHAR

static final java.lang.String GENCHAR

box drawings double horizontal.

ENDCHAR

static final java.lang.String ENDCHAR

paragraph separator.

NLCHAR

static final java.lang.String NLCHAR

line seperator.

SPACE

static final java.lang.String SPACE

space.

VL

static final java.lang.String VL

vertical line.

AMP

static final java.lang.String AMP

ampersand.

VDASH

static final java.lang.String VDASH

right tack.

AND

static final java.lang.String AND

logical and.

OR

static final java.lang.String OR

logical or.

IMP

static final java.lang.String IMP

rightwards double arrow.

IFF

static final java.lang.String IFF

left right double arrow.

NOT

static final java.lang.String NOT

not sign.

ALL

static final java.lang.String ALL

for all.

EXI

static final java.lang.String EXI

there exists.

CROSS

static final java.lang.String CROSS

cartesian product.

SOLIDUS

static final java.lang.String SOLIDUS

solidus.

EQUALS

static final java.lang.String EQUALS

equals sign.

MEM

static final java.lang.String MEM

element of.

COLON

static final java.lang.String COLON

colon.

SEMICOLON

static final java.lang.String SEMICOLON

semicolon.

COMMA

static final java.lang.String COMMA

comma.

DOT

static final java.lang.String DOT

full stop.

SPOT

static final java.lang.String SPOT

Z notation spot.

ZHIDE

static final java.lang.String ZHIDE

big reverse solidus.

ZPROJ

static final java.lang.String ZPROJ

schema projection.

ZCOMP

static final java.lang.String ZCOMP

schema composition.

ZPIPE

static final java.lang.String ZPIPE

schema piping.

PLUS

static final java.lang.String PLUS

plus sign.

TYPECOLON

static final java.lang.String TYPECOLON

Z notation type colon.

REL

static final java.lang.String REL

left right arrow.

FUN

static final java.lang.String FUN

rightwards arrow.

NEQ

static final java.lang.String NEQ

not equal to.

NOTMEM

static final java.lang.String NOTMEM

not an element of.

EMPTYSET

static final java.lang.String EMPTYSET

empty set.

SUBSETEQ

static final java.lang.String SUBSETEQ

subset of or equal to.

SUBSET

static final java.lang.String SUBSET

subset of.

CUP

static final java.lang.String CUP

union.

CAP

static final java.lang.String CAP

intersection.

SETMINUS

static final java.lang.String SETMINUS

reverse solidus.

SYMDIFF

static final java.lang.String SYMDIFF

circled minus.

BIGCUP

static final java.lang.String BIGCUP

n-ary union.

BIGCAP

static final java.lang.String BIGCAP

n-ary intersection.

FINSET

static final java.lang.String FINSET

mathmematical double-struck capital F (currently just a strange F).

MAPSTO

static final java.lang.String MAPSTO

rightwards arrow from bar.

COMP

static final java.lang.String COMP

relational composition.

CIRC

static final java.lang.String CIRC

ring operator.

DRES

static final java.lang.String DRES

white left-pointing triangle.

RRES

static final java.lang.String RRES

white right-pointing triangle.

NDRES

static final java.lang.String NDRES

domain antirestriction.

NRRES

static final java.lang.String NRRES

range antirestriction.

TILDE

static final java.lang.String TILDE

tilde operator.

LIMG

static final java.lang.String LIMG

left image bracket.

RIMG

static final java.lang.String RIMG

right image bracket.

OPLUS

static final java.lang.String OPLUS

circled plus.

PFUN

static final java.lang.String PFUN

rightwards arrow with vertical stroke.

PINJ

static final java.lang.String PINJ

rightwards arrow with tail with vertical stroke.

INJ

static final java.lang.String INJ

rightwards arrow with tail.

PSURJ

static final java.lang.String PSURJ

rightwards two-headed arrow with vertical stroke.

SURJ

static final java.lang.String SURJ

rightwards two-headed arrow.

BIJ

static final java.lang.String BIJ

rightwards two-headed arrow with tail.

FFUN

static final java.lang.String FFUN

rightwards arrow with double vertical stroke.

FINJ

static final java.lang.String FINJ

rightwards arrow with tail with double vertical stroke.

NUM

static final java.lang.String NUM

double-struck capital Z.

NEG

static final java.lang.String NEG

hyphen-minus.

MINUS

static final java.lang.String MINUS

minus sign.

LEQ

static final java.lang.String LEQ

less-than or equal to.

LESS

static final java.lang.String LESS

less-than sign.

GEQ

static final java.lang.String GEQ

greater-than or equal to.

GREATER

static final java.lang.String GREATER

greater-than sign.

MULT

static final java.lang.String MULT

asterisk (multiplication sign).

NUMBER

static final java.lang.String NUMBER

number sign.

LANGLE

static final java.lang.String LANGLE

mathmatical left angle bracket.

RANGLE

static final java.lang.String RANGLE

mathmatical right angle bracket.

CAT

static final java.lang.String CAT

character tie.

EXTRACT

static final java.lang.String EXTRACT

upwards harpoon with barb leftwards.

FILTER

static final java.lang.String FILTER

upwards harpoon with barb rightwards.

SUB1

static final java.lang.String SUB1

SUP1

static final java.lang.String SUP1

ZEDLUP

static final java.lang.String ZEDLUP

AX

static final java.lang.String AX

SCH

static final java.lang.String SCH

GENAX

static final java.lang.String GENAX

GENSCH

static final java.lang.String GENSCH

END

static final java.lang.String END

NL

static final java.lang.String NL

COLONEQUALS

static final java.lang.String COLONEQUALS

CONJECTURE

static final java.lang.String CONJECTURE

EXIONE

static final java.lang.String EXIONE

ELSE

static final java.lang.String ELSE

See Also:

Constant Field Values

FALSE

static final java.lang.String FALSE

See Also:

Constant Field Values

FUNCTION

static final java.lang.String FUNCTION

See Also:

Constant Field Values

GENERIC

static final java.lang.String GENERIC

See Also:

Constant Field Values

IF

static final java.lang.String IF

See Also:

Constant Field Values

LEFTASSOC

static final java.lang.String LEFTASSOC

See Also:

Constant Field Values

LET

static final java.lang.String LET

See Also:

Constant Field Values

PARENTS

static final java.lang.String PARENTS

See Also:

Constant Field Values

PRE

static final java.lang.String PRE

See Also:

Constant Field Values

RELATION

static final java.lang.String RELATION

See Also:

Constant Field Values

RIGHTASSOC

static final java.lang.String RIGHTASSOC

See Also:

Constant Field Values

SECTION

static final java.lang.String SECTION

See Also:

Constant Field Values

THEN

static final java.lang.String THEN

See Also:

Constant Field Values

TRUE

static final java.lang.String TRUE

See Also:

Constant Field Values

DEFEQUAL

static final java.lang.String DEFEQUAL

See Also:

Constant Field Values

DEFFREE

static final java.lang.String DEFFREE

See Also:

Constant Field Values

UPTO

static final java.lang.String UPTO

See Also:

Constant Field Values

BAR

static final java.lang.String BAR

See Also:

Constant Field Values

ANDALSO

static final java.lang.String ANDALSO

SLASH

static final java.lang.String SLASH

See Also:

Constant Field Values

SEMI

static final java.lang.String SEMI

ARG

static final java.lang.String ARG

LISTARG

static final java.lang.String LISTARG

See Also:

Constant Field Values

MOD

static final java.lang.String MOD

See Also:

Constant Field Values

DIV

static final java.lang.String DIV

See Also:

Constant Field Values

PARTITION

static final java.lang.String PARTITION

See Also:

Constant Field Values

RAN

static final java.lang.String RAN

See Also:

Constant Field Values

ID

static final java.lang.String ID

See Also:

Constant Field Values

INV

static final java.lang.String INV

See Also:

Constant Field Values

SEQ

static final java.lang.String SEQ

See Also:

Constant Field Values

ISEQ

static final java.lang.String ISEQ

See Also:

Constant Field Values

DOM

static final java.lang.String DOM

See Also:

Constant Field Values

OP_SEPARATOR

static final java.lang.String OP_SEPARATOR

The separator that is used when representing operators as strings to separate names and arguments.

ARG_TOK

static final java.lang.String ARG_TOK

When a list of operator tokens is represented as a string, ARG_TOK stands for an EXPRESSION argument. For example, the Latex input A+B is represented by the operator name " _ + _ " applied to the tuple (A,B).

LISTARG_TOK

static final java.lang.String LISTARG_TOK

When a list of operator tokens is represented as a string, LISTARG_TOK stands for an EXPRESSION-LIST argument. For example, the Latex input \langle A,B,C \rangle is represented by the operator name "< ,, >" (where < is actually the unicode char u3008, and > is the unicode char u3009), applied to the A,B,C list (which is actually represented as the set {(1,A),(2,B),(3,C)}).

LREFINEMENT

static final java.lang.String LREFINEMENT

RREFINEMENT

static final java.lang.String RREFINEMENT

SCHHIFEN

static final java.lang.String SCHHIFEN

ZEDLDOWN

static final java.lang.String ZEDLDOWN

ZEDRDOWN

static final java.lang.String ZEDRDOWN

ZEDRUP

static final java.lang.String ZEDRUP

SUCC

static final java.lang.String SUCC

ALPHA

static final java.lang.String ALPHA