. 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
.See http://www/dick/samples/z.html

If your browser can not handle tables please try the
raw MATHS documentation
.See http://www/dick/samples/z.lexis.mth

.Table
.Row Spoken	EMail	TeX	MATHS
.Row and	/\	\land	and
.Row left	(	(	(
.Row colon	:	:	:
.Row comma	,	,	,
.Row cross	%x	?	><
.Row define equal	==	==
.Row spot	@	\dot	||
.Row equals	=	=	=
.Row else	else	else	else
.Row exists	%E	\some	some
.Row unique exists	%E1	?	one
.Row false	false	?	false
.Row fixity	fixity	?	?
.Row for all	%A	\forall	all
.Row left chevron	<<	?
.Row right chevron	>>	?	>>
.Row hide	%\	?	(some ...)
.Row if	if	if	if
.Row if and only if	<=>	\iff	iff
.Row implies	==>	?	then
.Row right	)	)	)
.Row left function	leftfun	?	?
.Row let	let	?	?
.Row member | in	%e	\in	in
.Row not	%not	?	not
.Row or	\/	\lor	or	?
.Row argument	_	_	_
.Row coerce predicate	pred	?	?
.Row pre	pre	?	pre
.Row project	%|\	\rharpoon	.
.Row power set	%P	\P	@
.Row relation	rel	?	rel
.Row rename	/	/	=>
.Row right function	rightfun	?	?
.Row semicolon	;	?	;
.Row sequence	...	?	...(elision)
.Row select | dot	.	.	.
.Row left set	{	\{	set{
.Row right set	}	\}	}
.Row left square	[	[
.Row right square	]	]
.Row then	then	?	then
.Row true	true	\true	true
.Row turnstyle	|-	\vdash	|-
.Row type argument	$	\dollar
.Row bar	|	\vert	|
.Row up	%^	^	^	^
.Row down	%_	_	[
.Close.Table

Greek letters follow this pattern:
.As_is	Spoken	EMail	TeX	MATHS
.As_is	alpha	%alpha	\alpha	\alpha
.As_is	big alpha	%Alpha	\Alpha	\Alpha

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

Selection of Symbols from the Mathematical Toolkit

.Table
.Row Spoken	EMail	TeX	MATHS
.Row not equal	/=	\ne	<>
.Row not in	%/e	?	not_in
.Row empty set	(/)	?	{}
.Row subset	%c_	\subseteq	==>
.Row proper subset	%c	\subset	=>>
.Row union	%u	\cup	|
.Row intersection	%n	\cap	&
.Row set difference	\	\backslash	~
.Row generalized union	%uu	\Bigcup	|
.Row generalized intersection	%nn	\Bighat	&
.Row finite subsets	%F	\bbfF	Finite
.Row relation	<-->	\dblarrow	<>-<>
.Row maplet	|-->	?	+>
.Row compose	%;	\bbfsemicolon	;
.Row compose	%o	\o	o
.Row domain restrict	<:	\lefttriangle	;
.Row range restrict	:>	\righttriangle	;
.Row domain subtract	<-:	?	?
.Row range subtract	:->	?	?
.Row inverse	~	\tilde	/
.Row left relational image bracket	(|	?	?
.Row right relational image bracket	|)	?	?
.Row override	(+)	?	?	?
.Row partial function	-|->	?	<>->
.Row total function	-->	\rarrow	>->
.Row partial injection	>-|->	?	<->
.Row total injection	>--->	?	-->
.Row partial surjection	-|->>	?	<>--
.Row total surjection	--->>	?	>--
.Row bijection	>->>	?	---
.Row finite function	-||->	?	?
.Row finite injection	>-||->	?	?
.Row natural numbers	%N	\bbfN	Nat0
.Row integers	%Z	\bbfZ	Int
.Row less than	<	<	<
.Row less than or equal to	<=	?	<=
.Row greater than	>	>	>
.Row greater than or equal	>=	?	>=
.Row up to	..	..	..
.Row plus	+	+	+
.Row minus	-	-	-
.Row times	*	*	*
.Row hash | cardinality	#	\num	card
.Row left seq	%<	?	(
.Row right seq	%>	?	)
.Row filter	|\	?	?
.Row extract	/|	?	?
.Row concatenate	^	\frown	!
.Row left bag	[|	?	bag(
.Row right bag	|]	?	)
.Close.Table