ZString (CZT Corejava Z 1.6-SNAPSHOT API)

```
public interface ZString
```
An interface for commonly used Z characters.

Author:

generated by XSL script zchar2stringclass.xsl

Field Summary

Fields
Modifier and Type	Field and Description
`static String`	`ALL` for all.
`static String`	`AMP` ampersand.
`static String`	`AND` logical and.
`static String`	`ANDALSO`
`static String`	`ARG`
`static String`	`ARG_TOK` When a list of operator tokens is represented as a string, ARG_TOK stands for an EXPRESSION argument.
`static String`	`ARITHMOS` arithmos, the set of all number-like objects.
`static String`	`AX`
`static String`	`AXCHAR` start a Z axiomatic paragraph.
`static String`	`BAR`
`static String`	`BIGCAP` n-ary intersection.
`static String`	`BIGCUP` n-ary union.
`static String`	`BIJ` bijective (1-1 and onto) function.
`static String`	`CAP` intersection.
`static String`	`CAT` sequence concatenation.
`static String`	`CIRC` functional composition.
`static String`	`COLON` colon.
`static String`	`COMMA` comma.
`static String`	`COMP` relational composition.
`static String`	`CONJECTURE`
`static String`	`CROSS` cartesian product.
`static String`	`CUP` union.
`static String`	`DEFEQUAL`
`static String`	`DEFFREE`
`static String`	`DELTA` Greek capital letter delta.
`static String`	`DOT` full stop.
`static String`	`DRES` domain restriction.
`static String`	`ELSE`
`static String`	`EMPTYSET` empty set.
`static String`	`END`
`static String`	`ENDCHAR` end a Z paragraph.
`static String`	`EQUALS` equals sign.
`static String`	`EXI` there exists.
`static String`	`EXIONE`
`static String`	`EXTRACT` domain restriction for sequences.
`static String`	`FALSE`
`static String`	`FFUN` finite function.
`static String`	`FILTER` range restriction for sequences.
`static String`	`FINJ` finite injective function.
`static String`	`FINSET` finite set.
`static String`	`FUN` total function.
`static String`	`FUNCTION`
`static String`	`GENAX`
`static String`	`GENCHAR` start a generic Z axiomatic paragraph.
`static String`	`GENERIC`
`static String`	`GENSCH`
`static String`	`GEQ` greater-than or equal to.
`static String`	`GREATER` greater-than sign.
`static String`	`IF`
`static String`	`IFF` logical equivalence.
`static String`	`IMP` logical implication.
`static String`	`INJ` total injective (1-1) function.
`static String`	`INSTROKE` question mark.
`static String`	`LAMBDA` Greek small letter lambda.
`static String`	`LANGLE` left sequence bracket.
`static String`	`LBIND` left binding bracket.
`static String`	`LBRACE` left curly bracket.
`static String`	`LDATA` left angle bracket for use in free type definitions.
`static String`	`LEFTASSOC`
`static String`	`LEQ` less-than or equal to.
`static String`	`LESS` less-than sign.
`static String`	`LET`
`static String`	`LIMG` left relational image bracket.
`static String`	`LISTARG`
`static String`	`LISTARG_TOK` When a list of operator tokens is represented as a string, LISTARG_TOK stands for an EXPRESSION-LIST argument.
`static String`	`LL` low line.
`static String`	`LPAREN` left parenthesis.
`static String`	`LSQUARE` left square bracket.
`static String`	`MAPSTO` maplet, forms a pair.
`static String`	`MEM` element of.
`static String`	`MINUS` infix minus sign.
`static String`	`MU` Greek small letter mu.
`static String`	`MULT` asterisk (multiplication sign).
`static String`	`NAT` the set of natural numbers (0..).
`static String`	`NDRES` domain subtraction.
`static String`	`NE` north east arrow.
`static String`	`NEG` prefix numeric negation.
`static String`	`NEQ` not equal to.
`static String`	`NL`
`static String`	`NLCHAR` line separator.
`static String`	`NOT` logical negation.
`static String`	`NOTMEM` not an element of.
`static String`	`NRRES` range subtraction.
`static String`	`NUM` set of integers.
`static String`	`NUMBER` set cardinality.
`static String`	`NW` north west arrow.
`static String`	`OP_SEPARATOR` The separator that is used when representing operators as strings to separate names and arguments.
`static String`	`OPLUS` relational override.
`static String`	`OR` logical or.
`static String`	`OUTSTROKE` exclamation mark.
`static String`	`PARENTS`
`static String`	`PFUN` partial function.
`static String`	`PINJ` partial injective (1-1) function.
`static String`	`PLUS` plus sign.
`static String`	`POWER` power set.
`static String`	`PRE`
`static String`	`PRIME` prime.
`static String`	`PSURJ` partial surjective (onto) function.
`static String`	`RANGLE` right sequence bracket.
`static String`	`RBIND` right binding bracket.
`static String`	`RBRACE` right curly bracket.
`static String`	`RDATA` left angle bracket for use in free type definitions.
`static String`	`REL` relation.
`static String`	`RELATION`
`static String`	`RIGHTASSOC`
`static String`	`RIMG` right relational image bracket.
`static String`	`RPAREN` right parenthesis.
`static String`	`RRES` range restriction.
`static String`	`RSQUARE` right square bracket.
`static String`	`SCH`
`static String`	`SCHCHAR` start a Z schema definition.
`static String`	`SE` south east arrow.
`static String`	`SECTION`
`static String`	`SEMI`
`static String`	`SEMICOLON` semicolon.
`static String`	`SETMINUS` set minus.
`static String`	`SLASH`
`static String`	`SOLIDUS` solidus forward slash character.
`static String`	`SPACE` space.
`static String`	`SPOT` Z notation spot.
`static String`	`SUB1`
`static String`	`SUBSET` subset of.
`static String`	`SUBSETEQ` subset of or equal to.
`static String`	`SUP1`
`static String`	`SURJ` total surjective (onto) function.
`static String`	`SW` south west arrow.
`static String`	`SYMDIFF` set symmetric difference.
`static String`	`THEN`
`static String`	`THEOREM`
`static String`	`THETA` Greek small letter theta.
`static String`	`TILDE` relational inversion.
`static String`	`TRUE`
`static String`	`TYPECOLON` Z notation type colon.
`static String`	`VDASH` conjecture.
`static String`	`VL` vertical line.
`static String`	`XI` Greek capital letter xi.
`static String`	`ZCOMP` schema composition.
`static String`	`ZED`
`static String`	`ZEDCHAR` start a Z paragraph.
`static String`	`ZHIDE` schema hiding.
`static String`	`ZPIPE` schema piping.
`static String`	`ZPROJ` schema projection.

- Field Detail
  - DELTA
```
static final String DELTA
```
    Greek capital letter delta.
  - XI
```
static final String XI
```
    Greek capital letter xi.
  - THETA
```
static final String THETA
```
    Greek small letter theta.
  - LAMBDA
```
static final String LAMBDA
```
    Greek small letter lambda.
  - MU
```
static final String MU
```
    Greek small letter mu.
  - ARITHMOS
```
static final String ARITHMOS
```
    arithmos, the set of all number-like objects.
  - NAT
```
static final String NAT
```
    the set of natural numbers (0..).
  - POWER
```
static final String POWER
```
    power set.
  - PRIME
```
static final String PRIME
```
    prime.
  - OUTSTROKE
```
static final String OUTSTROKE
```
    exclamation mark.
  - INSTROKE
```
static final String INSTROKE
```
    question mark.
  - NE
```
static final String NE
```
    north east arrow.
  - SW
```
static final String SW
```
    south west arrow.
  - SE
```
static final String SE
```
    south east arrow.
  - NW
```
static final String NW
```
    north west arrow.
  - LL
```
static final String LL
```
    low line.
  - LPAREN
```
static final String LPAREN
```
    left parenthesis.
  - RPAREN
```
static final String RPAREN
```
    right parenthesis.
  - LSQUARE
```
static final String LSQUARE
```
    left square bracket.
  - RSQUARE
```
static final String RSQUARE
```
    right square bracket.
  - LBRACE
```
static final String LBRACE
```
    left curly bracket.
  - RBRACE
```
static final String RBRACE
```
    right curly bracket.
  - LBIND
```
static final String LBIND
```
    left binding bracket.
  - RBIND
```
static final String RBIND
```
    right binding bracket.
  - LDATA
```
static final String LDATA
```
    left angle bracket for use in free type definitions.
  - RDATA
```
static final String RDATA
```
    left angle bracket for use in free type definitions.
  - ZEDCHAR
```
static final String ZEDCHAR
```
    start a Z paragraph.
  - AXCHAR
```
static final String AXCHAR
```
    start a Z axiomatic paragraph.
  - SCHCHAR
```
static final String SCHCHAR
```
    start a Z schema definition.
  - GENCHAR
```
static final String GENCHAR
```
    start a generic Z axiomatic paragraph.
  - ENDCHAR
```
static final String ENDCHAR
```
    end a Z paragraph.
  - NLCHAR
```
static final String NLCHAR
```
    line separator.
  - SPACE
```
static final String SPACE
```
    space.
  - VL
```
static final String VL
```
    vertical line.
  - AMP
```
static final String AMP
```
    ampersand.
  - VDASH
```
static final String VDASH
```
    conjecture.
  - AND
```
static final String AND
```
    logical and.
  - OR
```
static final String OR
```
    logical or.
  - IMP
```
static final String IMP
```
    logical implication.
  - IFF
```
static final String IFF
```
    logical equivalence.
  - NOT
```
static final String NOT
```
    logical negation.
  - ALL
```
static final String ALL
```
    for all.
  - EXI
```
static final String EXI
```
    there exists.
  - CROSS
```
static final String CROSS
```
    cartesian product.
  - SOLIDUS
```
static final String SOLIDUS
```
    solidus forward slash character.
  - EQUALS
```
static final String EQUALS
```
    equals sign.
  - MEM
```
static final String MEM
```
    element of.
  - COLON
```
static final String COLON
```
    colon.
  - SEMICOLON
```
static final String SEMICOLON
```
    semicolon.
  - COMMA
```
static final String COMMA
```
    comma.
  - DOT
```
static final String DOT
```
    full stop.
  - SPOT
```
static final String SPOT
```
    Z notation spot.
  - ZHIDE
```
static final String ZHIDE
```
    schema hiding.
  - ZPROJ
```
static final String ZPROJ
```
    schema projection.
  - ZCOMP
```
static final String ZCOMP
```
    schema composition.
  - ZPIPE
```
static final String ZPIPE
```
    schema piping.
  - PLUS
```
static final String PLUS
```
    plus sign.
  - TYPECOLON
```
static final String TYPECOLON
```
    Z notation type colon.
  - REL
```
static final String REL
```
    relation.
  - FUN
```
static final String FUN
```
    total function.
  - NEQ
```
static final String NEQ
```
    not equal to.
  - NOTMEM
```
static final String NOTMEM
```
    not an element of.
  - EMPTYSET
```
static final String EMPTYSET
```
    empty set.
  - SUBSETEQ
```
static final String SUBSETEQ
```
    subset of or equal to.
  - SUBSET
```
static final String SUBSET
```
    subset of.
  - CUP
```
static final String CUP
```
    union.
  - CAP
```
static final String CAP
```
    intersection.
  - SETMINUS
```
static final String SETMINUS
```
    set minus.
  - SYMDIFF
```
static final String SYMDIFF
```
    set symmetric difference.
  - BIGCUP
```
static final String BIGCUP
```
    n-ary union.
  - BIGCAP
```
static final String BIGCAP
```
    n-ary intersection.
  - FINSET
```
static final String FINSET
```
    finite set.
  - MAPSTO
```
static final String MAPSTO
```
    maplet, forms a pair.
  - COMP
```
static final String COMP
```
    relational composition.
  - CIRC
```
static final String CIRC
```
    functional composition.
  - DRES
```
static final String DRES
```
    domain restriction.
  - RRES
```
static final String RRES
```
    range restriction.
  - NDRES
```
static final String NDRES
```
    domain subtraction.
  - NRRES
```
static final String NRRES
```
    range subtraction.
  - TILDE
```
static final String TILDE
```
    relational inversion.
  - LIMG
```
static final String LIMG
```
    left relational image bracket.
  - RIMG
```
static final String RIMG
```
    right relational image bracket.
  - OPLUS
```
static final String OPLUS
```
    relational override.
  - PFUN
```
static final String PFUN
```
    partial function.
  - PINJ
```
static final String PINJ
```
    partial injective (1-1) function.
  - INJ
```
static final String INJ
```
    total injective (1-1) function.
  - PSURJ
```
static final String PSURJ
```
    partial surjective (onto) function.
  - SURJ
```
static final String SURJ
```
    total surjective (onto) function.
  - BIJ
```
static final String BIJ
```
    bijective (1-1 and onto) function.
  - FFUN
```
static final String FFUN
```
    finite function.
  - FINJ
```
static final String FINJ
```
    finite injective function.
  - NUM
```
static final String NUM
```
    set of integers.
  - NEG
```
static final String NEG
```
    prefix numeric negation.
  - MINUS
```
static final String MINUS
```
    infix minus sign.
  - LEQ
```
static final String LEQ
```
    less-than or equal to.
  - LESS
```
static final String LESS
```
    less-than sign.
  - GEQ
```
static final String GEQ
```
    greater-than or equal to.
  - GREATER
```
static final String GREATER
```
    greater-than sign.
  - MULT
```
static final String MULT
```
    asterisk (multiplication sign).
  - NUMBER
```
static final String NUMBER
```
    set cardinality.
  - LANGLE
```
static final String LANGLE
```
    left sequence bracket.
  - RANGLE
```
static final String RANGLE
```
    right sequence bracket.
  - CAT
```
static final String CAT
```
    sequence concatenation.
  - EXTRACT
```
static final String EXTRACT
```
    domain restriction for sequences.
  - FILTER
```
static final String FILTER
```
    range restriction for sequences.
  - SUB1
```
static final String SUB1
```
  - SUP1
```
static final String SUP1
```
  - ZED
```
static final String ZED
```
  - AX
```
static final String AX
```
  - SCH
```
static final String SCH
```
  - GENAX
```
static final String GENAX
```
  - GENSCH
```
static final String GENSCH
```
  - END
```
static final String END
```
  - NL
```
static final String NL
```
  - CONJECTURE
```
static final String CONJECTURE
```
  - EXIONE
```
static final String EXIONE
```
  - ELSE
```
static final String ELSE
```
    See Also:
    
    Constant Field Values
  - FALSE
```
static final String FALSE
```
    See Also:
    
    Constant Field Values
  - FUNCTION
```
static final String FUNCTION
```
    See Also:
    
    Constant Field Values
  - GENERIC
```
static final String GENERIC
```
    See Also:
    
    Constant Field Values
  - IF
```
static final String IF
```
    See Also:
    
    Constant Field Values
  - LEFTASSOC
```
static final String LEFTASSOC
```
    See Also:
    
    Constant Field Values
  - LET
```
static final String LET
```
    See Also:
    
    Constant Field Values
  - PARENTS
```
static final String PARENTS
```
    See Also:
    
    Constant Field Values
  - PRE
```
static final String PRE
```
    See Also:
    
    Constant Field Values
  - RELATION
```
static final String RELATION
```
    See Also:
    
    Constant Field Values
  - RIGHTASSOC
```
static final String RIGHTASSOC
```
    See Also:
    
    Constant Field Values
  - SECTION
```
static final String SECTION
```
    See Also:
    
    Constant Field Values
  - THEN
```
static final String THEN
```
    See Also:
    
    Constant Field Values
  - THEOREM
```
static final String THEOREM
```
    See Also:
    
    Constant Field Values
  - TRUE
```
static final String TRUE
```
    See Also:
    
    Constant Field Values
  - DEFEQUAL
```
static final String DEFEQUAL
```
    See Also:
    
    Constant Field Values
  - DEFFREE
```
static final String DEFFREE
```
    See Also:
    
    Constant Field Values
  - BAR
```
static final String BAR
```
    See Also:
    
    Constant Field Values
  - ANDALSO
```
static final String ANDALSO
```
  - SLASH
```
static final String SLASH
```
    See Also:
    
    Constant Field Values
  - SEMI
```
static final String SEMI
```
  - ARG
```
static final String ARG
```
  - LISTARG
```
static final String LISTARG
```
    See Also:
    
    Constant Field Values
  - OP_SEPARATOR
```
static final String OP_SEPARATOR
```
    The separator that is used when representing operators as strings to separate names and arguments.
  - ARG_TOK
```
static final 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 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 u27E8, and > is the unicode char u27E9), applied to the A,B,C list (which is actually represented as the set {(1,A),(2,B),(3,C)}).

Interface ZString

Field Summary

Field Detail

DELTA

XI

THETA

LAMBDA

MU

ARITHMOS

NAT

POWER

PRIME

OUTSTROKE

INSTROKE

NE

SW

SE

NW

LL

LPAREN

RPAREN

LSQUARE

RSQUARE

LBRACE

RBRACE

LBIND

RBIND

LDATA

RDATA

ZEDCHAR

AXCHAR

SCHCHAR

GENCHAR

ENDCHAR

NLCHAR

SPACE

VL

AMP

VDASH

AND

OR

IMP

IFF

NOT

ALL

EXI

CROSS

SOLIDUS

EQUALS

MEM

COLON

SEMICOLON

COMMA

DOT

SPOT

ZHIDE

ZPROJ

ZCOMP

ZPIPE

PLUS

TYPECOLON

REL

FUN

NEQ

NOTMEM

EMPTYSET

SUBSETEQ

SUBSET

CUP

CAP

SETMINUS

SYMDIFF

BIGCUP

BIGCAP

FINSET

MAPSTO

COMP

CIRC

DRES

RRES