CONCEPT-CHAR : concept special character
Concept
aleph
alpha
and
angle
approx
assert
assertedby
asterisk
bar
beta
bigbar
bolda
boldb
boldc
boldd
bolde
boldf
boldg
boldh
boldi
boldj
boldk
boldl
boldm
boldn
boldo
boldp
boldq
boldr
bolds
boldt
boldu
boldv
boldw
boldx
boldy
boldz
capdelta
capgamma
caplambda
capomega
capphi
cappi
cappsi
capsigma
captheta
capupsilon
capxi
ceiling1
ceiling2
chi
circledot
circleminus
compose
congruent
defineeq
del
delta
diamond
directsum
divide
doubtilde
epsilon
equiv
eta
exists
falsehood
flat
floor1
floor2
forall
gamma
gradient
greateq
iff1
iff2
imp1
imp2
imp3
implied1
implied2
impliedby
implies
infinity
integral2
intersect
iota
join
kappa
lambda
leftcorner
lesseq
meet
member1
minplus
monus
mu
natural
neg
newpar
nonmember
norm
north
northeast
northwest
not
notassert
noteq
notequiv
notvalid
nu
nullset
omega
omicron
or
parallelogram
phi
phi2
pi
plusmin
powerset
propersubset
propersuperset
psi
quantifier
rho
rightcorner
scripta
scriptb
scriptc
scriptd
scripte
scriptf
scriptg
scripth
scripti
scriptj
scriptk
scriptl
scriptm
scriptn
scripto
scriptp
scriptq
scriptr
scripts
scriptt
scriptu
scriptv
scriptw
scriptx
scripty
scriptz
setintersect
setunion
sigma
similar
south
southeast
southwest
sqrt
square
star
sub0
sub1
sub2
sub3
sub4
sub5
sub6
sub7
sub8
sub9
subalpha
subbeta
subchi
subdelta
subepsilon
subeta
subgamma
subiota
subkappa
sublambda
sublparen
submember
submu
subnu
subnullset
subomega
subomicron
subphi
subpi
subpsi
subrho
subrparen
subset
subsigma
subtau
subtheta
subupsilon
subxi
subzeta
sup0
sup1
sup2
sup3
sup4
sup5
sup6
sup7
sup8
sup9
supa
supb
supc
supd
supe
superset
supf
supg
suph
supi
supj
supk
supl
suplparen
supm
supminus
supn
supo
supp
supplus
supq
supr
suprparen
sups
supt
supu
supv
supw
supx
supy
supz
tau
tensor
theta
times
truth
uncappi
union
untilde
upsilon
valid
xi
zeta
© 2000, Carnegie Mellon University.
TPS documentation homepage
TPS homepage