/ipxt1-u22 [ /universal /.notdef /partialdiff /existential /.notdef /emptyset /.notdef /gradient /element /notelement /.notdef /suchthat /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /minus /uni2213 /.notdef /.notdef /.notdef /.notdef /.notdef /uni2219 /radical /.notdef /.notdef /proportional /infinity /orthogonal /angle /.notdef /.notdef /.notdef /.notdef /uni2225 /uni2226 /logicaland /logicalor /intersection /union /integral /uni222C /.notdef /uni222E /.notdef /.notdef /.notdef /.notdef /.notdef /therefore /uni2235 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /similar /uni223D /.notdef /.notdef /.notdef /.notdef /.notdef /uni2243 /.notdef /congruent /.notdef /.notdef /approxequal /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /uni2252 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /notequal /equivalence /uni2262 /.notdef /.notdef /.notdef /uni2266 /uni2267 /.notdef /.notdef /uni226A /uni226B /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /uni2276 /uni2277 /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /propersubset /propersuperset /notsubset /uni2285 /reflexsubset /reflexsuperset /.notdef /.notdef /uni228A /uni228B /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /circleplus /uni2296 /circlemultiply /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /perpendicular /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /uni22BF /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /uni22DA /uni22DB /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef ] def