LucidaNewMathArrows encoding

Character grid

Place the mouse pointer over a cell to see the MTCode (Unicode) value and description.

    0   1   2   3   4   5   6   7   8   9   A   B   C   D   E   F 
 0                  0
 1                  1
 2 0020: Space2194: Left right arrow2195: Up down arrow219E: Leftwards two headed arrow219F: Upwards two headed arrow21A0: Rightwards two headed arrow0026: Ampersand21A1: Downwards two headed arrow21A2: Leftwards arrow with tail21A3: Rightwards arrow with tail21A4: Leftwards arrow from bar21A5: Upwards arrow from bar21A6: Rightwards arrow from barF8E6: Vertical arrow extender21A7: Downwards arrow from bar21E4: Leftwards arrow to bar 2
 3 21E5: Rightwards arrow to bar21A8: Up down arrow with base219A: Leftwards arrow with stroke219B: Rightwards arrow with stroke21AE: Left right arrow with strokeEB0F: Large left right arrow with strokeEB0D: Leftwards arrowheadEB0E: Rightwards arrowhead21E0: Leftwards dashed arrow21E1: Upwards dashed arrow21E2: Rightwards dashed arrow21E3: Downwards dashed arrow21A9: Leftwards arrow with hookEB10: Double arrow extender21AA: Rightwards arrow with hook21AB: Leftwards arrow with loop 3
 4 21AC: Rightwards arrow with loopF080: Blackboard-bold capital AF081: Blackboard-bold capital B2102: Blackboard-bold capital CF083: Blackboard-bold capital DF084: Blackboard-bold capital EF085: Blackboard-bold capital FF086: Blackboard-bold capital G210D: Blackboard-bold capital HF088: Blackboard-bold capital IF089: Blackboard-bold capital JF08A: Blackboard-bold capital KF08B: Blackboard-bold capital LF08C: Blackboard-bold capital M2115: Blackboard-bold capital NF08E: Blackboard-bold capital O 4
 5 2119: Blackboard-bold capital P211A: Blackboard-bold capital Q211D: Blackboard-bold capital RF092: Blackboard-bold capital SF093: Blackboard-bold capital TF094: Blackboard-bold capital UF095: Blackboard-bold capital VF096: Blackboard-bold capital WF097: Blackboard-bold capital XF098: Blackboard-bold capital Y2124: Blackboard-bold capital Z231C: Top left corner231D: Top right corner231E: Bottom left corner231F: Bottom right corner2225: Parallel to 5
 6 21D5: Up down double arrow21D4: Left right double arrow21D6: North west double arrow21D7: North east double arrow21D9: South west double arrow21D8: South east double arrow21CD: Leftwards double arrow with stroke21CE: Left right double arrow with stroke21CF: Rightwards double arrow with strokeEB11: Large left right double arrow with stroke21DA: Leftwards triple arrowF0A4: Blackboard-bold small k21DB: Rightwards triple arrow21C4: Rightwards arrow over leftwards arrow21C6: Leftwards arrow over rightwards arrow21C5: Upwards arrow leftwards of downwards arrow 6
 7 EB12: Downwards arrow leftwards of upwards arrow21C7: Leftwards paired arrows21C8: Upwards paired arrows21C9: Rightwards paired arrows21CA: Downwards paired arrows21BE: Up harpoon (barb right)21BF: Up harpoon (barb left)21C2: Down harpoon (barb right)21C3: Down harpoon (barb left)21CB: Left harpoon over right harpoon21CC: Right harpoon over left harpoon21B0: Upwards arrow with tip leftwardsF8E6: Vertical arrow extender21B1: Upwards arrow with tip rightwards20D6: Left arrow embellishment  7
 8 2204: There does not exist21B2: Downwards arrow with tip leftwards21B3: Downwards arrow with tip rightwards21B4: Rightwards arrow with corner downwardsEB13: Leftwards arrow with corner downwardsEB14: Rightwards arrow with corner upwardsEB15: Leftwards arrow with corner upwards21B6: Anticlockwise top semicircle arrow21B7: Clockwise top semicircle arrowEB16: Anticlockwise top semicircle arrow with plusEB17: Clockwise top semicircle arrow with minus21BA: Anticlockwise open circle arrow21BB: Clockwise open circle arrow21DC: Leftwards squiggle arrow21DD: Rightwards squiggle arrow219C: Leftwards wave arrow 8
 9 219D: Rightwards wave arrow21AD: Left right wave arrowEB18: Rightwards arrow with tail with stroke21AF: Downwards zigzag arrow2260: Not equal to2262: Not identical to2241: Not tilde2244: Not asymptotically equal to2249: Not almost equal to2247: Neither approximately nor actually equal to226E: Not less-than226F: Not greater-than2270: Neither less-than nor equal to2271: Neither greater-than nor equal to2274: Neither less-than nor equivalent to2275: Neither greater-than nor equivalent to 9
 A 00A0: No-break space25CB: White circle25CF: Black circle25A1: White square25A0: Black square25B3: White up-pointing triangle25B2: Black up-pointing triangle25BD: White down-pointing triangle25BC: Black down-pointing triangle25CA: Lozenge25C6: Black diamond22C6: Star operator2713: Check mark25C6: Black diamond2215: Division slash2216: Set minus A
 B 22E4: Square image of or not equal to22E5: Square original of or not equal toE920: Double square cupE921: Double square capE964: Left-pointing triangle with bisecting barE965: Right-pointing triangle with bisecting bar22EE: Vertical ellipsis22EF: Math-axis ellipsis22F0: Up right diagonal ellipsis22F1: Down right diagonal ellipsis22D5: Equal and parallel to2246: Approximately but not actually equal toE966: Equals with dotted top line225B: Star equals210F: Planck constant over two piE912: Element of or equal to B
 C 2209: Not an element ofE90A: Contains or equal to220C: Does not contain as member2204: There does not exist2278: Neither less-than nor greater-than2279: Neither greater-than nor less-than2284: Not a subset of2285: Not a superset of2288: Neither a subset of nor equal to2289: Neither a superset of nor equal toEA0C: Neither subset of nor equal toEA0B: Neither superset of nor equal to228A: Subset of with not equal to228B: Superset of with not equal toEA44: Subset of or not equal toEA45: Superset of or not equal to C
 D EA42: Not subset of nor equal toEA43: Not superset of nor equal toEA44: Subset of or not equal toEA45: Superset of or not equal to22E2: Not square image of or equal to22E3: Not square original of or equal to2270: Neither less-than nor equal to2271: Neither greater-than nor equal toEA06: Not less-than or equal toEA07: Not greater-than or equal toEA34: Less-than or not equal toEA35: Greater-than or not equal to2268: Less-than but not equal to2269: Greater-than but not equal to2268: Less-than but not equal to2269: Greater-than but not equal to D
 E 22E6: Less-than but not equivalent to22C5: Dot operator22E7: Greater-than but not equivalent toEA32: Less-than but not approximately equal toEA33: Greater-than but not approximately equal to2280: Does not precede2281: Does not succeed22E0: Does not precede or equal22E1: Does not succeed or equalEA40: Precedes but not equal toEA41: Succeeds but not equal to22E8: Precedes but not equivalent to22E9: Succeeds but not equivalent toEA3A: Precedes but not equivalent toEA3B: Succeeds but not equivalent to22EA: Not normal subgroup of E
 F 22EB: Does not contain as normal subgroup22EC: Not normal subgroup of or equal to22ED: Does not contain as normal subgroup or equal226D: Not equivalent toEA2E: Not bar operatorEA2F: Not double bar operator2224: Does not divide2226: Not parallel to22AC: Does not prove22AD: Not true22AE: Does not force22AF: Negated double vertical bar double right turnstile     F
    0   1   2   3   4   5   6   7   8   9   A   B   C   D   E   F 

Character list

  20   0020 0020: Space  Space 
  21   2194 2194: Left right arrow  Left right arrow 
  22   2195 2195: Up down arrow  Up down arrow 
  23   219E 219E: Leftwards two headed arrow  Leftwards two headed arrow 
  24   219F 219F: Upwards two headed arrow  Upwards two headed arrow 
  25   21A0 21A0: Rightwards two headed arrow  Rightwards two headed arrow 
  26   0026 0026: Ampersand  Ampersand 
  27   21A1 21A1: Downwards two headed arrow  Downwards two headed arrow 
  28   21A2 21A2: Leftwards arrow with tail  Leftwards arrow with tail 
  29   21A3 21A3: Rightwards arrow with tail  Rightwards arrow with tail 
  2A   21A4 21A4: Leftwards arrow from bar  Leftwards arrow from bar 
  2B   21A5 21A5: Upwards arrow from bar  Upwards arrow from bar 
  2C   21A6 21A6: Rightwards arrow from bar  Rightwards arrow from bar 
  2D   F8E6 F8E6: Vertical arrow extender  Vertical arrow extender 
  2E   21A7 21A7: Downwards arrow from bar  Downwards arrow from bar 
  2F   21E4 21E4: Leftwards arrow to bar  Leftwards arrow to bar 
  30   21E5 21E5: Rightwards arrow to bar  Rightwards arrow to bar 
  31   21A8 21A8: Up down arrow with base  Up down arrow with base 
  32   219A 219A: Leftwards arrow with stroke  Leftwards arrow with stroke 
  33   219B 219B: Rightwards arrow with stroke  Rightwards arrow with stroke 
  34   21AE 21AE: Left right arrow with stroke  Left right arrow with stroke 
  35   EB0F EB0F: Large left right arrow with stroke  Large left right arrow with stroke 
  36   EB0D EB0D: Leftwards arrowhead  Leftwards arrowhead 
  37   EB0E EB0E: Rightwards arrowhead  Rightwards arrowhead 
  38   21E0 21E0: Leftwards dashed arrow  Leftwards dashed arrow 
  39   21E1 21E1: Upwards dashed arrow  Upwards dashed arrow 
  3A   21E2 21E2: Rightwards dashed arrow  Rightwards dashed arrow 
  3B   21E3 21E3: Downwards dashed arrow  Downwards dashed arrow 
  3C   21A9 21A9: Leftwards arrow with hook  Leftwards arrow with hook 
  3D   EB10 EB10: Double arrow extender  Double arrow extender 
  3E   21AA 21AA: Rightwards arrow with hook  Rightwards arrow with hook 
  3F   21AB 21AB: Leftwards arrow with loop  Leftwards arrow with loop 
  40   21AC 21AC: Rightwards arrow with loop  Rightwards arrow with loop 
  41   F080 F080: Blackboard-bold capital A  Blackboard-bold capital A 
  42   F081 F081: Blackboard-bold capital B  Blackboard-bold capital B 
  43   2102 2102: Blackboard-bold capital C  Blackboard-bold capital C 
  44   F083 F083: Blackboard-bold capital D  Blackboard-bold capital D 
  45   F084 F084: Blackboard-bold capital E  Blackboard-bold capital E 
  46   F085 F085: Blackboard-bold capital F  Blackboard-bold capital F 
  47   F086 F086: Blackboard-bold capital G  Blackboard-bold capital G 
  48   210D 210D: Blackboard-bold capital H  Blackboard-bold capital H 
  49   F088 F088: Blackboard-bold capital I  Blackboard-bold capital I 
  4A   F089 F089: Blackboard-bold capital J  Blackboard-bold capital J 
  4B   F08A F08A: Blackboard-bold capital K  Blackboard-bold capital K 
  4C   F08B F08B: Blackboard-bold capital L  Blackboard-bold capital L 
  4D   F08C F08C: Blackboard-bold capital M  Blackboard-bold capital M 
  4E   2115 2115: Blackboard-bold capital N  Blackboard-bold capital N 
  4F   F08E F08E: Blackboard-bold capital O  Blackboard-bold capital O 
  50   2119 2119: Blackboard-bold capital P  Blackboard-bold capital P 
  51   211A 211A: Blackboard-bold capital Q  Blackboard-bold capital Q 
  52   211D 211D: Blackboard-bold capital R  Blackboard-bold capital R 
  53   F092 F092: Blackboard-bold capital S  Blackboard-bold capital S 
  54   F093 F093: Blackboard-bold capital T  Blackboard-bold capital T 
  55   F094 F094: Blackboard-bold capital U  Blackboard-bold capital U 
  56   F095 F095: Blackboard-bold capital V  Blackboard-bold capital V 
  57   F096 F096: Blackboard-bold capital W  Blackboard-bold capital W 
  58   F097 F097: Blackboard-bold capital X  Blackboard-bold capital X 
  59   F098 F098: Blackboard-bold capital Y  Blackboard-bold capital Y 
  5A   2124 2124: Blackboard-bold capital Z  Blackboard-bold capital Z 
  5B   231C 231C: Top left corner  Top left corner 
  5C   231D 231D: Top right corner  Top right corner 
  5D   231E 231E: Bottom left corner  Bottom left corner 
  5E   231F 231F: Bottom right corner  Bottom right corner 
  5F   2225 2225: Parallel to  Parallel to 
  60   21D5 21D5: Up down double arrow  Up down double arrow 
  61   21D4 21D4: Left right double arrow  Left right double arrow 
  62   21D6 21D6: North west double arrow  North west double arrow 
  63   21D7 21D7: North east double arrow  North east double arrow 
  64   21D9 21D9: South west double arrow  South west double arrow 
  65   21D8 21D8: South east double arrow  South east double arrow 
  66   21CD 21CD: Leftwards double arrow with stroke  Leftwards double arrow with stroke 
  67   21CE 21CE: Left right double arrow with stroke  Left right double arrow with stroke 
  68   21CF 21CF: Rightwards double arrow with stroke  Rightwards double arrow with stroke 
  69   EB11 EB11: Large left right double arrow with stroke  Large left right double arrow with stroke 
  6A   21DA 21DA: Leftwards triple arrow  Leftwards triple arrow 
  6B   F0A4 F0A4: Blackboard-bold small k  Blackboard-bold small k 
  6C   21DB 21DB: Rightwards triple arrow  Rightwards triple arrow 
  6D   21C4 21C4: Rightwards arrow over leftwards arrow  Rightwards arrow over leftwards arrow 
  6E   21C6 21C6: Leftwards arrow over rightwards arrow  Leftwards arrow over rightwards arrow 
  6F   21C5 21C5: Upwards arrow leftwards of downwards arrow  Upwards arrow leftwards of downwards arrow 
  70   EB12 EB12: Downwards arrow leftwards of upwards arrow  Downwards arrow leftwards of upwards arrow 
  71   21C7 21C7: Leftwards paired arrows  Leftwards paired arrows 
  72   21C8 21C8: Upwards paired arrows  Upwards paired arrows 
  73   21C9 21C9: Rightwards paired arrows  Rightwards paired arrows 
  74   21CA 21CA: Downwards paired arrows  Downwards paired arrows 
  75   21BE 21BE: Up harpoon (barb right)  Up harpoon (barb right) 
  76   21BF 21BF: Up harpoon (barb left)  Up harpoon (barb left) 
  77   21C2 21C2: Down harpoon (barb right)  Down harpoon (barb right) 
  78   21C3 21C3: Down harpoon (barb left)  Down harpoon (barb left) 
  79   21CB 21CB: Left harpoon over right harpoon  Left harpoon over right harpoon 
  7A   21CC 21CC: Right harpoon over left harpoon  Right harpoon over left harpoon 
  7B   21B0 21B0: Upwards arrow with tip leftwards  Upwards arrow with tip leftwards 
  7C   F8E6 F8E6: Vertical arrow extender  Vertical arrow extender 
  7D   21B1 21B1: Upwards arrow with tip rightwards  Upwards arrow with tip rightwards 
  7E   20D6 20D6: Left arrow embellishment  Left arrow embellishment 
  80   2204 2204: There does not exist  There does not exist 
  81   21B2 21B2: Downwards arrow with tip leftwards  Downwards arrow with tip leftwards 
  82   21B3 21B3: Downwards arrow with tip rightwards  Downwards arrow with tip rightwards 
  83   21B4 21B4: Rightwards arrow with corner downwards  Rightwards arrow with corner downwards 
  84   EB13 EB13: Leftwards arrow with corner downwards  Leftwards arrow with corner downwards 
  85   EB14 EB14: Rightwards arrow with corner upwards  Rightwards arrow with corner upwards 
  86   EB15 EB15: Leftwards arrow with corner upwards  Leftwards arrow with corner upwards 
  87   21B6 21B6: Anticlockwise top semicircle arrow  Anticlockwise top semicircle arrow 
  88   21B7 21B7: Clockwise top semicircle arrow  Clockwise top semicircle arrow 
  89   EB16 EB16: Anticlockwise top semicircle arrow with plus  Anticlockwise top semicircle arrow with plus 
  8A   EB17 EB17: Clockwise top semicircle arrow with minus  Clockwise top semicircle arrow with minus 
  8B   21BA 21BA: Anticlockwise open circle arrow  Anticlockwise open circle arrow 
  8C   21BB 21BB: Clockwise open circle arrow  Clockwise open circle arrow 
  8D   21DC 21DC: Leftwards squiggle arrow  Leftwards squiggle arrow 
  8E   21DD 21DD: Rightwards squiggle arrow  Rightwards squiggle arrow 
  8F   219C 219C: Leftwards wave arrow  Leftwards wave arrow 
  90   219D 219D: Rightwards wave arrow  Rightwards wave arrow 
  91   21AD 21AD: Left right wave arrow  Left right wave arrow 
  92   EB18 EB18: Rightwards arrow with tail with stroke  Rightwards arrow with tail with stroke 
  93   21AF 21AF: Downwards zigzag arrow  Downwards zigzag arrow 
  94   2260 2260: Not equal to  Not equal to 
  95   2262 2262: Not identical to  Not identical to 
  96   2241 2241: Not tilde  Not tilde 
  97   2244 2244: Not asymptotically equal to  Not asymptotically equal to 
  98   2249 2249: Not almost equal to  Not almost equal to 
  99   2247 2247: Neither approximately nor actually equal to  Neither approximately nor actually equal to 
  9A   226E 226E: Not less-than  Not less-than 
  9B   226F 226F: Not greater-than  Not greater-than 
  9C   2270 2270: Neither less-than nor equal to  Neither less-than nor equal to 
  9D   2271 2271: Neither greater-than nor equal to  Neither greater-than nor equal to 
  9E   2274 2274: Neither less-than nor equivalent to  Neither less-than nor equivalent to 
  9F   2275 2275: Neither greater-than nor equivalent to  Neither greater-than nor equivalent to 
  A0   00A0 00A0: No-break space  No-break space 
  A1   25CB 25CB: White circle  White circle 
  A2   25CF 25CF: Black circle  Black circle 
  A3   25A1 25A1: White square  White square 
  A4   25A0 25A0: Black square  Black square 
  A5   25B3 25B3: White up-pointing triangle  White up-pointing triangle 
  A6   25B2 25B2: Black up-pointing triangle  Black up-pointing triangle 
  A7   25BD 25BD: White down-pointing triangle  White down-pointing triangle 
  A8   25BC 25BC: Black down-pointing triangle  Black down-pointing triangle 
  A9   25CA 25CA: Lozenge  Lozenge 
  AA   25C6 25C6: Black diamond  Black diamond 
  AB   22C6 22C6: Star operator  Star operator 
  AC   2713 2713: Check mark  Check mark 
  AD   25C6 25C6: Black diamond  Black diamond 
  AE   2215 2215: Division slash  Division slash 
  AF   2216 2216: Set minus  Set minus 
  B0   22E4 22E4: Square image of or not equal to  Square image of or not equal to 
  B1   22E5 22E5: Square original of or not equal to  Square original of or not equal to 
  B2   E920 E920: Double square cup  Double square cup 
  B3   E921 E921: Double square cap  Double square cap 
  B4   E964 E964: Left-pointing triangle with bisecting bar  Left-pointing triangle with bisecting bar 
  B5   E965 E965: Right-pointing triangle with bisecting bar  Right-pointing triangle with bisecting bar 
  B6   22EE 22EE: Vertical ellipsis  Vertical ellipsis 
  B7   22EF 22EF: Math-axis ellipsis  Math-axis ellipsis 
  B8   22F0 22F0: Up right diagonal ellipsis  Up right diagonal ellipsis 
  B9   22F1 22F1: Down right diagonal ellipsis  Down right diagonal ellipsis 
  BA   22D5 22D5: Equal and parallel to  Equal and parallel to 
  BB   2246 2246: Approximately but not actually equal to  Approximately but not actually equal to 
  BC   E966 E966: Equals with dotted top line  Equals with dotted top line 
  BD   225B 225B: Star equals  Star equals 
  BE   210F 210F: Planck constant over two pi  Planck constant over two pi 
  BF   E912 E912: Element of or equal to  Element of or equal to 
  C0   2209 2209: Not an element of  Not an element of 
  C1   E90A E90A: Contains or equal to  Contains or equal to 
  C2   220C 220C: Does not contain as member  Does not contain as member 
  C3   2204 2204: There does not exist  There does not exist 
  C4   2278 2278: Neither less-than nor greater-than  Neither less-than nor greater-than 
  C5   2279 2279: Neither greater-than nor less-than  Neither greater-than nor less-than 
  C6   2284 2284: Not a subset of  Not a subset of 
  C7   2285 2285: Not a superset of  Not a superset of 
  C8   2288 2288: Neither a subset of nor equal to  Neither a subset of nor equal to 
  C9   2289 2289: Neither a superset of nor equal to  Neither a superset of nor equal to 
  CA   EA0C EA0C: Neither subset of nor equal to  Neither subset of nor equal to 
  CB   EA0B EA0B: Neither superset of nor equal to  Neither superset of nor equal to 
  CC   228A 228A: Subset of with not equal to  Subset of with not equal to 
  CD   228B 228B: Superset of with not equal to  Superset of with not equal to 
  CE   EA44 EA44: Subset of or not equal to  Subset of or not equal to 
  CF   EA45 EA45: Superset of or not equal to  Superset of or not equal to 
  D0   EA42 EA42: Not subset of nor equal to  Not subset of nor equal to 
  D1   EA43 EA43: Not superset of nor equal to  Not superset of nor equal to 
  D2   EA44 EA44: Subset of or not equal to  Subset of or not equal to 
  D3   EA45 EA45: Superset of or not equal to  Superset of or not equal to 
  D4   22E2 22E2: Not square image of or equal to  Not square image of or equal to 
  D5   22E3 22E3: Not square original of or equal to  Not square original of or equal to 
  D6   2270 2270: Neither less-than nor equal to  Neither less-than nor equal to 
  D7   2271 2271: Neither greater-than nor equal to  Neither greater-than nor equal to 
  D8   EA06 EA06: Not less-than or equal to  Not less-than or equal to 
  D9   EA07 EA07: Not greater-than or equal to  Not greater-than or equal to 
  DA   EA34 EA34: Less-than or not equal to  Less-than or not equal to 
  DB   EA35 EA35: Greater-than or not equal to  Greater-than or not equal to 
  DC   2268 2268: Less-than but not equal to  Less-than but not equal to 
  DD   2269 2269: Greater-than but not equal to  Greater-than but not equal to 
  DE   2268 2268: Less-than but not equal to  Less-than but not equal to 
  DF   2269 2269: Greater-than but not equal to  Greater-than but not equal to 
  E0   22E6 22E6: Less-than but not equivalent to  Less-than but not equivalent to 
  E1   22C5 22C5: Dot operator  Dot operator 
  E2   22E7 22E7: Greater-than but not equivalent to  Greater-than but not equivalent to 
  E3   EA32 EA32: Less-than but not approximately equal to  Less-than but not approximately equal to 
  E4   EA33 EA33: Greater-than but not approximately equal to  Greater-than but not approximately equal to 
  E5   2280 2280: Does not precede  Does not precede 
  E6   2281 2281: Does not succeed  Does not succeed 
  E7   22E0 22E0: Does not precede or equal  Does not precede or equal 
  E8   22E1 22E1: Does not succeed or equal  Does not succeed or equal 
  E9   EA40 EA40: Precedes but not equal to  Precedes but not equal to 
  EA   EA41 EA41: Succeeds but not equal to  Succeeds but not equal to 
  EB   22E8 22E8: Precedes but not equivalent to  Precedes but not equivalent to 
  EC   22E9 22E9: Succeeds but not equivalent to  Succeeds but not equivalent to 
  ED   EA3A EA3A: Precedes but not equivalent to  Precedes but not equivalent to 
  EE   EA3B EA3B: Succeeds but not equivalent to  Succeeds but not equivalent to 
  EF   22EA 22EA: Not normal subgroup of  Not normal subgroup of 
  F0   22EB 22EB: Does not contain as normal subgroup  Does not contain as normal subgroup 
  F1   22EC 22EC: Not normal subgroup of or equal to  Not normal subgroup of or equal to 
  F2   22ED 22ED: Does not contain as normal subgroup or equal  Does not contain as normal subgroup or equal 
  F3   226D 226D: Not equivalent to  Not equivalent to 
  F4   EA2E EA2E: Not bar operator  Not bar operator 
  F5   EA2F EA2F: Not double bar operator  Not double bar operator 
  F6   2224 2224: Does not divide  Does not divide 
  F7   2226 2226: Not parallel to  Not parallel to 
  F8   22AC 22AC: Does not prove  Does not prove 
  F9   22AD 22AD: Not true  Not true 
  FA   22AE 22AE: Does not force  Does not force 
  FB   22AF 22AF: Negated double vertical bar double right turnstile  Negated double vertical bar double right turnstile