Working Draft 15-May-97

Operator Dictionary

Warning: This suggested operator dictionary should be regarded as a placeholder. In particular, the names of entities contained in it cannot be finalized until July, 1997 (see Chapter 6). Also, this dictionary does not contain recommended values for the "lspace" and "rspace" attributes (see Chapter 3).

"("                                  form="open"  stretchy="true"
")"                                  form="close" stretchy="true"
"["                                  form="open"  stretchy="true"
"]"                                  form="close" stretchy="true"
"{"                                  form="open"  stretchy="true"
"}"                                  form="close" stretchy="true"
"”"            form="close"
"’"                  form="close"
"⟨"                 form="open"
"&LeftBracketingBar;"                form="open"
"⌈"                      form="open"
"⟦"                form="open"
"&LeftDoubleBracketingBar;"          form="open"
"⌊"                        form="open"
"“"             form="open"
"‘"                   form="open"
"⟩"                form="close"
"&RightBracketingBar;"               form="close"
"⌉"                     form="close"
"⟧"               form="close"
"&RightDoubleBracketingBar;"         form="close"
"⌋"                       form="close"
"&LeftSkeleton;"                     form="open"
"&RightSkeleton;"                    form="close"

"⁣"                   form="infix"

","                                  form="infix"

";"                                  form="infix"
";"                                  form="postfix"

"^="                                 form="infix"
"=."                                 form="postfix"
":="                                 form="infix"
"^:="                                form="infix"
"≔"                           form="infix"

"∵"                          form="infix"
"∴"                        form="infix"

"❘"                form="infix"

"//"                                 form="infix"

"∷"                            form="infix"

"&"                                  form="postfix"

"*="                                 form="infix"
"-="                                 form="infix"
"+="                                 form="infix"
"/="                                 form="infix"

"//."                                form="infix"

"->"                                 form="infix"
":>"                                 form="infix"
"&Rule;"                             form="infix"
"⧴"                      form="infix"

"/;"                                 form="infix"

":"                                  form="infix"

".."                                 form="postfix"
"..."                                form="postfix"

"∋"                         form="infix"

"⫤"                    form="infix"
"⊨"                   form="infix"
"⊤"                          form="infix"
"⊣"                          form="infix"
"⊢"                         form="infix"

"⇒"                          form="infix"
"⥰"                     form="infix"

"|"                                  form="infix"
"||"                                 form="infix"
"⩔"                               form="infix"

"&&"                                 form="infix"
"⩓"                              form="infix"

"!"                                  form="prefix"
"⫬"                              form="prefix"

"∃"                           form="prefix"
"∀"                           form="prefix"
"∄"                        form="prefix"

"∈"                          form="infix"
"∉"                       form="infix"
"∌"                form="infix"
"⊏̸"                  form="infix"
"⋢"             form="infix"
"⊐̸"                form="infix"
"⋣"           form="infix"
"⊂⃒"                        form="infix"
"⊈"                   form="infix"
"⊃⃒"                      form="infix"
"⊉"                 form="infix"
"∋"                   form="infix"
"⊏"                     form="infix"
"⊑"                form="infix"
"⊐"                   form="infix"
"⊒"              form="infix"
"⋐"                           form="infix"
"⊆"                      form="infix"
"⊃"                         form="infix"
"⊇"                    form="infix"

"⇐"                  form="infix"
"⇔"             form="infix"
"⇒"                 form="infix"
"⥐"              form="infix"
"⥞"                form="infix"
"↽"                   form="infix"
"⥖"                form="infix"
"⥟"               form="infix"
"⇁"                  form="infix"
"⥗"               form="infix"
"←"                        form="infix"
"⇤"                     form="infix"
"⇆"              form="infix"
"↔"                   form="infix"
"⥎"                  form="infix"
"↤"                     form="infix"
"⥚"                    form="infix"
"↼"                       form="infix"
"⥒"                    form="infix"
"↙"                   form="infix"
"↘"                  form="infix"
"→"                       form="infix"
"⇥"                    form="infix"
"⇄"              form="infix"
"↦"                    form="infix"
"⥛"                   form="infix"
"⇀"                      form="infix"
"⥓"                   form="infix"
"←"                   form="infix"
"→"                  form="infix"
"↖"                   form="infix"
"↗"                  form="infix"

"="                                  form="infix"
"<"   FORM="infix">"                                  form="infix"
"!="                                 form="infix"
"=="                                 form="infix"
"<="   FORM="infix">="                                 form="infix"
"=!="                                form="infix"
"==="                                form="infix"
"≡"                        form="infix"
"≍"                           form="infix"
"≐"                         form="infix"
"∥"                form="infix"
"⩵"                            form="infix"
"≂"                       form="infix"
"⇌"                      form="infix"
"≥"                     form="infix"
"⋛"                 form="infix"
"≧"                 form="infix"
"⪢"                   form="infix"
"≷"                      form="infix"
"⩾"                form="infix"
"≳"                     form="infix"
"≎"                     form="infix"
"≏"                        form="infix"
"⊲"                     form="infix"
"⧏"                  form="infix"
"⊴"                form="infix"
"&LessEqual;"                        form="infix"
"⋚"                 form="infix"
"≦"                    form="infix"
"≶"                      form="infix"
"⪡"                         form="infix"
"⩽"                   form="infix"
"≲"                        form="infix"
"≫"             form="infix"
"≪"                   form="infix"
"≢"                     form="infix"
"≭"                        form="infix"
"∦"             form="infix"
"≠"                         form="infix"
"≂̸"                    form="infix"
"≯"                       form="infix"
"≱"                  form="infix"
"≧̸"              form="infix"
"≫̸"                form="infix"
"≹"                   form="infix"
"⩾̸"             form="infix"
"≵"                  form="infix"
"≎̸"                  form="infix"
"≏̸"                     form="infix"
"⋪"                  form="infix"
"⧏̸"               form="infix"
"⋬"             form="infix"
"≮"                          form="infix"
"≰"                     form="infix"
"&NotLessFullEqual;"                 form="infix"
"≸"                   form="infix"
"≪̸"                      form="infix"
"⩽̸"                form="infix"
"≴"                     form="infix"
"⪢̸"          form="infix"
"⪡̸"                form="infix"
"⊀"                      form="infix"
"⪯̸"                 form="infix"
"⋠"            form="infix"
"&NotPrecedesTilde;"                 form="infix"
"⋫"                 form="infix"
"⧐̸"              form="infix"
"⋭"            form="infix"
"⊁"                      form="infix"
"⪰̸"                 form="infix"
"⋡"            form="infix"
"≿̸"                 form="infix"
"≁"                         form="infix"
"≄"                    form="infix"
"≇"                form="infix"
"≉"                    form="infix"
"∤"                   form="infix"
"≺"                         form="infix"
"⪯"                    form="infix"
"≼"               form="infix"
"≾"                    form="infix"
"∷"                       form="infix"
"∝"                     form="infix"
"⇋"               form="infix"
"⊳"                    form="infix"
"⧐"                 form="infix"
"⊵"               form="infix"
"≻"                         form="infix"
"⪰"                    form="infix"
"≽"               form="infix"
"≿"                    form="infix"
"∼"                            form="infix"
"≃"                       form="infix"
"≅"                   form="infix"
"≈"                       form="infix"
"⊥"                            form="infix"
"∣"                      form="infix"

"⊔"                      form="infix"
"⋃"                            form="infix"
"⊎"                        form="infix"

"-"                                  form="infix"
"+"                                  form="infix"
"⋂"                     form="infix"
"∓"                        form="infix"
"±"                        form="infix"
"⊓"               form="infix"

"⋁"                              form="prefix" largeop="true" moveablelimits="true"
"⊖"                      form="prefix" largeop="true" moveablelimits="true"
"⊕"                       form="prefix" largeop="true" moveablelimits="true"
"∑"                              form="prefix" largeop="true" moveablelimits="true"
"⋃"                            form="prefix" largeop="true" moveablelimits="true"
"⊎"                        form="prefix" largeop="true" moveablelimits="true"

"⊖"                      form="infix"
"⊕"                       form="infix"

"∲"         form="prefix" largeop="true"
"∮"                  form="prefix" largeop="true"
"∳"  form="prefix" largeop="true"
"&Do  
"∫"                         form="prefix" largeop="true"

"⋓"                              form="infix"

"⋒"                              form="infix"

"≀"                    form="infix"

"⋀"                            form="prefix" largeop="true" moveablelimits="true"
"⊗"                      form="prefix" largeop="true" moveablelimits="true"
"∐"                        form="infix"
"∏"                          form="prefix" largeop="true" moveablelimits="true"
"⋂"                     form="prefix" largeop="true" moveablelimits="true"

"⋆"                             form="infix"

"*"                                  form="infix"
"⁢"                   form="infix"
"⊙"                        form="prefix" largeop="true" moveablelimits="true"

"·"                        form="infix"

"⊗"                      form="infix"

"⋁"                              form="infix"

"⋀"                            form="infix"

"⋄"                          form="infix"

"∖"                        form="infix"

"/"                                  form="infix"

"-"                                  form="prefix"
"+"                                  form="prefix"
"∓"                        form="prefix"
"±"                        form="prefix"

"."                                  form="infix"

"⨯"                            form="infix"

"**"                                 form="infix"

"⊙"                        form="infix"

"∘"                      form="infix"

"□"                           form="prefix"

"∇"                              form="prefix"
"∂"                         form="prefix"

"ⅅ"             form="prefix"
"ⅆ"                    form="prefix"

"√"                             form="prefix"

"⇓"                  form="infix"
"⟸"              form="infix"
"⟺"         form="infix"
"⟹"             form="infix"
"⇑"                    form="infix"
"⇕"                form="infix"
"↓"                        form="infix"
"⤓"                     form="infix"
"⇵"                 form="infix"
"↧"                     form="infix"
"⥡"                form="infix"
"⇃"                   form="infix"
"⥙"                form="infix"
"⥑"                 form="infix"
"⥠"                  form="infix"
"↿"                     form="infix"
"⥘"                  form="infix"
"⟵"                    form="infix"
"⟷"               form="infix"
"⟶"                   form="infix"
"⥯"             form="infix"
"⥝"               form="infix"
"⇂"                  form="infix"
"⥕"               form="infix"
"⥏"                form="infix"
"⥜"                 form="infix"
"↾"                    form="infix"
"⥔"                 form="infix"
"↓"                   form="infix"
"↑"                     form="infix"
"↑"                          form="infix"
"⤒"                       form="infix"
"⇅"                 form="infix"
"↕"                      form="infix"
"⥮"                    form="infix"
"↥"                       form="infix"

"^"                                  form="infix"

""                                 form="infix"

"'"                                  form="postfix"

"!"                                  form="postfix"
"!!"                                 form="postfix"

"@@"                                 form="infix"
"/@"                                 form="infix"
"//@"                                form="infix"

"~"                                  form="infix"

"@"                                  form="infix"

"--"                                 form="postfix"
"--"                                 form="prefix"
"++"                                 form="postfix"
"++"                                 form="prefix"

"⁡"                    form="infix"

"?"                                  form="infix"

"_"                                  form="infix"