[Skip Navigation] [CSUSB] / [CNS] / [Comp Sci Dept] / [R J Botting] / [Samples] / z.lexis
[Index] [Contents] [Source Text] [About] [Notation] [Copyright] [Comment/Contact] [Search ]
Tue Sep 18 15:27:42 PDT 2007

Contents


    Proposed Standard Lexis of the Specification Language Z

    A table of the new proposal for standard ASCII lexemes for the Z specification language plus cognates used in Dr. Botting's MATHS notation and TeX.

    For more on Z, see [ z.html ]

    If your browser can not handle tables please try the raw MATHS documentation [ z.lexis.mth ]

    SpokenEMailTeXMATHS
    and/\and
    left(((
    colon:::
    comma,,,
    cross%x?><
    define equal====
    spot@\dot||
    equals===
    elseelseelseelse
    exists%E\somesome
    unique exists%E1?one
    falsefalse?false
    fixityfixity??
    for all%Aall
    left chevron<<?
    right chevron>>?>>
    hide%\?(some ...)
    ifififif
    if and only if<=>\iffiff
    implies==>?then
    right)))
    left functionleftfun??
    letlet??
    member | in%ein
    not%not?not
    or\/or?
    argument___
    coerce predicatepred??
    prepre?pre
    project%|\\rharpoon.
    power set%P\P@
    relationrel?rel
    rename//=>
    right functionrightfun??
    semicolon;?;
    sequence...?...(elision)
    select | dot...
    left set{\{set{
    right set}\}}
    left square[[
    right square]]
    thenthen?then
    truetrue\truetrue
    turnstyle|-\vdash|-
    type argument$\dollar
    bar|\vert|
    up%^^^^
    down%__[

    Greek letters follow this pattern:

    	Spoken	EMail	TeX	MATHS
    	alpha	%alpha	\alpha	\alpha
    	big alpha	%Alpha	\Alpha	\Alpha

    Schema symbols

     	Syntax  	EMail	MATHS
     	start_scheme   	+--	Net{  or .Net
     	dash    	---	not used
     	such_that	|--	not used
     	end_scheme	---	} or 	.Close.Net
     	start_generic 	+==	All nets are generic.
     	double_dash 	===
     	start_axiom 	+..	Tab or Space
     	end_axiom 	-..

    Selection of Symbols from the Mathematical Toolkit

    SpokenEMailTeXMATHS
    not equal/=<>
    not in%/e?not_in
    empty set(/)?{}
    subset%c_==>
    proper subset%c=>>
    union%u|
    intersection%n&
    set difference\\backslash~
    generalized union%uu\Bigcup|
    generalized intersection%nn\Bighat&
    finite subsets%F\bbfFFinite
    relation<-->\dblarrow<>-<>
    maplet|-->?+>
    compose%;\bbfsemicolon;
    compose%oοo
    domain restrict<:≤fttriangle;
    range restrict:>\righttriangle;
    domain subtract<-:??
    range subtract:->??
    inverse~\tilde/
    left relational image bracket(|??
    right relational image bracket|)??
    override(+)???
    partial function-|->?<>->
    total function-->\rarrow>->
    partial injection>-|->?<->
    total injection>--->?-->
    partial surjection-|->>?<>--
    total surjection--->>?>--
    bijection>->>?---
    finite function-||->??
    finite injection>-||->??
    natural numbers%N\bbfNNat0
    integers%Z\bbfZInt
    less than<<<
    less than or equal to<=?<=
    greater than>>>
    greater than or equal>=?>=
    up to......
    plus+++
    minus---
    times***
    hash | cardinality#νmcard
    left seq%<?(
    right seq%>?)
    filter|\??
    extract/|??
    concatenate^\frown!
    left bag[|?bag(
    right bag|]?)

End