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


Prev: Table 01 Up: Index Next: Table 03
Submission 1998/12/01