Symbol Name

Symbol

Keyboard Equivalent

Left binding bracket

ï

<|

Right binding bracket

ð

|>

Schema definition

¡

=^=

Power set, 'fat P'

ˆ

%P

Cartesian product

´

%x

Spot, 'fat dot'

›

@

Membership, 'element'

î

%e

(schema) negation, 'not'

‰

%not

(schema) conjunction, 'and'

™

/\

(schema) disjunction, 'or'

˜

\/

(schema) implication

„

=>

(schema) equivalence, 'iff'

Û

<=>

Universal (schema) quantifier, 'for all'

"

%A

Existential (schema) quantifier, 'exists'

$

%E

Unique (schema) quantifier

$«

%E1

Schema hiding

\

%\

Schema projection

’

%|\

Schema piping

¥

%>>

Schema composition ('fat semi-colon')

†

%%;

Left free type bracket

®

<<

Right free type bracket

¯

>>

Inequality

²

/=

Non-membership

ç

%/e

Empty set

í

(/)

Subset

á

%c_

Proper subset

à

%c

Non-empty subsets

ˆ«

%P1

Set union

ƒ

%u

Set intersection

‚

%n

Generalised union

µ

%uu

Generalised intersection

�

%nn

Binary relations

‘Ž

<-->

Maplet

šŽ

|->

Relational composition ('fat semi-colon')

Ý

%;

Backward relational composition

‡

%o

Domain restriction

¨

<:

Range restriction

©

:>

Domain anti-restriction

°

<-:

Range anti-restriction

±

:->

Relational inverse

~

~

Left relational image bracket

Û

(|

Right relational image bracket

Ü

|)

Relational overriding

Å

(+)

Transitive closure

ù

%+

Reflexive transitive closure

ú

%*

Partial functions

Š‹Ž

-|->

Total functions

ŠŠŽ

-->

Partial injections

�‹Ž

>-|->

Total injections

�ŠŽ

>-->

Partial surjections

Š‹�

-|->>

Total surjections

ŠŠ�

-->>

Bijections

�Š�

>-->>

Natural numbers

÷

%N

Integers

Ÿ

%Z

Less than or equal

ó

<=

Greater than or equal

ò

>=

Strictly positive integers

÷«

%N1

Finite sets

£

%F

Non-empty finite sets

£«

%F1

Finite partial functions

ŠŒŽ

-||->

Finite partial injections

�ŒŽ

>-||->

Left sequence bracket

ë

%<

Right sequence bracket

ì

%>

Sequence concatenation, 'cat'

õ

^

Extraction

¢

/|

Filter

ß

|\

Distributed concatenation

õ/

^/

Left bag bracket

¤

[|

Right bag bracket

ã

|]

Bag multiplicity, 'sharp'

#

%#

Bag scaling

ô

(*)

Bag membership

ö

%inbag

Sub-bag

û

%subbag

Bag union

ž

%bag+

Bag difference

ý

%bag-

Alpha

a

%alpha%

Beta

b

%beta%

Gamma

g

%gamma%

Delta

d

%delta%

Epsilon

e

%epsilon%

Zeta

z

%zeta%

Eta

h

%eta%

Theta, 'binding'

é

%theta%

Kappa

k

%kappa%

Lambda

¦

%lambda%

Mu

æ

%mu%

Nu

n

%nu%

Xi

x

%xi%

Pi

p

%pi%

Rho

r

%rho%

Sigma

s

%sigma%

Tau

t

%tau%

Upsilon

u

%upsilon%

Phi

f

%phi%

Chi

c

%chi%

Psi

y

%psi%

Omega

w

%omega%

Gamma

â

%Gamma%

Delta

œ

%Delta%

Theta

Q

%Theta%

Lambda

L

%Lambda%

Xi

�

%Xi%

Pi

P

%Pi%

Sigma

ä

%Sigma%

Phi

ª

%Phi%

Psi

Y

%Psi%

Omega

W

%Omega%