Prev: Table 01
Up: Index
Next: Table 03
Submission 1998/12/01
STIX Submission for
Membership; large operators; binary operators
I/X
UniqID
Glyph Class STIX Name
I
E3A0
R
disin
I
E3A4
R
isins
I
E3A2
R
isinsv
I
E39C
R
isindot
I
E3B8
R
isinvb
I
E3BC
R
notins
I
E370
R
notinva
I
E37B
R
notinvb
I/X
UniqID
I
E37C
R
notinvc
I
E39D
R
notindot
I
E39E
R
isinE
I
E39F
R
notinE
I
E800
I
E3A1
R
nisd
I
E3A5
R
nis
I
E3A3
R
xnis
Glyph Class STIX Name
bepsi
Description (top)
Synonyms (bottom)
set membership, long horizontal stroke
\disin
set membership, vertical bar on horizontal stroke
\isins
large set membership, vertical bar on horizontal stroke
set membership, dot above
\isindot
set membership, bar under
\isinvb
negated (slash) set membership
negated set membership, variant
negated set membership, variant
Description (top)
Synonyms (bottom)
negated set membership, variant
negated set membership, dot above
set membership, two horizontal strokes
\isinE
negated set membership, two horizontal strokes
back epsilon: such that
\backepsilon; backeps
contains, long horizontal stroke
\nisd
contains, vertical bar on horizontal stroke
\nis
large contains, vertical bar on horizontal stroke
I/X
UniqID
Glyph Class STIX Name
I
E36D
R
notni
I
E37D
R
notnivb
I
E37E
R
notnivc
I
E254
L
xodot
I
E255
L
xoplus
I
E256
L
xotime
I
E805
L
xcupdot
I
E258
L
xuplus
I/X
UniqID
I
E65B
L
xsqcap
I
E257
L
xsqcup
I
E5C5
L
xoror
I
E5C6
L
xandand
I
E809
L
xtimes
I
EA57
L
sumint
Glyph Class STIX Name
Description (top)
negated contains
Synonyms (bottom)
contains, variant
contains, variant
circle dot operator
\bigodot; bigodot; \bigodot
circle plus operator
\bigoplus; bigoplus; \bigoplus
circle times operator
\bigotimes; bigotimes; \bigotimes
union operator with dot
\bigcupdot
union operator with dot
\biguplus; biguplus; \biguplus
Description (top)
Synonyms (bottom)
square intersection operator
\bigsqcap
square union operator
\bigsqcup; bigsqcup; \bigsqcup
two logical or operator
\disjquant
two logical and operator
\conjquant
big times operator
\bigtimes
summation with integral
sumint
I
E378
L
qint
I
E396
L
fpartint
quadruple integral operator
\iiiint
finite part integral
\intbar
I/X
UniqID
Glyph Class STIX Name
I
E821
L
Barint
I
E3D3
L
slint
I
E395
L
cirfnint
I
E39B
L
awint
I
E397
L
rppolint
I
E398
L
scpolint
I
E399
L
npolint
I
E376
I/X
UniqID
I
E377
L
quatint
I
E39A
L
intlarhk
I
E825
L
timeint
I
E822
L
capint
I
E823
L
cupint
I
EC0B
L
upint
I
EC0C
L
lowint
I
EC0D
L
Join
pointint
Glyph Class STIX Name
Description (top)
Synonyms (bottom)
integral, double barred
\intBar
integral, average (slashed)
intslash
circulation function
bjz
anti clock-wise integration
line integration, rectangular path around pole
line integration, semi-circular path around pole
line integration, not including the pole
integral around a point operator
Description (top)
Synonyms (bottom)
quaternion integral operator
intsq
integral, left arrow with hook
integral, crossed by times sign
\intx
integral, overprinted with cap
\intcap
integral, overprinted with cup
\intcup
upper integral (bar on top)
\upint
lower integral (bar on bottom)
\lowint
join (large bowtie, relational database theory)
\Join
I/X
UniqID
Glyph Class STIX Name
I
EC0E
L
xltri
X
EA53
N
sqrt2
X
EA54
N
sqrt3
I
E266
B
pluscir
I
E26A
B
plusacir
I
E26B
B
simplus
I
E25A
B
plusdu
I
E26C
B
plussim
I/X
UniqID
I
E269
B
plustwo
I
EA5A
B
plustrif
I
E31A
B
mcomma
I
E25B
B
minusdu
I
E25C
B
loplus
I
E25D
B
roplus
I
E619
B
htimes
I
E26D
B
timesd
Glyph Class STIX Name
Description (top)
Synonyms (bottom)
large (operator) left triangle (relational database theory)
\bigtriangleleft
square root of 2
sqrt2
square root of 3
sqrt3
plus, small circle above
plus, circumflex accent above
plus, similar above
plus sign, dot below
\plusdot
plus, similar below
Description (top)
Synonyms (bottom)
plus, two; Nim-addition
filled triangle with plus
trifplus
minus, comma above
minus sign, dot below
\minusdot
plus sign in left half circle
Oplus
plus sign in right half circle
bsv
small, bold times
Cross
times, dot
timesdot
I/X
UniqID
Glyph Class STIX Name
I
E28E
B
timesbar
I
E812
B
btimes
I
E264
B
smashp
I
E25E
B
lotimes
I
E25F
B
rotimes
I
E28D
B
otimesas
I
E28C
B
Otimes
I
E285
B
odiv
I/X
UniqID
I
E27B
B
triplus
I
E27C
B
triminus
I
E27D
B
tritime
I
E259
B
iprod
I
EC00
B
iprodr
I
E844
B
setmn
I
E251
B
amalg
I
E261
B
capdot
Glyph Class STIX Name
Description (top)
Synonyms (bottom)
multiply sign, bar below
semidirect product: times sign, bottom closed
\btimes
smash product
multiply sign in left half circle
Otimes
multiply sign in right half circle
bsw
multiply sign in circle, circumflex accent
multiply sign in double circle
divide in circle
bsk
Description (top)
plus in triangle
Synonyms (bottom)
minus in triangle
multiply in triangle
interior product
\intprod; lEg
righthand interior product
\intprodr
reverse solidus; backward division
\setminus; setmn; \setminus; Backslash
amalgamation or coproduct
\amalg; amalg; \amalg
intersection, with dot
I/X
UniqID
Glyph Class STIX Name
I
E283
B
ncup
I
E284
B
ncap
I
E281
B
capand
I
E282
B
cupor
I
E26E
B
cupcap
I
E26F
B
capcup
I
E270
B
cupbrcap
I
E271
B
capbrcup
I/X
UniqID
I
E272
B
cupcup
I
E273
B
capcap
I
E274
B
cups
I
E275
B
caps
I
E278
B
ccups
I
E279
B
ccaps
I
E276
B
sqcups
I
E277
B
sqcaps
Glyph Class STIX Name
Description (top)
bar, union
Synonyms (bottom)
bar, intersection
intersection, and
union, or
union above intersection
intersection above union
union, bar, intersection
intersection, bar, union
Description (top)
Synonyms (bottom)
union, union, joined
intersection, intersection, joined
union, serifs
intersection, serifs
closed union, serifs
closed intersection, serifs
square union, serifs
square intersection, serifs
I/X
UniqID
I
E27A
B
ccupssm
I
E3CA
B
anddot
I
E3CB
B
ordot
I
E374
B
And
I
E375
B
Or
I
E36E
B
andand
I
E36F
B
oror
I
E3AE
B
orslope
I/X
UniqID
I
E3AF
B
andslope
I
E391
B
andv
I
E392
B
orv
I
E393
B
ord
I
E394
B
andd
I
E5C8
B
Barwedl
I
E265
B
wedbar
I
E3B0
B
veebar
I/X
UniqID
I
E5C7
Prev: Table 01
Glyph Class STIX Name
Glyph Class STIX Name
Glyph Class STIX Name
B
veeBar
Description (top)
Synonyms (bottom)
closed union, serifs, smash product
with dot
ith dot
double logical and
bip
double logical or
bio
two logical and
bir
two logical or
biq
sloping large or
Description (top)
sloping large and
Synonyms (bottom)
and with middle stem
or with middle stem
or, horizontal dash
and, horizontal dash
double bar over large wedge
biz
wedge, bar below
bts
/veebar B: logical or, bar below
Description (top)
Synonyms (bottom)
logical or, double bar below (large vee)
biy
Up: Index
Next: Table 03
Submission 1998/12/01