1{-# LANGUAGE OverloadedStrings #-} 2{- 3Copyright (C) 2014 Matthew Pickering <matthewtpickering@gmail.com> 4 5This program is free software; you can redistribute it and/or modify 6it under the terms of the GNU General Public License as published by 7the Free Software Foundation; either version 2 of the License, or 8(at your option) any later version. 9 10This program is distributed in the hope that it will be useful, 11but WITHOUT ANY WARRANTY; without even the implied warranty of 12MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13GNU General Public License for more details. 14 15You should have received a copy of the GNU General Public License 16along with this program; if not, write to the Free Software 17Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 18-} 19{- | 20Dictionary of operators to MathML attributes as specified by the W3C standard. 21 22The original file can be downloaded from <http://www.w3.org/TR/xml-entity-names/#source here> 23-} 24 25module Text.TeXMath.Readers.MathML.MMLDict (getMathMLOperator, operators) where 26 27import Text.TeXMath.Types 28import qualified Data.Map as M 29import qualified Data.Text as T 30import Data.Monoid (First(..), mconcat) 31 32dict :: M.Map (T.Text, FormType) Operator 33dict = M.fromList (map (\o -> ((oper o, form o), o)) operators) 34 35-- | Tries to find the 'Operator' record based on a given position. If 36-- there is no exact match then the positions will be tried in the 37-- following order (Infix, Postfix, Prefix) with the first match (if any) being returned. 38getMathMLOperator :: T.Text -> FormType -> Maybe Operator 39getMathMLOperator s p = 40 getFirst $ mconcat $ (map (\x -> First $ M.lookup (s, x) dict) lookupOrder) 41 where 42 lookupOrder = [p, FInfix, FPostfix, FPrefix] 43 44-- | A table of all operators as defined by the MathML operator dictionary. 45operators :: [Operator] 46operators = 47 [ Operator {oper = "!", description = "EXCLAMATION MARK", form = FPostfix, priority = 810, lspace = 1, rspace = 0, properties = []} 48 , Operator {oper = "!!", description = "MULTIPLE CHARACTER OPERATOR: !!", form = FPostfix, priority = 810, lspace = 1, rspace = 0, properties = []} 49 , Operator {oper = "!=", description = "MULTIPLE CHARACTER OPERATOR: !=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 50 , Operator {oper = "\"", description = "QUOTATION MARK", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 51 , Operator {oper = "%", description = "PERCENT SIGN", form = FInfix, priority = 640, lspace = 3, rspace = 3, properties = []} 52 , Operator {oper = "&", description = "AMPERSAND", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = []} 53 , Operator {oper = "&&", description = "MULTIPLE CHARACTER OPERATOR: &&", form = FInfix, priority = 200, lspace = 4, rspace = 4, properties = []} 54 , Operator {oper = "'", description = "APOSTROPHE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 55 , Operator {oper = "(", description = "LEFT PARENTHESIS", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 56 , Operator {oper = ")", description = "RIGHT PARENTHESIS", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 57 , Operator {oper = "*", description = "ASTERISK", form = FInfix, priority = 390, lspace = 3, rspace = 3, properties = []} 58 , Operator {oper = "**", description = "MULTIPLE CHARACTER OPERATOR: **", form = FInfix, priority = 780, lspace = 1, rspace = 1, properties = []} 59 , Operator {oper = "*=", description = "MULTIPLE CHARACTER OPERATOR: *=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 60 , Operator {oper = "+", description = "PLUS SIGN", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 61 , Operator {oper = "+", description = "PLUS SIGN", form = FPrefix, priority = 275, lspace = 0, rspace = 1, properties = []} 62 , Operator {oper = "++", description = "MULTIPLE CHARACTER OPERATOR: ++", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = []} 63 , Operator {oper = "+=", description = "MULTIPLE CHARACTER OPERATOR: +=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 64 , Operator {oper = ",", description = "COMMA", form = FInfix, priority = 40, lspace = 0, rspace = 3, properties = ["separator"]} 65 , Operator {oper = "-", description = "HYPHEN-MINUS", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 66 , Operator {oper = "-", description = "HYPHEN-MINUS", form = FPrefix, priority = 275, lspace = 0, rspace = 1, properties = []} 67 , Operator {oper = "--", description = "MULTIPLE CHARACTER OPERATOR: --", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = []} 68 , Operator {oper = "-=", description = "MULTIPLE CHARACTER OPERATOR: -=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 69 , Operator {oper = "->", description = "MULTIPLE CHARACTER OPERATOR: ->", form = FInfix, priority = 90, lspace = 5, rspace = 5, properties = []} 70 , Operator {oper = ".", description = "FULL STOP", form = FInfix, priority = 390, lspace = 3, rspace = 3, properties = []} 71 , Operator {oper = "..", description = "MULTIPLE CHARACTER OPERATOR: ..", form = FPostfix, priority = 100, lspace = 0, rspace = 0, properties = []} 72 , Operator {oper = "...", description = "MULTIPLE CHARACTER OPERATOR: ...", form = FPostfix, priority = 100, lspace = 0, rspace = 0, properties = []} 73 , Operator {oper = "/", description = "SOLIDUS", form = FInfix, priority = 660, lspace = 1, rspace = 1, properties = []} 74 , Operator {oper = "//", description = "MULTIPLE CHARACTER OPERATOR: //", form = FInfix, priority = 820, lspace = 1, rspace = 1, properties = []} 75 , Operator {oper = "/=", description = "MULTIPLE CHARACTER OPERATOR: /=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 76 , Operator {oper = ":", description = "COLON", form = FInfix, priority = 100, lspace = 1, rspace = 2, properties = []} 77 , Operator {oper = ":=", description = "MULTIPLE CHARACTER OPERATOR: :=", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 78 , Operator {oper = ";", description = "SEMICOLON", form = FInfix, priority = 30, lspace = 0, rspace = 3, properties = ["separator"]} 79 , Operator {oper = "<", description = "LESS-THAN SIGN", form = FInfix, priority = 245, lspace = 5, rspace = 5, properties = []} 80 , Operator {oper = "<=", description = "MULTIPLE CHARACTER OPERATOR: <=", form = FInfix, priority = 241, lspace = 5, rspace = 5, properties = []} 81 , Operator {oper = "<>", description = "MULTIPLE CHARACTER OPERATOR: <>", form = FInfix, priority = 780, lspace = 1, rspace = 1, properties = []} 82 , Operator {oper = "=", description = "EQUALS SIGN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 83 , Operator {oper = "==", description = "MULTIPLE CHARACTER OPERATOR: ==", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 84 , Operator {oper = ">", description = "GREATER-THAN SIGN", form = FInfix, priority = 243, lspace = 5, rspace = 5, properties = []} 85 , Operator {oper = ">=", description = "MULTIPLE CHARACTER OPERATOR: >=", form = FInfix, priority = 243, lspace = 5, rspace = 5, properties = []} 86 , Operator {oper = "?", description = "QUESTION MARK", form = FInfix, priority = 835, lspace = 1, rspace = 1, properties = []} 87 , Operator {oper = "@", description = "COMMERCIAL AT", form = FInfix, priority = 825, lspace = 1, rspace = 1, properties = []} 88 , Operator {oper = "[", description = "LEFT SQUARE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 89 , Operator {oper = "\\", description = "REVERSE SOLIDUS", form = FInfix, priority = 650, lspace = 0, rspace = 0, properties = []} 90 , Operator {oper = "]", description = "RIGHT SQUARE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 91 , Operator {oper = "^", description = "CIRCUMFLEX ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 92 , Operator {oper = "^", description = "CIRCUMFLEX ACCENT", form = FInfix, priority = 780, lspace = 1, rspace = 1, properties = []} 93 , Operator {oper = "_", description = "LOW LINE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 94 , Operator {oper = "_", description = "LOW LINE", form = FInfix, priority = 900, lspace = 1, rspace = 1, properties = []} 95 , Operator {oper = "`", description = "GRAVE ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 96 , Operator {oper = "{", description = "LEFT CURLY BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 97 , Operator {oper = "|", description = "VERTICAL LINE", form = FInfix, priority = 270, lspace = 2, rspace = 2, properties = ["stretchy","symmetric","fence"]} 98 , Operator {oper = "|", description = "VERTICAL LINE", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 99 , Operator {oper = "|", description = "VERTICAL LINE", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 100 , Operator {oper = "||", description = "MULTIPLE CHARACTER OPERATOR: ||", form = FInfix, priority = 270, lspace = 2, rspace = 2, properties = ["stretchy","symmetric","fence"]} 101 , Operator {oper = "||", description = "MULTIPLE CHARACTER OPERATOR: ||", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 102 , Operator {oper = "||", description = "MULTIPLE CHARACTER OPERATOR: ||", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 103 , Operator {oper = "|||", description = "MULTIPLE CHARACTER OPERATOR: |||", form = FInfix, priority = 270, lspace = 2, rspace = 2, properties = ["stretchy","symmetric","fence"]} 104 , Operator {oper = "|||", description = "MULTIPLE CHARACTER OPERATOR: |||", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 105 , Operator {oper = "|||", description = "MULTIPLE CHARACTER OPERATOR: |||", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy"]} 106 , Operator {oper = "}", description = "RIGHT CURLY BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 107 , Operator {oper = "~", description = "TILDE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 108 , Operator {oper = "\168", description = "DIAERESIS", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 109 , Operator {oper = "\170", description = "FEMININE ORDINAL INDICATOR", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 110 , Operator {oper = "\172", description = "NOT SIGN", form = FPrefix, priority = 680, lspace = 2, rspace = 1, properties = []} 111 , Operator {oper = "\175", description = "MACRON", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 112 , Operator {oper = "\176", description = "DEGREE SIGN", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = []} 113 , Operator {oper = "\177", description = "PLUS-MINUS SIGN", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 114 , Operator {oper = "\177", description = "PLUS-MINUS SIGN", form = FPrefix, priority = 275, lspace = 0, rspace = 1, properties = []} 115 , Operator {oper = "\178", description = "SUPERSCRIPT TWO", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 116 , Operator {oper = "\179", description = "SUPERSCRIPT THREE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 117 , Operator {oper = "\180", description = "ACUTE ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 118 , Operator {oper = "\183", description = "MIDDLE DOT", form = FInfix, priority = 400, lspace = 4, rspace = 4, properties = []} 119 , Operator {oper = "\184", description = "CEDILLA", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 120 , Operator {oper = "\185", description = "SUPERSCRIPT ONE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 121 , Operator {oper = "\186", description = "MASCULINE ORDINAL INDICATOR", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 122 , Operator {oper = "\215", description = "MULTIPLICATION SIGN", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 123 , Operator {oper = "\247", description = "DIVISION SIGN", form = FInfix, priority = 660, lspace = 4, rspace = 4, properties = []} 124 , Operator {oper = "\710", description = "MODIFIER LETTER CIRCUMFLEX ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 125 , Operator {oper = "\711", description = "CARON", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 126 , Operator {oper = "\713", description = "MODIFIER LETTER MACRON", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 127 , Operator {oper = "\714", description = "MODIFIER LETTER ACUTE ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 128 , Operator {oper = "\715", description = "MODIFIER LETTER GRAVE ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 129 , Operator {oper = "\717", description = "MODIFIER LETTER LOW MACRON", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 130 , Operator {oper = "\728", description = "BREVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 131 , Operator {oper = "\729", description = "DOT ABOVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 132 , Operator {oper = "\730", description = "RING ABOVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 133 , Operator {oper = "\732", description = "SMALL TILDE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 134 , Operator {oper = "\733", description = "DOUBLE ACUTE ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 135 , Operator {oper = "\759", description = "MODIFIER LETTER LOW TILDE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 136 , Operator {oper = "\770", description = "COMBINING CIRCUMFLEX ACCENT", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 137 , Operator {oper = "\785", description = "COMBINING INVERTED BREVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 138 , Operator {oper = "\1014", description = "GREEK REVERSED LUNATE EPSILON SYMBOL", form = FInfix, priority = 110, lspace = 5, rspace = 5, properties = []} 139 , Operator {oper = "\8214", description = "DOUBLE VERTICAL LINE", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["fence","stretchy"]} 140 , Operator {oper = "\8214", description = "DOUBLE VERTICAL LINE", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["fence","stretchy"]} 141 , Operator {oper = "\8216", description = "LEFT SINGLE QUOTATION MARK", form = FPrefix, priority = 10, lspace = 0, rspace = 0, properties = ["fence","mirrorable"]} 142 , Operator {oper = "\8217", description = "RIGHT SINGLE QUOTATION MARK", form = FPostfix, priority = 10, lspace = 0, rspace = 0, properties = ["fence","mirrorable"]} 143 , Operator {oper = "\8218", description = "SINGLE LOW-9 QUOTATION MARK", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","mirrorable"]} 144 , Operator {oper = "\8219", description = "SINGLE HIGH-REVERSED-9 QUOTATION MARK", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","mirrorable"]} 145 , Operator {oper = "\8220", description = "LEFT DOUBLE QUOTATION MARK", form = FPrefix, priority = 10, lspace = 0, rspace = 0, properties = ["fence","mirrorable"]} 146 , Operator {oper = "\8221", description = "RIGHT DOUBLE QUOTATION MARK", form = FPostfix, priority = 10, lspace = 0, rspace = 0, properties = ["fence","mirrorable"]} 147 , Operator {oper = "\8222", description = "DOUBLE LOW-9 QUOTATION MARK", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","mirrorable"]} 148 , Operator {oper = "\8223", description = "DOUBLE HIGH-REVERSED-9 QUOTATION MARK", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","mirrorable"]} 149 , Operator {oper = "\8226", description = "BULLET", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 150 , Operator {oper = "\8230", description = "HORIZONTAL ELLIPSIS", form = FInfix, priority = 150, lspace = 0, rspace = 0, properties = []} 151 , Operator {oper = "\8242", description = "PRIME", form = FPostfix, priority = 800, lspace = 0, rspace = 0, properties = []} 152 , Operator {oper = "\8243", description = "DOUBLE PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 153 , Operator {oper = "\8244", description = "TRIPLE PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 154 , Operator {oper = "\8245", description = "REVERSED PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 155 , Operator {oper = "\8246", description = "REVERSED DOUBLE PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 156 , Operator {oper = "\8247", description = "REVERSED TRIPLE PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 157 , Operator {oper = "\8254", description = "OVERLINE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 158 , Operator {oper = "\8259", description = "HYPHEN BULLET", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 159 , Operator {oper = "\8260", description = "FRACTION SLASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = ["stretchy"]} 160 , Operator {oper = "\8279", description = "QUADRUPLE PRIME", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 161 , Operator {oper = "\8289", description = "FUNCTION APPLICATION", form = FInfix, priority = 850, lspace = 0, rspace = 0, properties = []} 162 , Operator {oper = "\8290", description = "INVISIBLE TIMES", form = FInfix, priority = 390, lspace = 0, rspace = 0, properties = []} 163 , Operator {oper = "\8291", description = "INVISIBLE SEPARATOR", form = FInfix, priority = 40, lspace = 0, rspace = 0, properties = ["separator"]} 164 , Operator {oper = "\8292", description = "INVISIBLE PLUS", form = FInfix, priority = 880, lspace = 0, rspace = 0, properties = []} 165 , Operator {oper = "\8411", description = "COMBINING THREE DOTS ABOVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 166 , Operator {oper = "\8412", description = "COMBINING FOUR DOTS ABOVE", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent"]} 167 , Operator {oper = "\8517", description = "DOUBLE-STRUCK ITALIC CAPITAL D", form = FPrefix, priority = 845, lspace = 2, rspace = 1, properties = []} 168 , Operator {oper = "\8518", description = "DOUBLE-STRUCK ITALIC SMALL D", form = FPrefix, priority = 845, lspace = 2, rspace = 0, properties = []} 169 , Operator {oper = "\8592", description = "LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent","stretchy"]} 170 , Operator {oper = "\8593", description = "UPWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 171 , Operator {oper = "\8594", description = "RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 172 , Operator {oper = "\8595", description = "DOWNWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 173 , Operator {oper = "\8596", description = "LEFT RIGHT ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 174 , Operator {oper = "\8597", description = "UP DOWN ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 175 , Operator {oper = "\8598", description = "NORTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 176 , Operator {oper = "\8599", description = "NORTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 177 , Operator {oper = "\8600", description = "SOUTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 178 , Operator {oper = "\8601", description = "SOUTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 179 , Operator {oper = "\8602", description = "LEFTWARDS ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 180 , Operator {oper = "\8603", description = "RIGHTWARDS ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 181 , Operator {oper = "\8604", description = "LEFTWARDS WAVE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 182 , Operator {oper = "\8605", description = "RIGHTWARDS WAVE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 183 , Operator {oper = "\8606", description = "LEFTWARDS TWO HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 184 , Operator {oper = "\8607", description = "UPWARDS TWO HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 185 , Operator {oper = "\8608", description = "RIGHTWARDS TWO HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 186 , Operator {oper = "\8609", description = "DOWNWARDS TWO HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 187 , Operator {oper = "\8610", description = "LEFTWARDS ARROW WITH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 188 , Operator {oper = "\8611", description = "RIGHTWARDS ARROW WITH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 189 , Operator {oper = "\8612", description = "LEFTWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 190 , Operator {oper = "\8613", description = "UPWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 191 , Operator {oper = "\8614", description = "RIGHTWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 192 , Operator {oper = "\8615", description = "DOWNWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 193 , Operator {oper = "\8616", description = "UP DOWN ARROW WITH BASE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 194 , Operator {oper = "\8617", description = "LEFTWARDS ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 195 , Operator {oper = "\8618", description = "RIGHTWARDS ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 196 , Operator {oper = "\8619", description = "LEFTWARDS ARROW WITH LOOP", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 197 , Operator {oper = "\8620", description = "RIGHTWARDS ARROW WITH LOOP", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 198 , Operator {oper = "\8621", description = "LEFT RIGHT WAVE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 199 , Operator {oper = "\8622", description = "LEFT RIGHT ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 200 , Operator {oper = "\8623", description = "DOWNWARDS ZIGZAG ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 201 , Operator {oper = "\8624", description = "UPWARDS ARROW WITH TIP LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 202 , Operator {oper = "\8625", description = "UPWARDS ARROW WITH TIP RIGHTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 203 , Operator {oper = "\8626", description = "DOWNWARDS ARROW WITH TIP LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 204 , Operator {oper = "\8627", description = "DOWNWARDS ARROW WITH TIP RIGHTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 205 , Operator {oper = "\8628", description = "RIGHTWARDS ARROW WITH CORNER DOWNWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 206 , Operator {oper = "\8629", description = "DOWNWARDS ARROW WITH CORNER LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 207 , Operator {oper = "\8630", description = "ANTICLOCKWISE TOP SEMICIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 208 , Operator {oper = "\8631", description = "CLOCKWISE TOP SEMICIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 209 , Operator {oper = "\8632", description = "NORTH WEST ARROW TO LONG BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 210 , Operator {oper = "\8633", description = "LEFTWARDS ARROW TO BAR OVER RIGHTWARDS ARROW TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 211 , Operator {oper = "\8634", description = "ANTICLOCKWISE OPEN CIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 212 , Operator {oper = "\8635", description = "CLOCKWISE OPEN CIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 213 , Operator {oper = "\8636", description = "LEFTWARDS HARPOON WITH BARB UPWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 214 , Operator {oper = "\8637", description = "LEFTWARDS HARPOON WITH BARB DOWNWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 215 , Operator {oper = "\8638", description = "UPWARDS HARPOON WITH BARB RIGHTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 216 , Operator {oper = "\8639", description = "UPWARDS HARPOON WITH BARB LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 217 , Operator {oper = "\8640", description = "RIGHTWARDS HARPOON WITH BARB UPWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 218 , Operator {oper = "\8641", description = "RIGHTWARDS HARPOON WITH BARB DOWNWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 219 , Operator {oper = "\8642", description = "DOWNWARDS HARPOON WITH BARB RIGHTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 220 , Operator {oper = "\8643", description = "DOWNWARDS HARPOON WITH BARB LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 221 , Operator {oper = "\8644", description = "RIGHTWARDS ARROW OVER LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 222 , Operator {oper = "\8645", description = "UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 223 , Operator {oper = "\8646", description = "LEFTWARDS ARROW OVER RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 224 , Operator {oper = "\8647", description = "LEFTWARDS PAIRED ARROWS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 225 , Operator {oper = "\8648", description = "UPWARDS PAIRED ARROWS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 226 , Operator {oper = "\8649", description = "RIGHTWARDS PAIRED ARROWS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 227 , Operator {oper = "\8650", description = "DOWNWARDS PAIRED ARROWS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 228 , Operator {oper = "\8651", description = "LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 229 , Operator {oper = "\8652", description = "RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 230 , Operator {oper = "\8653", description = "LEFTWARDS DOUBLE ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 231 , Operator {oper = "\8654", description = "LEFT RIGHT DOUBLE ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 232 , Operator {oper = "\8655", description = "RIGHTWARDS DOUBLE ARROW WITH STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 233 , Operator {oper = "\8656", description = "LEFTWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 234 , Operator {oper = "\8657", description = "UPWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 235 , Operator {oper = "\8658", description = "RIGHTWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 236 , Operator {oper = "\8659", description = "DOWNWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 237 , Operator {oper = "\8660", description = "LEFT RIGHT DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 238 , Operator {oper = "\8661", description = "UP DOWN DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 239 , Operator {oper = "\8662", description = "NORTH WEST DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 240 , Operator {oper = "\8663", description = "NORTH EAST DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 241 , Operator {oper = "\8664", description = "SOUTH EAST DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 242 , Operator {oper = "\8665", description = "SOUTH WEST DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 243 , Operator {oper = "\8666", description = "LEFTWARDS TRIPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 244 , Operator {oper = "\8667", description = "RIGHTWARDS TRIPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 245 , Operator {oper = "\8668", description = "LEFTWARDS SQUIGGLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 246 , Operator {oper = "\8669", description = "RIGHTWARDS SQUIGGLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 247 , Operator {oper = "\8670", description = "UPWARDS ARROW WITH DOUBLE STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 248 , Operator {oper = "\8671", description = "DOWNWARDS ARROW WITH DOUBLE STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 249 , Operator {oper = "\8672", description = "LEFTWARDS DASHED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 250 , Operator {oper = "\8673", description = "UPWARDS DASHED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 251 , Operator {oper = "\8674", description = "RIGHTWARDS DASHED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 252 , Operator {oper = "\8675", description = "DOWNWARDS DASHED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 253 , Operator {oper = "\8676", description = "LEFTWARDS ARROW TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 254 , Operator {oper = "\8677", description = "RIGHTWARDS ARROW TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 255 , Operator {oper = "\8678", description = "LEFTWARDS WHITE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 256 , Operator {oper = "\8679", description = "UPWARDS WHITE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 257 , Operator {oper = "\8680", description = "RIGHTWARDS WHITE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 258 , Operator {oper = "\8681", description = "DOWNWARDS WHITE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 259 , Operator {oper = "\8682", description = "UPWARDS WHITE ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 260 , Operator {oper = "\8683", description = "UPWARDS WHITE ARROW ON PEDESTAL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 261 , Operator {oper = "\8684", description = "UPWARDS WHITE ARROW ON PEDESTAL WITH HORIZONTAL BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 262 , Operator {oper = "\8685", description = "UPWARDS WHITE ARROW ON PEDESTAL WITH VERTICAL BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 263 , Operator {oper = "\8686", description = "UPWARDS WHITE DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 264 , Operator {oper = "\8687", description = "UPWARDS WHITE DOUBLE ARROW ON PEDESTAL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 265 , Operator {oper = "\8688", description = "RIGHTWARDS WHITE ARROW FROM WALL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 266 , Operator {oper = "\8689", description = "NORTH WEST ARROW TO CORNER", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 267 , Operator {oper = "\8690", description = "SOUTH EAST ARROW TO CORNER", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 268 , Operator {oper = "\8691", description = "UP DOWN WHITE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 269 , Operator {oper = "\8692", description = "RIGHT ARROW WITH SMALL CIRCLE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 270 , Operator {oper = "\8693", description = "DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 271 , Operator {oper = "\8694", description = "THREE RIGHTWARDS ARROWS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 272 , Operator {oper = "\8695", description = "LEFTWARDS ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 273 , Operator {oper = "\8696", description = "RIGHTWARDS ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 274 , Operator {oper = "\8697", description = "LEFT RIGHT ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 275 , Operator {oper = "\8698", description = "LEFTWARDS ARROW WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 276 , Operator {oper = "\8699", description = "RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 277 , Operator {oper = "\8700", description = "LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 278 , Operator {oper = "\8701", description = "LEFTWARDS OPEN-HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 279 , Operator {oper = "\8702", description = "RIGHTWARDS OPEN-HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 280 , Operator {oper = "\8703", description = "LEFT RIGHT OPEN-HEADED ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 281 , Operator {oper = "\8704", description = "FOR ALL", form = FPrefix, priority = 230, lspace = 2, rspace = 1, properties = []} 282 , Operator {oper = "\8705", description = "COMPLEMENT", form = FInfix, priority = 240, lspace = 1, rspace = 2, properties = []} 283 , Operator {oper = "\8706", description = "PARTIAL DIFFERENTIAL", form = FPrefix, priority = 740, lspace = 2, rspace = 1, properties = []} 284 , Operator {oper = "\8707", description = "THERE EXISTS", form = FPrefix, priority = 230, lspace = 2, rspace = 1, properties = []} 285 , Operator {oper = "\8708", description = "THERE DOES NOT EXIST", form = FPrefix, priority = 230, lspace = 2, rspace = 1, properties = []} 286 , Operator {oper = "\8710", description = "INCREMENT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 287 , Operator {oper = "\8711", description = "NABLA", form = FPrefix, priority = 740, lspace = 2, rspace = 1, properties = []} 288 , Operator {oper = "\8712", description = "ELEMENT OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 289 , Operator {oper = "\8713", description = "NOT AN ELEMENT OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 290 , Operator {oper = "\8714", description = "SMALL ELEMENT OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 291 , Operator {oper = "\8715", description = "CONTAINS AS MEMBER", form = FInfix, priority = 160, lspace = 5, rspace = 5, properties = []} 292 , Operator {oper = "\8716", description = "DOES NOT CONTAIN AS MEMBER", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 293 , Operator {oper = "\8717", description = "SMALL CONTAINS AS MEMBER", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 294 , Operator {oper = "\8718", description = "END OF PROOF", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 295 , Operator {oper = "\8719", description = "N-ARY PRODUCT", form = FPrefix, priority = 350, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 296 , Operator {oper = "\8720", description = "N-ARY COPRODUCT", form = FPrefix, priority = 350, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 297 , Operator {oper = "\8721", description = "N-ARY SUMMATION", form = FPrefix, priority = 290, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 298 , Operator {oper = "\8722", description = "MINUS SIGN", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 299 , Operator {oper = "\8722", description = "MINUS SIGN", form = FPrefix, priority = 275, lspace = 0, rspace = 1, properties = []} 300 , Operator {oper = "\8723", description = "MINUS-OR-PLUS SIGN", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 301 , Operator {oper = "\8723", description = "MINUS-OR-PLUS SIGN", form = FPrefix, priority = 275, lspace = 0, rspace = 1, properties = []} 302 , Operator {oper = "\8724", description = "DOT PLUS", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 303 , Operator {oper = "\8725", description = "DIVISION SLASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = ["stretchy","mirrorable"]} 304 , Operator {oper = "\8726", description = "SET MINUS", form = FInfix, priority = 650, lspace = 4, rspace = 4, properties = []} 305 , Operator {oper = "\8727", description = "ASTERISK OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 306 , Operator {oper = "\8728", description = "RING OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 307 , Operator {oper = "\8729", description = "BULLET OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 308 , Operator {oper = "\8730", description = "SQUARE ROOT", form = FPrefix, priority = 845, lspace = 1, rspace = 1, properties = ["stretchy","mirrorable"]} 309 , Operator {oper = "\8731", description = "CUBE ROOT", form = FPrefix, priority = 845, lspace = 1, rspace = 1, properties = []} 310 , Operator {oper = "\8732", description = "FOURTH ROOT", form = FPrefix, priority = 845, lspace = 1, rspace = 1, properties = []} 311 , Operator {oper = "\8733", description = "PROPORTIONAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 312 , Operator {oper = "\8735", description = "RIGHT ANGLE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 313 , Operator {oper = "\8736", description = "ANGLE", form = FPrefix, priority = 670, lspace = 0, rspace = 0, properties = []} 314 , Operator {oper = "\8737", description = "MEASURED ANGLE", form = FPrefix, priority = 670, lspace = 0, rspace = 0, properties = []} 315 , Operator {oper = "\8738", description = "SPHERICAL ANGLE", form = FPrefix, priority = 670, lspace = 0, rspace = 0, properties = []} 316 , Operator {oper = "\8739", description = "DIVIDES", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 317 , Operator {oper = "\8740", description = "DOES NOT DIVIDE", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 318 , Operator {oper = "\8741", description = "PARALLEL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 319 , Operator {oper = "\8742", description = "NOT PARALLEL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 320 , Operator {oper = "\8743", description = "LOGICAL AND", form = FInfix, priority = 200, lspace = 4, rspace = 4, properties = []} 321 , Operator {oper = "\8744", description = "LOGICAL OR", form = FInfix, priority = 190, lspace = 4, rspace = 4, properties = []} 322 , Operator {oper = "\8745", description = "INTERSECTION", form = FInfix, priority = 350, lspace = 4, rspace = 4, properties = []} 323 , Operator {oper = "\8746", description = "UNION", form = FInfix, priority = 350, lspace = 4, rspace = 4, properties = []} 324 , Operator {oper = "\8747", description = "INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 325 , Operator {oper = "\8748", description = "DOUBLE INTEGRAL", form = FPrefix, priority = 300, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 326 , Operator {oper = "\8749", description = "TRIPLE INTEGRAL", form = FPrefix, priority = 300, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 327 , Operator {oper = "\8750", description = "CONTOUR INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 328 , Operator {oper = "\8751", description = "SURFACE INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 329 , Operator {oper = "\8752", description = "VOLUME INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 330 , Operator {oper = "\8753", description = "CLOCKWISE INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 331 , Operator {oper = "\8754", description = "CLOCKWISE CONTOUR INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 332 , Operator {oper = "\8755", description = "ANTICLOCKWISE CONTOUR INTEGRAL", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 333 , Operator {oper = "\8756", description = "THEREFORE", form = FInfix, priority = 70, lspace = 5, rspace = 5, properties = []} 334 , Operator {oper = "\8757", description = "BECAUSE", form = FInfix, priority = 70, lspace = 5, rspace = 5, properties = []} 335 , Operator {oper = "\8758", description = "RATIO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 336 , Operator {oper = "\8759", description = "PROPORTION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 337 , Operator {oper = "\8760", description = "DOT MINUS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 338 , Operator {oper = "\8761", description = "EXCESS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 339 , Operator {oper = "\8762", description = "GEOMETRIC PROPORTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 340 , Operator {oper = "\8763", description = "HOMOTHETIC", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 341 , Operator {oper = "\8764", description = "TILDE OPERATOR", form = FInfix, priority = 250, lspace = 5, rspace = 5, properties = []} 342 , Operator {oper = "\8765", description = "REVERSED TILDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 343 , Operator {oper = "\8765\817", description = "REVERSED TILDE with underline", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 344 , Operator {oper = "\8766", description = "INVERTED LAZY S", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 345 , Operator {oper = "\8767", description = "SINE WAVE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 346 , Operator {oper = "\8768", description = "WREATH PRODUCT", form = FInfix, priority = 340, lspace = 4, rspace = 4, properties = []} 347 , Operator {oper = "\8769", description = "NOT TILDE", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 348 , Operator {oper = "\8770", description = "MINUS TILDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 349 , Operator {oper = "\8770\824", description = "MINUS TILDE with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 350 , Operator {oper = "\8771", description = "ASYMPTOTICALLY EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 351 , Operator {oper = "\8772", description = "NOT ASYMPTOTICALLY EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 352 , Operator {oper = "\8773", description = "APPROXIMATELY EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 353 , Operator {oper = "\8774", description = "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 354 , Operator {oper = "\8775", description = "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 355 , Operator {oper = "\8776", description = "ALMOST EQUAL TO", form = FInfix, priority = 247, lspace = 5, rspace = 5, properties = []} 356 , Operator {oper = "\8777", description = "NOT ALMOST EQUAL TO", form = FInfix, priority = 250, lspace = 5, rspace = 5, properties = []} 357 , Operator {oper = "\8778", description = "ALMOST EQUAL OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 358 , Operator {oper = "\8779", description = "TRIPLE TILDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 359 , Operator {oper = "\8780", description = "ALL EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 360 , Operator {oper = "\8781", description = "EQUIVALENT TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 361 , Operator {oper = "\8782", description = "GEOMETRICALLY EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 362 , Operator {oper = "\8782\824", description = "GEOMETRICALLY EQUIVALENT TO with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 363 , Operator {oper = "\8783", description = "DIFFERENCE BETWEEN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 364 , Operator {oper = "\8783\824", description = "DIFFERENCE BETWEEN with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 365 , Operator {oper = "\8784", description = "APPROACHES THE LIMIT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 366 , Operator {oper = "\8785", description = "GEOMETRICALLY EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 367 , Operator {oper = "\8786", description = "APPROXIMATELY EQUAL TO OR THE IMAGE OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 368 , Operator {oper = "\8787", description = "IMAGE OF OR APPROXIMATELY EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 369 , Operator {oper = "\8788", description = "COLON EQUALS", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 370 , Operator {oper = "\8789", description = "EQUALS COLON", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 371 , Operator {oper = "\8790", description = "RING IN EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 372 , Operator {oper = "\8791", description = "RING EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 373 , Operator {oper = "\8792", description = "CORRESPONDS TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 374 , Operator {oper = "\8793", description = "ESTIMATES", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 375 , Operator {oper = "\8794", description = "EQUIANGULAR TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 376 , Operator {oper = "\8795", description = "STAR EQUALS", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 377 , Operator {oper = "\8796", description = "DELTA EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 378 , Operator {oper = "\8797", description = "EQUAL TO BY DEFINITION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 379 , Operator {oper = "\8798", description = "MEASURED BY", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 380 , Operator {oper = "\8799", description = "QUESTIONED EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 381 , Operator {oper = "\8800", description = "NOT EQUAL TO", form = FInfix, priority = 255, lspace = 5, rspace = 5, properties = []} 382 , Operator {oper = "\8801", description = "IDENTICAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 383 , Operator {oper = "\8802", description = "NOT IDENTICAL TO", form = FInfix, priority = 252, lspace = 5, rspace = 5, properties = []} 384 , Operator {oper = "\8803", description = "STRICTLY EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 385 , Operator {oper = "\8804", description = "LESS-THAN OR EQUAL TO", form = FInfix, priority = 241, lspace = 5, rspace = 5, properties = []} 386 , Operator {oper = "\8805", description = "GREATER-THAN OR EQUAL TO", form = FInfix, priority = 242, lspace = 5, rspace = 5, properties = []} 387 , Operator {oper = "\8806", description = "LESS-THAN OVER EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 388 , Operator {oper = "\8806\824", description = "LESS-THAN OVER EQUAL TO with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 389 , Operator {oper = "\8807", description = "GREATER-THAN OVER EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 390 , Operator {oper = "\8808", description = "LESS-THAN BUT NOT EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 391 , Operator {oper = "\8809", description = "GREATER-THAN BUT NOT EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 392 , Operator {oper = "\8810", description = "MUCH LESS-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 393 , Operator {oper = "\8810\824", description = "MUCH LESS THAN with slash", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 394 , Operator {oper = "\8811", description = "MUCH GREATER-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 395 , Operator {oper = "\8811\824", description = "MUCH GREATER THAN with slash", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 396 , Operator {oper = "\8812", description = "BETWEEN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 397 , Operator {oper = "\8813", description = "NOT EQUIVALENT TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 398 , Operator {oper = "\8814", description = "NOT LESS-THAN", form = FInfix, priority = 246, lspace = 5, rspace = 5, properties = []} 399 , Operator {oper = "\8815", description = "NOT GREATER-THAN", form = FInfix, priority = 244, lspace = 5, rspace = 5, properties = []} 400 , Operator {oper = "\8816", description = "NEITHER LESS-THAN NOR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 401 , Operator {oper = "\8817", description = "NEITHER GREATER-THAN NOR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 402 , Operator {oper = "\8818", description = "LESS-THAN OR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 403 , Operator {oper = "\8819", description = "GREATER-THAN OR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 404 , Operator {oper = "\8820", description = "NEITHER LESS-THAN NOR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 405 , Operator {oper = "\8821", description = "NEITHER GREATER-THAN NOR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 406 , Operator {oper = "\8822", description = "LESS-THAN OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 407 , Operator {oper = "\8823", description = "GREATER-THAN OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 408 , Operator {oper = "\8824", description = "NEITHER LESS-THAN NOR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 409 , Operator {oper = "\8825", description = "NEITHER GREATER-THAN NOR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 410 , Operator {oper = "\8826", description = "PRECEDES", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 411 , Operator {oper = "\8827", description = "SUCCEEDS", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 412 , Operator {oper = "\8828", description = "PRECEDES OR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 413 , Operator {oper = "\8829", description = "SUCCEEDS OR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 414 , Operator {oper = "\8830", description = "PRECEDES OR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 415 , Operator {oper = "\8831", description = "SUCCEEDS OR EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 416 , Operator {oper = "\8831\824", description = "SUCCEEDS OR EQUIVALENT TO with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 417 , Operator {oper = "\8832", description = "DOES NOT PRECEDE", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 418 , Operator {oper = "\8833", description = "DOES NOT SUCCEED", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 419 , Operator {oper = "\8834", description = "SUBSET OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 420 , Operator {oper = "\8834\8402", description = "SUBSET OF with vertical line", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 421 , Operator {oper = "\8835", description = "SUPERSET OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 422 , Operator {oper = "\8835\8402", description = "SUPERSET OF with vertical line", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 423 , Operator {oper = "\8836", description = "NOT A SUBSET OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 424 , Operator {oper = "\8837", description = "NOT A SUPERSET OF", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 425 , Operator {oper = "\8838", description = "SUBSET OF OR EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 426 , Operator {oper = "\8839", description = "SUPERSET OF OR EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 427 , Operator {oper = "\8840", description = "NEITHER A SUBSET OF NOR EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 428 , Operator {oper = "\8841", description = "NEITHER A SUPERSET OF NOR EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 429 , Operator {oper = "\8842", description = "SUBSET OF WITH NOT EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 430 , Operator {oper = "\8843", description = "SUPERSET OF WITH NOT EQUAL TO", form = FInfix, priority = 240, lspace = 5, rspace = 5, properties = []} 431 , Operator {oper = "\8844", description = "MULTISET", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 432 , Operator {oper = "\8845", description = "MULTISET MULTIPLICATION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 433 , Operator {oper = "\8846", description = "MULTISET UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 434 , Operator {oper = "\8847", description = "SQUARE IMAGE OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 435 , Operator {oper = "\8847\824", description = "SQUARE IMAGE OF with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 436 , Operator {oper = "\8848", description = "SQUARE ORIGINAL OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 437 , Operator {oper = "\8848\824", description = "SQUARE ORIGINAL OF with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 438 , Operator {oper = "\8849", description = "SQUARE IMAGE OF OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 439 , Operator {oper = "\8850", description = "SQUARE ORIGINAL OF OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 440 , Operator {oper = "\8851", description = "SQUARE CAP", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 441 , Operator {oper = "\8852", description = "SQUARE CUP", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 442 , Operator {oper = "\8853", description = "CIRCLED PLUS", form = FInfix, priority = 300, lspace = 4, rspace = 4, properties = []} 443 , Operator {oper = "\8854", description = "CIRCLED MINUS", form = FInfix, priority = 300, lspace = 4, rspace = 4, properties = []} 444 , Operator {oper = "\8855", description = "CIRCLED TIMES", form = FInfix, priority = 410, lspace = 4, rspace = 4, properties = []} 445 , Operator {oper = "\8856", description = "CIRCLED DIVISION SLASH", form = FInfix, priority = 300, lspace = 4, rspace = 4, properties = []} 446 , Operator {oper = "\8857", description = "CIRCLED DOT OPERATOR", form = FInfix, priority = 710, lspace = 4, rspace = 4, properties = []} 447 , Operator {oper = "\8858", description = "CIRCLED RING OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 448 , Operator {oper = "\8859", description = "CIRCLED ASTERISK OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 449 , Operator {oper = "\8860", description = "CIRCLED EQUALS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 450 , Operator {oper = "\8861", description = "CIRCLED DASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 451 , Operator {oper = "\8862", description = "SQUARED PLUS", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 452 , Operator {oper = "\8863", description = "SQUARED MINUS", form = FInfix, priority = 275, lspace = 4, rspace = 4, properties = []} 453 , Operator {oper = "\8864", description = "SQUARED TIMES", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 454 , Operator {oper = "\8865", description = "SQUARED DOT OPERATOR", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 455 , Operator {oper = "\8866", description = "RIGHT TACK", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 456 , Operator {oper = "\8867", description = "LEFT TACK", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 457 , Operator {oper = "\8868", description = "DOWN TACK", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 458 , Operator {oper = "\8869", description = "UP TACK", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 459 , Operator {oper = "\8870", description = "ASSERTION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 460 , Operator {oper = "\8871", description = "MODELS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 461 , Operator {oper = "\8872", description = "TRUE", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 462 , Operator {oper = "\8873", description = "FORCES", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 463 , Operator {oper = "\8874", description = "TRIPLE VERTICAL BAR RIGHT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 464 , Operator {oper = "\8875", description = "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 465 , Operator {oper = "\8876", description = "DOES NOT PROVE", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 466 , Operator {oper = "\8877", description = "NOT TRUE", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 467 , Operator {oper = "\8878", description = "DOES NOT FORCE", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 468 , Operator {oper = "\8879", description = "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE", form = FInfix, priority = 170, lspace = 5, rspace = 5, properties = []} 469 , Operator {oper = "\8880", description = "PRECEDES UNDER RELATION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 470 , Operator {oper = "\8881", description = "SUCCEEDS UNDER RELATION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 471 , Operator {oper = "\8882", description = "NORMAL SUBGROUP OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 472 , Operator {oper = "\8883", description = "CONTAINS AS NORMAL SUBGROUP", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 473 , Operator {oper = "\8884", description = "NORMAL SUBGROUP OF OR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 474 , Operator {oper = "\8885", description = "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 475 , Operator {oper = "\8886", description = "ORIGINAL OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 476 , Operator {oper = "\8887", description = "IMAGE OF", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 477 , Operator {oper = "\8888", description = "MULTIMAP", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 478 , Operator {oper = "\8889", description = "HERMITIAN CONJUGATE MATRIX", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 479 , Operator {oper = "\8890", description = "INTERCALATE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 480 , Operator {oper = "\8891", description = "XOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 481 , Operator {oper = "\8892", description = "NAND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 482 , Operator {oper = "\8893", description = "NOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 483 , Operator {oper = "\8894", description = "RIGHT ANGLE WITH ARC", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 484 , Operator {oper = "\8895", description = "RIGHT TRIANGLE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 485 , Operator {oper = "\8896", description = "N-ARY LOGICAL AND", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 486 , Operator {oper = "\8897", description = "N-ARY LOGICAL OR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 487 , Operator {oper = "\8898", description = "N-ARY INTERSECTION", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 488 , Operator {oper = "\8899", description = "N-ARY UNION", form = FPrefix, priority = 320, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 489 , Operator {oper = "\8900", description = "DIAMOND OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 490 , Operator {oper = "\8901", description = "DOT OPERATOR", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 491 , Operator {oper = "\8902", description = "STAR OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 492 , Operator {oper = "\8903", description = "DIVISION TIMES", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 493 , Operator {oper = "\8904", description = "BOWTIE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 494 , Operator {oper = "\8905", description = "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 495 , Operator {oper = "\8906", description = "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 496 , Operator {oper = "\8907", description = "LEFT SEMIDIRECT PRODUCT", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 497 , Operator {oper = "\8908", description = "RIGHT SEMIDIRECT PRODUCT", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 498 , Operator {oper = "\8909", description = "REVERSED TILDE EQUALS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 499 , Operator {oper = "\8910", description = "CURLY LOGICAL OR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 500 , Operator {oper = "\8911", description = "CURLY LOGICAL AND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 501 , Operator {oper = "\8912", description = "DOUBLE SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 502 , Operator {oper = "\8913", description = "DOUBLE SUPERSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 503 , Operator {oper = "\8914", description = "DOUBLE INTERSECTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 504 , Operator {oper = "\8915", description = "DOUBLE UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 505 , Operator {oper = "\8916", description = "PITCHFORK", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 506 , Operator {oper = "\8917", description = "EQUAL AND PARALLEL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 507 , Operator {oper = "\8918", description = "LESS-THAN WITH DOT", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 508 , Operator {oper = "\8919", description = "GREATER-THAN WITH DOT", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 509 , Operator {oper = "\8920", description = "VERY MUCH LESS-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 510 , Operator {oper = "\8921", description = "VERY MUCH GREATER-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 511 , Operator {oper = "\8922", description = "LESS-THAN EQUAL TO OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 512 , Operator {oper = "\8923", description = "GREATER-THAN EQUAL TO OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 513 , Operator {oper = "\8924", description = "EQUAL TO OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 514 , Operator {oper = "\8925", description = "EQUAL TO OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 515 , Operator {oper = "\8926", description = "EQUAL TO OR PRECEDES", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 516 , Operator {oper = "\8927", description = "EQUAL TO OR SUCCEEDS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 517 , Operator {oper = "\8928", description = "DOES NOT PRECEDE OR EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 518 , Operator {oper = "\8929", description = "DOES NOT SUCCEED OR EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 519 , Operator {oper = "\8930", description = "NOT SQUARE IMAGE OF OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 520 , Operator {oper = "\8931", description = "NOT SQUARE ORIGINAL OF OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 521 , Operator {oper = "\8932", description = "SQUARE IMAGE OF OR NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 522 , Operator {oper = "\8933", description = "SQUARE ORIGINAL OF OR NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 523 , Operator {oper = "\8934", description = "LESS-THAN BUT NOT EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 524 , Operator {oper = "\8935", description = "GREATER-THAN BUT NOT EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 525 , Operator {oper = "\8936", description = "PRECEDES BUT NOT EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 526 , Operator {oper = "\8937", description = "SUCCEEDS BUT NOT EQUIVALENT TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 527 , Operator {oper = "\8938", description = "NOT NORMAL SUBGROUP OF", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 528 , Operator {oper = "\8939", description = "DOES NOT CONTAIN AS NORMAL SUBGROUP", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 529 , Operator {oper = "\8940", description = "NOT NORMAL SUBGROUP OF OR EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 530 , Operator {oper = "\8941", description = "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 531 , Operator {oper = "\8942", description = "VERTICAL ELLIPSIS", form = FInfix, priority = 150, lspace = 5, rspace = 5, properties = []} 532 , Operator {oper = "\8943", description = "MIDLINE HORIZONTAL ELLIPSIS", form = FInfix, priority = 150, lspace = 0, rspace = 0, properties = []} 533 , Operator {oper = "\8944", description = "UP RIGHT DIAGONAL ELLIPSIS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 534 , Operator {oper = "\8945", description = "DOWN RIGHT DIAGONAL ELLIPSIS", form = FInfix, priority = 150, lspace = 5, rspace = 5, properties = []} 535 , Operator {oper = "\8946", description = "ELEMENT OF WITH LONG HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 536 , Operator {oper = "\8947", description = "ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 537 , Operator {oper = "\8948", description = "SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 538 , Operator {oper = "\8949", description = "ELEMENT OF WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 539 , Operator {oper = "\8950", description = "ELEMENT OF WITH OVERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 540 , Operator {oper = "\8951", description = "SMALL ELEMENT OF WITH OVERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 541 , Operator {oper = "\8952", description = "ELEMENT OF WITH UNDERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 542 , Operator {oper = "\8953", description = "ELEMENT OF WITH TWO HORIZONTAL STROKES", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 543 , Operator {oper = "\8954", description = "CONTAINS WITH LONG HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 544 , Operator {oper = "\8955", description = "CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 545 , Operator {oper = "\8956", description = "SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 546 , Operator {oper = "\8957", description = "CONTAINS WITH OVERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 547 , Operator {oper = "\8958", description = "SMALL CONTAINS WITH OVERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 548 , Operator {oper = "\8959", description = "Z NOTATION BAG MEMBERSHIP", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 549 , Operator {oper = "\8968", description = "LEFT CEILING", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 550 , Operator {oper = "\8969", description = "RIGHT CEILING", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 551 , Operator {oper = "\8970", description = "LEFT FLOOR", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 552 , Operator {oper = "\8971", description = "RIGHT FLOOR", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 553 , Operator {oper = "\9001", description = "LEFT-POINTING ANGLE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 554 , Operator {oper = "\9002", description = "RIGHT-POINTING ANGLE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 555 , Operator {oper = "\9140", description = "TOP SQUARE BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 556 , Operator {oper = "\9141", description = "BOTTOM SQUARE BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 557 , Operator {oper = "\9180", description = "TOP PARENTHESIS", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 558 , Operator {oper = "\9181", description = "BOTTOM PARENTHESIS", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 559 , Operator {oper = "\9182", description = "TOP CURLY BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 560 , Operator {oper = "\9183", description = "BOTTOM CURLY BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 561 , Operator {oper = "\9184", description = "TOP TORTOISE SHELL BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 562 , Operator {oper = "\9185", description = "BOTTOM TORTOISE SHELL BRACKET", form = FPostfix, priority = 880, lspace = 0, rspace = 0, properties = ["accent","stretchy"]} 563 , Operator {oper = "\9632", description = "BLACK SQUARE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 564 , Operator {oper = "\9633", description = "WHITE SQUARE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 565 , Operator {oper = "\9642", description = "BLACK SMALL SQUARE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 566 , Operator {oper = "\9643", description = "WHITE SMALL SQUARE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 567 , Operator {oper = "\9645", description = "WHITE RECTANGLE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 568 , Operator {oper = "\9646", description = "BLACK VERTICAL RECTANGLE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 569 , Operator {oper = "\9647", description = "WHITE VERTICAL RECTANGLE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 570 , Operator {oper = "\9648", description = "BLACK PARALLELOGRAM", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 571 , Operator {oper = "\9649", description = "WHITE PARALLELOGRAM", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 572 , Operator {oper = "\9650", description = "BLACK UP-POINTING TRIANGLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 573 , Operator {oper = "\9651", description = "WHITE UP-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 574 , Operator {oper = "\9652", description = "BLACK UP-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 575 , Operator {oper = "\9653", description = "WHITE UP-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 576 , Operator {oper = "\9654", description = "BLACK RIGHT-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 577 , Operator {oper = "\9655", description = "WHITE RIGHT-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 578 , Operator {oper = "\9656", description = "BLACK RIGHT-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 579 , Operator {oper = "\9657", description = "WHITE RIGHT-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 580 , Operator {oper = "\9660", description = "BLACK DOWN-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 581 , Operator {oper = "\9661", description = "WHITE DOWN-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 582 , Operator {oper = "\9662", description = "BLACK DOWN-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 583 , Operator {oper = "\9663", description = "WHITE DOWN-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 584 , Operator {oper = "\9664", description = "BLACK LEFT-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 585 , Operator {oper = "\9665", description = "WHITE LEFT-POINTING TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 586 , Operator {oper = "\9666", description = "BLACK LEFT-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 587 , Operator {oper = "\9667", description = "WHITE LEFT-POINTING SMALL TRIANGLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 588 , Operator {oper = "\9668", description = "BLACK LEFT-POINTING POINTER", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 589 , Operator {oper = "\9669", description = "WHITE LEFT-POINTING POINTER", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 590 , Operator {oper = "\9670", description = "BLACK DIAMOND", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 591 , Operator {oper = "\9671", description = "WHITE DIAMOND", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 592 , Operator {oper = "\9672", description = "WHITE DIAMOND CONTAINING BLACK SMALL DIAMOND", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 593 , Operator {oper = "\9673", description = "FISHEYE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 594 , Operator {oper = "\9676", description = "DOTTED CIRCLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 595 , Operator {oper = "\9677", description = "CIRCLE WITH VERTICAL FILL", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 596 , Operator {oper = "\9678", description = "BULLSEYE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 597 , Operator {oper = "\9679", description = "BLACK CIRCLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 598 , Operator {oper = "\9686", description = "LEFT HALF BLACK CIRCLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 599 , Operator {oper = "\9687", description = "RIGHT HALF BLACK CIRCLE", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 600 , Operator {oper = "\9702", description = "WHITE BULLET", form = FInfix, priority = 260, lspace = 4, rspace = 4, properties = []} 601 , Operator {oper = "\9837", description = "MUSIC FLAT SIGN", form = FPostfix, priority = 800, lspace = 0, rspace = 2, properties = []} 602 , Operator {oper = "\9838", description = "MUSIC NATURAL SIGN", form = FPostfix, priority = 800, lspace = 0, rspace = 2, properties = []} 603 , Operator {oper = "\9839", description = "MUSIC SHARP SIGN", form = FPostfix, priority = 800, lspace = 0, rspace = 2, properties = []} 604 , Operator {oper = "\10072", description = "LIGHT VERTICAL BAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 605 , Operator {oper = "\10098", description = "LIGHT LEFT TORTOISE SHELL BRACKET ORNAMENT", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 606 , Operator {oper = "\10099", description = "LIGHT RIGHT TORTOISE SHELL BRACKET ORNAMENT", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 607 , Operator {oper = "\10214", description = "MATHEMATICAL LEFT WHITE SQUARE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 608 , Operator {oper = "\10215", description = "MATHEMATICAL RIGHT WHITE SQUARE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 609 , Operator {oper = "\10216", description = "MATHEMATICAL LEFT ANGLE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 610 , Operator {oper = "\10217", description = "MATHEMATICAL RIGHT ANGLE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 611 , Operator {oper = "\10218", description = "MATHEMATICAL LEFT DOUBLE ANGLE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 612 , Operator {oper = "\10219", description = "MATHEMATICAL RIGHT DOUBLE ANGLE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 613 , Operator {oper = "\10220", description = "MATHEMATICAL LEFT WHITE TORTOISE SHELL BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 614 , Operator {oper = "\10221", description = "MATHEMATICAL RIGHT WHITE TORTOISE SHELL BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 615 , Operator {oper = "\10222", description = "MATHEMATICAL LEFT FLATTENED PARENTHESIS", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 616 , Operator {oper = "\10223", description = "MATHEMATICAL RIGHT FLATTENED PARENTHESIS", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 617 , Operator {oper = "\10224", description = "UPWARDS QUADRUPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 618 , Operator {oper = "\10225", description = "DOWNWARDS QUADRUPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 619 , Operator {oper = "\10229", description = "LONG LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 620 , Operator {oper = "\10230", description = "LONG RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 621 , Operator {oper = "\10231", description = "LONG LEFT RIGHT ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 622 , Operator {oper = "\10232", description = "LONG LEFTWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 623 , Operator {oper = "\10233", description = "LONG RIGHTWARDS DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 624 , Operator {oper = "\10234", description = "LONG LEFT RIGHT DOUBLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 625 , Operator {oper = "\10235", description = "LONG LEFTWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 626 , Operator {oper = "\10236", description = "LONG RIGHTWARDS ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 627 , Operator {oper = "\10237", description = "LONG LEFTWARDS DOUBLE ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 628 , Operator {oper = "\10238", description = "LONG RIGHTWARDS DOUBLE ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 629 , Operator {oper = "\10239", description = "LONG RIGHTWARDS SQUIGGLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 630 , Operator {oper = "\10496", description = "RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 631 , Operator {oper = "\10497", description = "RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 632 , Operator {oper = "\10498", description = "LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 633 , Operator {oper = "\10499", description = "RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 634 , Operator {oper = "\10500", description = "LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 635 , Operator {oper = "\10501", description = "RIGHTWARDS TWO-HEADED ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 636 , Operator {oper = "\10502", description = "LEFTWARDS DOUBLE ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 637 , Operator {oper = "\10503", description = "RIGHTWARDS DOUBLE ARROW FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 638 , Operator {oper = "\10504", description = "DOWNWARDS ARROW WITH HORIZONTAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 639 , Operator {oper = "\10505", description = "UPWARDS ARROW WITH HORIZONTAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 640 , Operator {oper = "\10506", description = "UPWARDS TRIPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 641 , Operator {oper = "\10507", description = "DOWNWARDS TRIPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 642 , Operator {oper = "\10508", description = "LEFTWARDS DOUBLE DASH ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 643 , Operator {oper = "\10509", description = "RIGHTWARDS DOUBLE DASH ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 644 , Operator {oper = "\10510", description = "LEFTWARDS TRIPLE DASH ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 645 , Operator {oper = "\10511", description = "RIGHTWARDS TRIPLE DASH ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 646 , Operator {oper = "\10512", description = "RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 647 , Operator {oper = "\10513", description = "RIGHTWARDS ARROW WITH DOTTED STEM", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 648 , Operator {oper = "\10514", description = "UPWARDS ARROW TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 649 , Operator {oper = "\10515", description = "DOWNWARDS ARROW TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 650 , Operator {oper = "\10516", description = "RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 651 , Operator {oper = "\10517", description = "RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 652 , Operator {oper = "\10518", description = "RIGHTWARDS TWO-HEADED ARROW WITH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 653 , Operator {oper = "\10519", description = "RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 654 , Operator {oper = "\10520", description = "RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 655 , Operator {oper = "\10521", description = "LEFTWARDS ARROW-TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 656 , Operator {oper = "\10522", description = "RIGHTWARDS ARROW-TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 657 , Operator {oper = "\10523", description = "LEFTWARDS DOUBLE ARROW-TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 658 , Operator {oper = "\10524", description = "RIGHTWARDS DOUBLE ARROW-TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 659 , Operator {oper = "\10525", description = "LEFTWARDS ARROW TO BLACK DIAMOND", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 660 , Operator {oper = "\10526", description = "RIGHTWARDS ARROW TO BLACK DIAMOND", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 661 , Operator {oper = "\10527", description = "LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 662 , Operator {oper = "\10528", description = "RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 663 , Operator {oper = "\10529", description = "NORTH WEST AND SOUTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 664 , Operator {oper = "\10530", description = "NORTH EAST AND SOUTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 665 , Operator {oper = "\10531", description = "NORTH WEST ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 666 , Operator {oper = "\10532", description = "NORTH EAST ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 667 , Operator {oper = "\10533", description = "SOUTH EAST ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 668 , Operator {oper = "\10534", description = "SOUTH WEST ARROW WITH HOOK", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 669 , Operator {oper = "\10535", description = "NORTH WEST ARROW AND NORTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 670 , Operator {oper = "\10536", description = "NORTH EAST ARROW AND SOUTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 671 , Operator {oper = "\10537", description = "SOUTH EAST ARROW AND SOUTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 672 , Operator {oper = "\10538", description = "SOUTH WEST ARROW AND NORTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 673 , Operator {oper = "\10539", description = "RISING DIAGONAL CROSSING FALLING DIAGONAL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 674 , Operator {oper = "\10540", description = "FALLING DIAGONAL CROSSING RISING DIAGONAL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 675 , Operator {oper = "\10541", description = "SOUTH EAST ARROW CROSSING NORTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 676 , Operator {oper = "\10542", description = "NORTH EAST ARROW CROSSING SOUTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 677 , Operator {oper = "\10543", description = "FALLING DIAGONAL CROSSING NORTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 678 , Operator {oper = "\10544", description = "RISING DIAGONAL CROSSING SOUTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 679 , Operator {oper = "\10545", description = "NORTH EAST ARROW CROSSING NORTH WEST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 680 , Operator {oper = "\10546", description = "NORTH WEST ARROW CROSSING NORTH EAST ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 681 , Operator {oper = "\10547", description = "WAVE ARROW POINTING DIRECTLY RIGHT", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 682 , Operator {oper = "\10548", description = "ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 683 , Operator {oper = "\10549", description = "ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 684 , Operator {oper = "\10550", description = "ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 685 , Operator {oper = "\10551", description = "ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 686 , Operator {oper = "\10552", description = "RIGHT-SIDE ARC CLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 687 , Operator {oper = "\10553", description = "LEFT-SIDE ARC ANTICLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 688 , Operator {oper = "\10554", description = "TOP ARC ANTICLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 689 , Operator {oper = "\10555", description = "BOTTOM ARC ANTICLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 690 , Operator {oper = "\10556", description = "TOP ARC CLOCKWISE ARROW WITH MINUS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 691 , Operator {oper = "\10557", description = "TOP ARC ANTICLOCKWISE ARROW WITH PLUS", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 692 , Operator {oper = "\10558", description = "LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 693 , Operator {oper = "\10559", description = "LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 694 , Operator {oper = "\10560", description = "ANTICLOCKWISE CLOSED CIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 695 , Operator {oper = "\10561", description = "CLOCKWISE CLOSED CIRCLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 696 , Operator {oper = "\10562", description = "RIGHTWARDS ARROW ABOVE SHORT LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 697 , Operator {oper = "\10563", description = "LEFTWARDS ARROW ABOVE SHORT RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 698 , Operator {oper = "\10564", description = "SHORT RIGHTWARDS ARROW ABOVE LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 699 , Operator {oper = "\10565", description = "RIGHTWARDS ARROW WITH PLUS BELOW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 700 , Operator {oper = "\10566", description = "LEFTWARDS ARROW WITH PLUS BELOW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 701 , Operator {oper = "\10567", description = "RIGHTWARDS ARROW THROUGH X", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 702 , Operator {oper = "\10568", description = "LEFT RIGHT ARROW THROUGH SMALL CIRCLE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 703 , Operator {oper = "\10569", description = "UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 704 , Operator {oper = "\10570", description = "LEFT BARB UP RIGHT BARB DOWN HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 705 , Operator {oper = "\10571", description = "LEFT BARB DOWN RIGHT BARB UP HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 706 , Operator {oper = "\10572", description = "UP BARB RIGHT DOWN BARB LEFT HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 707 , Operator {oper = "\10573", description = "UP BARB LEFT DOWN BARB RIGHT HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 708 , Operator {oper = "\10574", description = "LEFT BARB UP RIGHT BARB UP HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 709 , Operator {oper = "\10575", description = "UP BARB RIGHT DOWN BARB RIGHT HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 710 , Operator {oper = "\10576", description = "LEFT BARB DOWN RIGHT BARB DOWN HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 711 , Operator {oper = "\10577", description = "UP BARB LEFT DOWN BARB LEFT HARPOON", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 712 , Operator {oper = "\10578", description = "LEFTWARDS HARPOON WITH BARB UP TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 713 , Operator {oper = "\10579", description = "RIGHTWARDS HARPOON WITH BARB UP TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 714 , Operator {oper = "\10580", description = "UPWARDS HARPOON WITH BARB RIGHT TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 715 , Operator {oper = "\10581", description = "DOWNWARDS HARPOON WITH BARB RIGHT TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 716 , Operator {oper = "\10582", description = "LEFTWARDS HARPOON WITH BARB DOWN TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 717 , Operator {oper = "\10583", description = "RIGHTWARDS HARPOON WITH BARB DOWN TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 718 , Operator {oper = "\10584", description = "UPWARDS HARPOON WITH BARB LEFT TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 719 , Operator {oper = "\10585", description = "DOWNWARDS HARPOON WITH BARB LEFT TO BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 720 , Operator {oper = "\10586", description = "LEFTWARDS HARPOON WITH BARB UP FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 721 , Operator {oper = "\10587", description = "RIGHTWARDS HARPOON WITH BARB UP FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 722 , Operator {oper = "\10588", description = "UPWARDS HARPOON WITH BARB RIGHT FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 723 , Operator {oper = "\10589", description = "DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 724 , Operator {oper = "\10590", description = "LEFTWARDS HARPOON WITH BARB DOWN FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 725 , Operator {oper = "\10591", description = "RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy","accent"]} 726 , Operator {oper = "\10592", description = "UPWARDS HARPOON WITH BARB LEFT FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 727 , Operator {oper = "\10593", description = "DOWNWARDS HARPOON WITH BARB LEFT FROM BAR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 728 , Operator {oper = "\10594", description = "LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 729 , Operator {oper = "\10595", description = "UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 730 , Operator {oper = "\10596", description = "RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 731 , Operator {oper = "\10597", description = "DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 732 , Operator {oper = "\10598", description = "LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 733 , Operator {oper = "\10599", description = "LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 734 , Operator {oper = "\10600", description = "RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 735 , Operator {oper = "\10601", description = "RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 736 , Operator {oper = "\10602", description = "LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 737 , Operator {oper = "\10603", description = "LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 738 , Operator {oper = "\10604", description = "RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 739 , Operator {oper = "\10605", description = "RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 740 , Operator {oper = "\10606", description = "UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 741 , Operator {oper = "\10607", description = "DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 742 , Operator {oper = "\10608", description = "RIGHT DOUBLE ARROW WITH ROUNDED HEAD", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 743 , Operator {oper = "\10609", description = "EQUALS SIGN ABOVE RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 744 , Operator {oper = "\10610", description = "TILDE OPERATOR ABOVE RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 745 , Operator {oper = "\10611", description = "LEFTWARDS ARROW ABOVE TILDE OPERATOR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 746 , Operator {oper = "\10612", description = "RIGHTWARDS ARROW ABOVE TILDE OPERATOR", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 747 , Operator {oper = "\10613", description = "RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 748 , Operator {oper = "\10614", description = "LESS-THAN ABOVE LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 749 , Operator {oper = "\10615", description = "LEFTWARDS ARROW THROUGH LESS-THAN", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 750 , Operator {oper = "\10616", description = "GREATER-THAN ABOVE RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 751 , Operator {oper = "\10617", description = "SUBSET ABOVE RIGHTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 752 , Operator {oper = "\10618", description = "LEFTWARDS ARROW THROUGH SUBSET", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 753 , Operator {oper = "\10619", description = "SUPERSET ABOVE LEFTWARDS ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 754 , Operator {oper = "\10620", description = "LEFT FISH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 755 , Operator {oper = "\10621", description = "RIGHT FISH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["accent"]} 756 , Operator {oper = "\10622", description = "UP FISH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 757 , Operator {oper = "\10623", description = "DOWN FISH TAIL", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 758 , Operator {oper = "\10624", description = "TRIPLE VERTICAL BAR DELIMITER", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["fence","stretchy"]} 759 , Operator {oper = "\10624", description = "TRIPLE VERTICAL BAR DELIMITER", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["fence","stretchy"]} 760 , Operator {oper = "\10625", description = "Z NOTATION SPOT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 761 , Operator {oper = "\10626", description = "Z NOTATION TYPE COLON", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 762 , Operator {oper = "\10627", description = "LEFT WHITE CURLY BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 763 , Operator {oper = "\10628", description = "RIGHT WHITE CURLY BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 764 , Operator {oper = "\10629", description = "LEFT WHITE PARENTHESIS", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 765 , Operator {oper = "\10630", description = "RIGHT WHITE PARENTHESIS", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 766 , Operator {oper = "\10631", description = "Z NOTATION LEFT IMAGE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 767 , Operator {oper = "\10632", description = "Z NOTATION RIGHT IMAGE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 768 , Operator {oper = "\10633", description = "Z NOTATION LEFT BINDING BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 769 , Operator {oper = "\10634", description = "Z NOTATION RIGHT BINDING BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 770 , Operator {oper = "\10635", description = "LEFT SQUARE BRACKET WITH UNDERBAR", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 771 , Operator {oper = "\10636", description = "RIGHT SQUARE BRACKET WITH UNDERBAR", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 772 , Operator {oper = "\10637", description = "LEFT SQUARE BRACKET WITH TICK IN TOP CORNER", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 773 , Operator {oper = "\10638", description = "RIGHT SQUARE BRACKET WITH TICK IN BOTTOM CORNER", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 774 , Operator {oper = "\10639", description = "LEFT SQUARE BRACKET WITH TICK IN BOTTOM CORNER", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 775 , Operator {oper = "\10640", description = "RIGHT SQUARE BRACKET WITH TICK IN TOP CORNER", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 776 , Operator {oper = "\10641", description = "LEFT ANGLE BRACKET WITH DOT", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 777 , Operator {oper = "\10642", description = "RIGHT ANGLE BRACKET WITH DOT", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 778 , Operator {oper = "\10643", description = "LEFT ARC LESS-THAN BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 779 , Operator {oper = "\10644", description = "RIGHT ARC GREATER-THAN BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 780 , Operator {oper = "\10645", description = "DOUBLE LEFT ARC GREATER-THAN BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 781 , Operator {oper = "\10646", description = "DOUBLE RIGHT ARC LESS-THAN BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 782 , Operator {oper = "\10647", description = "LEFT BLACK TORTOISE SHELL BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 783 , Operator {oper = "\10648", description = "RIGHT BLACK TORTOISE SHELL BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 784 , Operator {oper = "\10649", description = "DOTTED FENCE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 785 , Operator {oper = "\10650", description = "VERTICAL ZIGZAG LINE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 786 , Operator {oper = "\10651", description = "MEASURED ANGLE OPENING LEFT", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 787 , Operator {oper = "\10652", description = "RIGHT ANGLE VARIANT WITH SQUARE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 788 , Operator {oper = "\10653", description = "MEASURED RIGHT ANGLE WITH DOT", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 789 , Operator {oper = "\10654", description = "ANGLE WITH S INSIDE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 790 , Operator {oper = "\10655", description = "ACUTE ANGLE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 791 , Operator {oper = "\10656", description = "SPHERICAL ANGLE OPENING LEFT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 792 , Operator {oper = "\10657", description = "SPHERICAL ANGLE OPENING UP", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 793 , Operator {oper = "\10658", description = "TURNED ANGLE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 794 , Operator {oper = "\10659", description = "REVERSED ANGLE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 795 , Operator {oper = "\10660", description = "ANGLE WITH UNDERBAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 796 , Operator {oper = "\10661", description = "REVERSED ANGLE WITH UNDERBAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 797 , Operator {oper = "\10662", description = "OBLIQUE ANGLE OPENING UP", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 798 , Operator {oper = "\10663", description = "OBLIQUE ANGLE OPENING DOWN", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 799 , Operator {oper = "\10664", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND RIGHT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 800 , Operator {oper = "\10665", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND LEFT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 801 , Operator {oper = "\10666", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND RIGHT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 802 , Operator {oper = "\10667", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND LEFT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 803 , Operator {oper = "\10668", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND UP", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 804 , Operator {oper = "\10669", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND UP", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 805 , Operator {oper = "\10670", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND DOWN", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 806 , Operator {oper = "\10671", description = "MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND DOWN", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 807 , Operator {oper = "\10672", description = "REVERSED EMPTY SET", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 808 , Operator {oper = "\10673", description = "EMPTY SET WITH OVERBAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 809 , Operator {oper = "\10674", description = "EMPTY SET WITH SMALL CIRCLE ABOVE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 810 , Operator {oper = "\10675", description = "EMPTY SET WITH RIGHT ARROW ABOVE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 811 , Operator {oper = "\10676", description = "EMPTY SET WITH LEFT ARROW ABOVE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 812 , Operator {oper = "\10677", description = "CIRCLE WITH HORIZONTAL BAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 813 , Operator {oper = "\10678", description = "CIRCLED VERTICAL BAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 814 , Operator {oper = "\10679", description = "CIRCLED PARALLEL", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 815 , Operator {oper = "\10680", description = "CIRCLED REVERSE SOLIDUS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 816 , Operator {oper = "\10681", description = "CIRCLED PERPENDICULAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 817 , Operator {oper = "\10682", description = "CIRCLE DIVIDED BY HORIZONTAL BAR AND TOP HALF DIVIDED BY VERTICAL BAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 818 , Operator {oper = "\10683", description = "CIRCLE WITH SUPERIMPOSED X", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 819 , Operator {oper = "\10684", description = "CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 820 , Operator {oper = "\10685", description = "UP ARROW THROUGH CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 821 , Operator {oper = "\10686", description = "CIRCLED WHITE BULLET", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 822 , Operator {oper = "\10687", description = "CIRCLED BULLET", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 823 , Operator {oper = "\10688", description = "CIRCLED LESS-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 824 , Operator {oper = "\10689", description = "CIRCLED GREATER-THAN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 825 , Operator {oper = "\10690", description = "CIRCLE WITH SMALL CIRCLE TO THE RIGHT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 826 , Operator {oper = "\10691", description = "CIRCLE WITH TWO HORIZONTAL STROKES TO THE RIGHT", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 827 , Operator {oper = "\10692", description = "SQUARED RISING DIAGONAL SLASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 828 , Operator {oper = "\10693", description = "SQUARED FALLING DIAGONAL SLASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 829 , Operator {oper = "\10694", description = "SQUARED ASTERISK", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 830 , Operator {oper = "\10695", description = "SQUARED SMALL CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 831 , Operator {oper = "\10696", description = "SQUARED SQUARE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 832 , Operator {oper = "\10697", description = "TWO JOINED SQUARES", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 833 , Operator {oper = "\10698", description = "TRIANGLE WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 834 , Operator {oper = "\10699", description = "TRIANGLE WITH UNDERBAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 835 , Operator {oper = "\10700", description = "S IN TRIANGLE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 836 , Operator {oper = "\10701", description = "TRIANGLE WITH SERIFS AT BOTTOM", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 837 , Operator {oper = "\10702", description = "RIGHT TRIANGLE ABOVE LEFT TRIANGLE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 838 , Operator {oper = "\10703", description = "LEFT TRIANGLE BESIDE VERTICAL BAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 839 , Operator {oper = "\10703\824", description = "LEFT TRIANGLE BESIDE VERTICAL BAR with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 840 , Operator {oper = "\10704", description = "VERTICAL BAR BESIDE RIGHT TRIANGLE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 841 , Operator {oper = "\10704\824", description = "VERTICAL BAR BESIDE RIGHT TRIANGLE with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 842 , Operator {oper = "\10705", description = "BOWTIE WITH LEFT HALF BLACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 843 , Operator {oper = "\10706", description = "BOWTIE WITH RIGHT HALF BLACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 844 , Operator {oper = "\10707", description = "BLACK BOWTIE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 845 , Operator {oper = "\10708", description = "TIMES WITH LEFT HALF BLACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 846 , Operator {oper = "\10709", description = "TIMES WITH RIGHT HALF BLACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 847 , Operator {oper = "\10710", description = "WHITE HOURGLASS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 848 , Operator {oper = "\10711", description = "BLACK HOURGLASS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 849 , Operator {oper = "\10712", description = "LEFT WIGGLY FENCE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 850 , Operator {oper = "\10713", description = "RIGHT WIGGLY FENCE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 851 , Operator {oper = "\10715", description = "RIGHT DOUBLE WIGGLY FENCE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 852 , Operator {oper = "\10716", description = "INCOMPLETE INFINITY", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 853 , Operator {oper = "\10717", description = "TIE OVER INFINITY", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 854 , Operator {oper = "\10718", description = "INFINITY NEGATED WITH VERTICAL BAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 855 , Operator {oper = "\10719", description = "DOUBLE-ENDED MULTIMAP", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 856 , Operator {oper = "\10720", description = "SQUARE WITH CONTOURED OUTLINE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 857 , Operator {oper = "\10721", description = "INCREASES AS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 858 , Operator {oper = "\10722", description = "SHUFFLE PRODUCT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 859 , Operator {oper = "\10723", description = "EQUALS SIGN AND SLANTED PARALLEL", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 860 , Operator {oper = "\10724", description = "EQUALS SIGN AND SLANTED PARALLEL WITH TILDE ABOVE", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 861 , Operator {oper = "\10725", description = "IDENTICAL TO AND SLANTED PARALLEL", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 862 , Operator {oper = "\10726", description = "GLEICH STARK", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 863 , Operator {oper = "\10727", description = "THERMODYNAMIC", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 864 , Operator {oper = "\10728", description = "DOWN-POINTING TRIANGLE WITH LEFT HALF BLACK", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 865 , Operator {oper = "\10729", description = "DOWN-POINTING TRIANGLE WITH RIGHT HALF BLACK", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 866 , Operator {oper = "\10730", description = "BLACK DIAMOND WITH DOWN ARROW", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 867 , Operator {oper = "\10731", description = "BLACK LOZENGE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 868 , Operator {oper = "\10732", description = "WHITE CIRCLE WITH DOWN ARROW", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 869 , Operator {oper = "\10733", description = "BLACK CIRCLE WITH DOWN ARROW", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 870 , Operator {oper = "\10734", description = "ERROR-BARRED WHITE SQUARE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 871 , Operator {oper = "\10735", description = "ERROR-BARRED BLACK SQUARE", form = FInfix, priority = 270, lspace = 3, rspace = 3, properties = []} 872 , Operator {oper = "\10736", description = "ERROR-BARRED WHITE DIAMOND", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 873 , Operator {oper = "\10737", description = "ERROR-BARRED BLACK DIAMOND", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 874 , Operator {oper = "\10738", description = "ERROR-BARRED WHITE CIRCLE", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 875 , Operator {oper = "\10739", description = "ERROR-BARRED BLACK CIRCLE", form = FInfix, priority = 260, lspace = 3, rspace = 3, properties = []} 876 , Operator {oper = "\10740", description = "RULE-DELAYED", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = []} 877 , Operator {oper = "\10741", description = "REVERSE SOLIDUS OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 878 , Operator {oper = "\10742", description = "SOLIDUS WITH OVERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 879 , Operator {oper = "\10743", description = "REVERSE SOLIDUS WITH HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 880 , Operator {oper = "\10744", description = "BIG SOLIDUS", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 881 , Operator {oper = "\10745", description = "BIG REVERSE SOLIDUS", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 882 , Operator {oper = "\10746", description = "DOUBLE PLUS", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 883 , Operator {oper = "\10747", description = "TRIPLE PLUS", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 884 , Operator {oper = "\10748", description = "LEFT-POINTING CURVED ANGLE BRACKET", form = FPrefix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 885 , Operator {oper = "\10749", description = "RIGHT-POINTING CURVED ANGLE BRACKET", form = FPostfix, priority = 20, lspace = 0, rspace = 0, properties = ["symmetric","fence","stretchy","mirrorable"]} 886 , Operator {oper = "\10750", description = "TINY", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 887 , Operator {oper = "\10751", description = "MINY", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 888 , Operator {oper = "\10752", description = "N-ARY CIRCLED DOT OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 889 , Operator {oper = "\10753", description = "N-ARY CIRCLED PLUS OPERATOR", form = FPrefix, priority = 300, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 890 , Operator {oper = "\10754", description = "N-ARY CIRCLED TIMES OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 891 , Operator {oper = "\10755", description = "N-ARY UNION OPERATOR WITH DOT", form = FPrefix, priority = 320, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 892 , Operator {oper = "\10756", description = "N-ARY UNION OPERATOR WITH PLUS", form = FPrefix, priority = 320, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 893 , Operator {oper = "\10757", description = "N-ARY SQUARE INTERSECTION OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 894 , Operator {oper = "\10758", description = "N-ARY SQUARE UNION OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 895 , Operator {oper = "\10759", description = "TWO LOGICAL AND OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 896 , Operator {oper = "\10760", description = "TWO LOGICAL OR OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 897 , Operator {oper = "\10761", description = "N-ARY TIMES OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 898 , Operator {oper = "\10762", description = "MODULO TWO SUM", form = FPrefix, priority = 290, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 899 , Operator {oper = "\10763", description = "SUMMATION WITH INTEGRAL", form = FPrefix, priority = 290, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 900 , Operator {oper = "\10764", description = "QUADRUPLE INTEGRAL OPERATOR", form = FPrefix, priority = 310, lspace = 0, rspace = 1, properties = ["symmetric","largeop","mirrorable"]} 901 , Operator {oper = "\10765", description = "FINITE PART INTEGRAL", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 902 , Operator {oper = "\10766", description = "INTEGRAL WITH DOUBLE STROKE", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 903 , Operator {oper = "\10767", description = "INTEGRAL AVERAGE WITH SLASH", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 904 , Operator {oper = "\10768", description = "CIRCULATION FUNCTION", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 905 , Operator {oper = "\10769", description = "ANTICLOCKWISE INTEGRATION", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 906 , Operator {oper = "\10770", description = "LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 907 , Operator {oper = "\10771", description = "LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 908 , Operator {oper = "\10772", description = "LINE INTEGRATION NOT INCLUDING THE POLE", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits","mirrorable"]} 909 , Operator {oper = "\10773", description = "INTEGRAL AROUND A POINT OPERATOR", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 910 , Operator {oper = "\10774", description = "QUATERNION INTEGRAL OPERATOR", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 911 , Operator {oper = "\10775", description = "INTEGRAL WITH LEFTWARDS ARROW WITH HOOK", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 912 , Operator {oper = "\10776", description = "INTEGRAL WITH TIMES SIGN", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 913 , Operator {oper = "\10777", description = "INTEGRAL WITH INTERSECTION", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 914 , Operator {oper = "\10778", description = "INTEGRAL WITH UNION", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 915 , Operator {oper = "\10779", description = "INTEGRAL WITH OVERBAR", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 916 , Operator {oper = "\10780", description = "INTEGRAL WITH UNDERBAR", form = FPrefix, priority = 310, lspace = 1, rspace = 2, properties = ["symmetric","largeop","mirrorable"]} 917 , Operator {oper = "\10781", description = "JOIN", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 918 , Operator {oper = "\10782", description = "LARGE LEFT TRIANGLE OPERATOR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 919 , Operator {oper = "\10783", description = "Z NOTATION SCHEMA COMPOSITION", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 920 , Operator {oper = "\10784", description = "Z NOTATION SCHEMA PIPING", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 921 , Operator {oper = "\10785", description = "Z NOTATION SCHEMA PROJECTION", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 922 , Operator {oper = "\10786", description = "PLUS SIGN WITH SMALL CIRCLE ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 923 , Operator {oper = "\10787", description = "PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 924 , Operator {oper = "\10788", description = "PLUS SIGN WITH TILDE ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 925 , Operator {oper = "\10789", description = "PLUS SIGN WITH DOT BELOW", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 926 , Operator {oper = "\10790", description = "PLUS SIGN WITH TILDE BELOW", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 927 , Operator {oper = "\10791", description = "PLUS SIGN WITH SUBSCRIPT TWO", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 928 , Operator {oper = "\10792", description = "PLUS SIGN WITH BLACK TRIANGLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 929 , Operator {oper = "\10793", description = "MINUS SIGN WITH COMMA ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 930 , Operator {oper = "\10794", description = "MINUS SIGN WITH DOT BELOW", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 931 , Operator {oper = "\10795", description = "MINUS SIGN WITH FALLING DOTS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 932 , Operator {oper = "\10796", description = "MINUS SIGN WITH RISING DOTS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 933 , Operator {oper = "\10797", description = "PLUS SIGN IN LEFT HALF CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 934 , Operator {oper = "\10798", description = "PLUS SIGN IN RIGHT HALF CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 935 , Operator {oper = "\10799", description = "VECTOR OR CROSS PRODUCT", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 936 , Operator {oper = "\10800", description = "MULTIPLICATION SIGN WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 937 , Operator {oper = "\10801", description = "MULTIPLICATION SIGN WITH UNDERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 938 , Operator {oper = "\10802", description = "SEMIDIRECT PRODUCT WITH BOTTOM CLOSED", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 939 , Operator {oper = "\10803", description = "SMASH PRODUCT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 940 , Operator {oper = "\10804", description = "MULTIPLICATION SIGN IN LEFT HALF CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 941 , Operator {oper = "\10805", description = "MULTIPLICATION SIGN IN RIGHT HALF CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 942 , Operator {oper = "\10806", description = "CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 943 , Operator {oper = "\10807", description = "MULTIPLICATION SIGN IN DOUBLE CIRCLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 944 , Operator {oper = "\10808", description = "CIRCLED DIVISION SIGN", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 945 , Operator {oper = "\10809", description = "PLUS SIGN IN TRIANGLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 946 , Operator {oper = "\10810", description = "MINUS SIGN IN TRIANGLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 947 , Operator {oper = "\10811", description = "MULTIPLICATION SIGN IN TRIANGLE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 948 , Operator {oper = "\10812", description = "INTERIOR PRODUCT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 949 , Operator {oper = "\10813", description = "RIGHTHAND INTERIOR PRODUCT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 950 , Operator {oper = "\10814", description = "Z NOTATION RELATIONAL COMPOSITION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 951 , Operator {oper = "\10815", description = "AMALGAMATION OR COPRODUCT", form = FInfix, priority = 390, lspace = 4, rspace = 4, properties = []} 952 , Operator {oper = "\10816", description = "INTERSECTION WITH DOT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 953 , Operator {oper = "\10817", description = "UNION WITH MINUS SIGN", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 954 , Operator {oper = "\10818", description = "UNION WITH OVERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 955 , Operator {oper = "\10819", description = "INTERSECTION WITH OVERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 956 , Operator {oper = "\10820", description = "INTERSECTION WITH LOGICAL AND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 957 , Operator {oper = "\10821", description = "UNION WITH LOGICAL OR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 958 , Operator {oper = "\10822", description = "UNION ABOVE INTERSECTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 959 , Operator {oper = "\10823", description = "INTERSECTION ABOVE UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 960 , Operator {oper = "\10824", description = "UNION ABOVE BAR ABOVE INTERSECTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 961 , Operator {oper = "\10825", description = "INTERSECTION ABOVE BAR ABOVE UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 962 , Operator {oper = "\10826", description = "UNION BESIDE AND JOINED WITH UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 963 , Operator {oper = "\10827", description = "INTERSECTION BESIDE AND JOINED WITH INTERSECTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 964 , Operator {oper = "\10828", description = "CLOSED UNION WITH SERIFS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 965 , Operator {oper = "\10829", description = "CLOSED INTERSECTION WITH SERIFS", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 966 , Operator {oper = "\10830", description = "DOUBLE SQUARE INTERSECTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 967 , Operator {oper = "\10831", description = "DOUBLE SQUARE UNION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 968 , Operator {oper = "\10832", description = "CLOSED UNION WITH SERIFS AND SMASH PRODUCT", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 969 , Operator {oper = "\10833", description = "LOGICAL AND WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 970 , Operator {oper = "\10834", description = "LOGICAL OR WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 971 , Operator {oper = "\10835", description = "DOUBLE LOGICAL AND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 972 , Operator {oper = "\10836", description = "DOUBLE LOGICAL OR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 973 , Operator {oper = "\10837", description = "TWO INTERSECTING LOGICAL AND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 974 , Operator {oper = "\10838", description = "TWO INTERSECTING LOGICAL OR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 975 , Operator {oper = "\10839", description = "SLOPING LARGE OR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 976 , Operator {oper = "\10840", description = "SLOPING LARGE AND", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 977 , Operator {oper = "\10841", description = "LOGICAL OR OVERLAPPING LOGICAL AND", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 978 , Operator {oper = "\10842", description = "LOGICAL AND WITH MIDDLE STEM", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 979 , Operator {oper = "\10843", description = "LOGICAL OR WITH MIDDLE STEM", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 980 , Operator {oper = "\10844", description = "LOGICAL AND WITH HORIZONTAL DASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 981 , Operator {oper = "\10845", description = "LOGICAL OR WITH HORIZONTAL DASH", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 982 , Operator {oper = "\10846", description = "LOGICAL AND WITH DOUBLE OVERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 983 , Operator {oper = "\10847", description = "LOGICAL AND WITH UNDERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 984 , Operator {oper = "\10848", description = "LOGICAL AND WITH DOUBLE UNDERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 985 , Operator {oper = "\10849", description = "SMALL VEE WITH UNDERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 986 , Operator {oper = "\10850", description = "LOGICAL OR WITH DOUBLE OVERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 987 , Operator {oper = "\10851", description = "LOGICAL OR WITH DOUBLE UNDERBAR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 988 , Operator {oper = "\10852", description = "Z NOTATION DOMAIN ANTIRESTRICTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 989 , Operator {oper = "\10853", description = "Z NOTATION RANGE ANTIRESTRICTION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 990 , Operator {oper = "\10854", description = "EQUALS SIGN WITH DOT BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 991 , Operator {oper = "\10855", description = "IDENTICAL WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 992 , Operator {oper = "\10856", description = "TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 993 , Operator {oper = "\10857", description = "TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 994 , Operator {oper = "\10858", description = "TILDE OPERATOR WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 995 , Operator {oper = "\10859", description = "TILDE OPERATOR WITH RISING DOTS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 996 , Operator {oper = "\10860", description = "SIMILAR MINUS SIMILAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 997 , Operator {oper = "\10861", description = "CONGRUENT WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 998 , Operator {oper = "\10862", description = "EQUALS WITH ASTERISK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 999 , Operator {oper = "\10863", description = "ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1000 , Operator {oper = "\10864", description = "APPROXIMATELY EQUAL OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1001 , Operator {oper = "\10865", description = "EQUALS SIGN ABOVE PLUS SIGN", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1002 , Operator {oper = "\10866", description = "PLUS SIGN ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1003 , Operator {oper = "\10867", description = "EQUALS SIGN ABOVE TILDE OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1004 , Operator {oper = "\10868", description = "DOUBLE COLON EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1005 , Operator {oper = "\10869", description = "TWO CONSECUTIVE EQUALS SIGNS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1006 , Operator {oper = "\10870", description = "THREE CONSECUTIVE EQUALS SIGNS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1007 , Operator {oper = "\10871", description = "EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1008 , Operator {oper = "\10872", description = "EQUIVALENT WITH FOUR DOTS ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1009 , Operator {oper = "\10873", description = "LESS-THAN WITH CIRCLE INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1010 , Operator {oper = "\10874", description = "GREATER-THAN WITH CIRCLE INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1011 , Operator {oper = "\10875", description = "LESS-THAN WITH QUESTION MARK ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1012 , Operator {oper = "\10876", description = "GREATER-THAN WITH QUESTION MARK ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1013 , Operator {oper = "\10877", description = "LESS-THAN OR SLANTED EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1014 , Operator {oper = "\10877\824", description = "LESS-THAN OR SLANTED EQUAL TO with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1015 , Operator {oper = "\10878", description = "GREATER-THAN OR SLANTED EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1016 , Operator {oper = "\10878\824", description = "GREATER-THAN OR SLANTED EQUAL TO with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1017 , Operator {oper = "\10879", description = "LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1018 , Operator {oper = "\10880", description = "GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1019 , Operator {oper = "\10881", description = "LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1020 , Operator {oper = "\10882", description = "GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1021 , Operator {oper = "\10883", description = "LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1022 , Operator {oper = "\10884", description = "GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1023 , Operator {oper = "\10885", description = "LESS-THAN OR APPROXIMATE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1024 , Operator {oper = "\10886", description = "GREATER-THAN OR APPROXIMATE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1025 , Operator {oper = "\10887", description = "LESS-THAN AND SINGLE-LINE NOT EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1026 , Operator {oper = "\10888", description = "GREATER-THAN AND SINGLE-LINE NOT EQUAL TO", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1027 , Operator {oper = "\10889", description = "LESS-THAN AND NOT APPROXIMATE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1028 , Operator {oper = "\10890", description = "GREATER-THAN AND NOT APPROXIMATE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1029 , Operator {oper = "\10891", description = "LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1030 , Operator {oper = "\10892", description = "GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1031 , Operator {oper = "\10893", description = "LESS-THAN ABOVE SIMILAR OR EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1032 , Operator {oper = "\10894", description = "GREATER-THAN ABOVE SIMILAR OR EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1033 , Operator {oper = "\10895", description = "LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1034 , Operator {oper = "\10896", description = "GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1035 , Operator {oper = "\10897", description = "LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1036 , Operator {oper = "\10898", description = "GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1037 , Operator {oper = "\10899", description = "LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1038 , Operator {oper = "\10900", description = "GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1039 , Operator {oper = "\10901", description = "SLANTED EQUAL TO OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1040 , Operator {oper = "\10902", description = "SLANTED EQUAL TO OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1041 , Operator {oper = "\10903", description = "SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1042 , Operator {oper = "\10904", description = "SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1043 , Operator {oper = "\10905", description = "DOUBLE-LINE EQUAL TO OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1044 , Operator {oper = "\10906", description = "DOUBLE-LINE EQUAL TO OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1045 , Operator {oper = "\10907", description = "DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1046 , Operator {oper = "\10908", description = "DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1047 , Operator {oper = "\10909", description = "SIMILAR OR LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1048 , Operator {oper = "\10910", description = "SIMILAR OR GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1049 , Operator {oper = "\10911", description = "SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1050 , Operator {oper = "\10912", description = "SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1051 , Operator {oper = "\10913", description = "DOUBLE NESTED LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1052 , Operator {oper = "\10913\824", description = "DOUBLE NESTED LESS-THAN with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1053 , Operator {oper = "\10914", description = "DOUBLE NESTED GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1054 , Operator {oper = "\10914\824", description = "DOUBLE NESTED GREATER-THAN with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1055 , Operator {oper = "\10915", description = "DOUBLE NESTED LESS-THAN WITH UNDERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1056 , Operator {oper = "\10916", description = "GREATER-THAN OVERLAPPING LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1057 , Operator {oper = "\10917", description = "GREATER-THAN BESIDE LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1058 , Operator {oper = "\10918", description = "LESS-THAN CLOSED BY CURVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1059 , Operator {oper = "\10919", description = "GREATER-THAN CLOSED BY CURVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1060 , Operator {oper = "\10920", description = "LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1061 , Operator {oper = "\10921", description = "GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1062 , Operator {oper = "\10922", description = "SMALLER THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1063 , Operator {oper = "\10923", description = "LARGER THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1064 , Operator {oper = "\10924", description = "SMALLER THAN OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1065 , Operator {oper = "\10925", description = "LARGER THAN OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1066 , Operator {oper = "\10926", description = "EQUALS SIGN WITH BUMPY ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1067 , Operator {oper = "\10927", description = "PRECEDES ABOVE SINGLE-LINE EQUALS SIGN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1068 , Operator {oper = "\10927\824", description = "PRECEDES ABOVE SINGLE-LINE EQUALS SIGN with slash", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1069 , Operator {oper = "\10928", description = "SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1070 , Operator {oper = "\10928\824", description = "SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN with slash", form = FInfix, priority = 260, lspace = 5, rspace = 5, properties = []} 1071 , Operator {oper = "\10929", description = "PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1072 , Operator {oper = "\10930", description = "SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1073 , Operator {oper = "\10931", description = "PRECEDES ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1074 , Operator {oper = "\10932", description = "SUCCEEDS ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1075 , Operator {oper = "\10933", description = "PRECEDES ABOVE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1076 , Operator {oper = "\10934", description = "SUCCEEDS ABOVE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1077 , Operator {oper = "\10935", description = "PRECEDES ABOVE ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1078 , Operator {oper = "\10936", description = "SUCCEEDS ABOVE ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1079 , Operator {oper = "\10937", description = "PRECEDES ABOVE NOT ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1080 , Operator {oper = "\10938", description = "SUCCEEDS ABOVE NOT ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1081 , Operator {oper = "\10939", description = "DOUBLE PRECEDES", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1082 , Operator {oper = "\10940", description = "DOUBLE SUCCEEDS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1083 , Operator {oper = "\10941", description = "SUBSET WITH DOT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1084 , Operator {oper = "\10942", description = "SUPERSET WITH DOT", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1085 , Operator {oper = "\10943", description = "SUBSET WITH PLUS SIGN BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1086 , Operator {oper = "\10944", description = "SUPERSET WITH PLUS SIGN BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1087 , Operator {oper = "\10945", description = "SUBSET WITH MULTIPLICATION SIGN BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1088 , Operator {oper = "\10946", description = "SUPERSET WITH MULTIPLICATION SIGN BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1089 , Operator {oper = "\10947", description = "SUBSET OF OR EQUAL TO WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1090 , Operator {oper = "\10948", description = "SUPERSET OF OR EQUAL TO WITH DOT ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1091 , Operator {oper = "\10949", description = "SUBSET OF ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1092 , Operator {oper = "\10950", description = "SUPERSET OF ABOVE EQUALS SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1093 , Operator {oper = "\10951", description = "SUBSET OF ABOVE TILDE OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1094 , Operator {oper = "\10952", description = "SUPERSET OF ABOVE TILDE OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1095 , Operator {oper = "\10953", description = "SUBSET OF ABOVE ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1096 , Operator {oper = "\10954", description = "SUPERSET OF ABOVE ALMOST EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1097 , Operator {oper = "\10955", description = "SUBSET OF ABOVE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1098 , Operator {oper = "\10956", description = "SUPERSET OF ABOVE NOT EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1099 , Operator {oper = "\10957", description = "SQUARE LEFT OPEN BOX OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1100 , Operator {oper = "\10958", description = "SQUARE RIGHT OPEN BOX OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1101 , Operator {oper = "\10959", description = "CLOSED SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1102 , Operator {oper = "\10960", description = "CLOSED SUPERSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1103 , Operator {oper = "\10961", description = "CLOSED SUBSET OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1104 , Operator {oper = "\10962", description = "CLOSED SUPERSET OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1105 , Operator {oper = "\10963", description = "SUBSET ABOVE SUPERSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1106 , Operator {oper = "\10964", description = "SUPERSET ABOVE SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1107 , Operator {oper = "\10965", description = "SUBSET ABOVE SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1108 , Operator {oper = "\10966", description = "SUPERSET ABOVE SUPERSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1109 , Operator {oper = "\10967", description = "SUPERSET BESIDE SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1110 , Operator {oper = "\10968", description = "SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1111 , Operator {oper = "\10969", description = "ELEMENT OF OPENING DOWNWARDS", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1112 , Operator {oper = "\10970", description = "PITCHFORK WITH TEE TOP", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1113 , Operator {oper = "\10971", description = "TRANSVERSAL INTERSECTION", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1114 , Operator {oper = "\10973", description = "NONFORKING", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1115 , Operator {oper = "\10973\824", description = "NONFORKING with slash", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1116 , Operator {oper = "\10974", description = "SHORT LEFT TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1117 , Operator {oper = "\10975", description = "SHORT DOWN TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1118 , Operator {oper = "\10976", description = "SHORT UP TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1119 , Operator {oper = "\10977", description = "PERPENDICULAR WITH S", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1120 , Operator {oper = "\10978", description = "VERTICAL BAR TRIPLE RIGHT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1121 , Operator {oper = "\10979", description = "DOUBLE VERTICAL BAR LEFT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1122 , Operator {oper = "\10980", description = "VERTICAL BAR DOUBLE LEFT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1123 , Operator {oper = "\10981", description = "DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1124 , Operator {oper = "\10982", description = "LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1125 , Operator {oper = "\10983", description = "SHORT DOWN TACK WITH OVERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1126 , Operator {oper = "\10984", description = "SHORT UP TACK WITH UNDERBAR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1127 , Operator {oper = "\10985", description = "SHORT UP TACK ABOVE SHORT DOWN TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1128 , Operator {oper = "\10986", description = "DOUBLE DOWN TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1129 , Operator {oper = "\10987", description = "DOUBLE UP TACK", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1130 , Operator {oper = "\10988", description = "DOUBLE STROKE NOT SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1131 , Operator {oper = "\10989", description = "REVERSED DOUBLE STROKE NOT SIGN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1132 , Operator {oper = "\10990", description = "DOES NOT DIVIDE WITH REVERSED NEGATION SLASH", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1133 , Operator {oper = "\10991", description = "VERTICAL LINE WITH CIRCLE ABOVE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1134 , Operator {oper = "\10992", description = "VERTICAL LINE WITH CIRCLE BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1135 , Operator {oper = "\10993", description = "DOWN TACK WITH CIRCLE BELOW", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1136 , Operator {oper = "\10994", description = "PARALLEL WITH HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1137 , Operator {oper = "\10995", description = "PARALLEL WITH TILDE OPERATOR", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1138 , Operator {oper = "\10996", description = "TRIPLE VERTICAL BAR BINARY RELATION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1139 , Operator {oper = "\10997", description = "TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1140 , Operator {oper = "\10998", description = "TRIPLE COLON OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1141 , Operator {oper = "\10999", description = "TRIPLE NESTED LESS-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1142 , Operator {oper = "\11000", description = "TRIPLE NESTED GREATER-THAN", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1143 , Operator {oper = "\11001", description = "DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1144 , Operator {oper = "\11002", description = "DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO", form = FInfix, priority = 265, lspace = 5, rspace = 5, properties = []} 1145 , Operator {oper = "\11003", description = "TRIPLE SOLIDUS BINARY RELATION", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1146 , Operator {oper = "\11004", description = "LARGE TRIPLE VERTICAL BAR OPERATOR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 1147 , Operator {oper = "\11005", description = "DOUBLE SOLIDUS OPERATOR", form = FInfix, priority = 265, lspace = 4, rspace = 4, properties = []} 1148 , Operator {oper = "\11006", description = "WHITE VERTICAL BAR", form = FInfix, priority = 265, lspace = 3, rspace = 3, properties = []} 1149 , Operator {oper = "\11007", description = "N-ARY WHITE VERTICAL BAR", form = FPrefix, priority = 330, lspace = 1, rspace = 2, properties = ["symmetric","largeop","movablelimits"]} 1150 , Operator {oper = "\11077", description = "LEFTWARDS QUADRUPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 1151 , Operator {oper = "\11078", description = "RIGHTWARDS QUADRUPLE ARROW", form = FInfix, priority = 270, lspace = 5, rspace = 5, properties = ["stretchy"]} 1152 , Operator {oper = "\65079", description = "PRESENTATION FORM FOR VERTICAL LEFT CURLY BRACKET" , form = FInfix, priority = 880, lspace = 0, rspace = 0, properties = ["stretchy", "accent"]} 1153 , Operator {oper = "\65080", description = "PRESENTATION FORM FOR VERTICAL RIGHT CURLY BRACKET", form = FInfix, priority = 880, lspace = 0, rspace = 0, properties = ["stretchy", "accent"]}] 1154