extern crate marksman_escape;
use marksman_escape::get_named_ref;
#[test]
fn test_get_named_ref_malformed() {
assert!(get_named_ref(b"").is_none());
assert!(get_named_ref(b"A").is_none());
assert!(get_named_ref(b" amp;").is_none());
assert!(get_named_ref(b"amp; ").is_none());
assert!(get_named_ref(b"amp;\0").is_none());
assert!(get_named_ref(b"\0amp;").is_none());
assert!(get_named_ref(b"\0").is_none());
}
#[test]
fn test_get_named_ref(){
assert!(get_named_ref(b"AElig").is_some());
assert!(get_named_ref(b"AElig;").is_some());
assert!(get_named_ref(b"AMP").is_some());
assert!(get_named_ref(b"AMP;").is_some());
assert!(get_named_ref(b"Aacute").is_some());
assert!(get_named_ref(b"Aacute;").is_some());
assert!(get_named_ref(b"Abreve;").is_some());
assert!(get_named_ref(b"Acirc").is_some());
assert!(get_named_ref(b"Acirc;").is_some());
assert!(get_named_ref(b"Acy;").is_some());
assert!(get_named_ref(b"Afr;").is_some());
assert!(get_named_ref(b"Agrave").is_some());
assert!(get_named_ref(b"Agrave;").is_some());
assert!(get_named_ref(b"Alpha;").is_some());
assert!(get_named_ref(b"Amacr;").is_some());
assert!(get_named_ref(b"And;").is_some());
assert!(get_named_ref(b"Aogon;").is_some());
assert!(get_named_ref(b"Aopf;").is_some());
assert!(get_named_ref(b"ApplyFunction;").is_some());
assert!(get_named_ref(b"Aring").is_some());
assert!(get_named_ref(b"Aring;").is_some());
assert!(get_named_ref(b"Ascr;").is_some());
assert!(get_named_ref(b"Assign;").is_some());
assert!(get_named_ref(b"Atilde").is_some());
assert!(get_named_ref(b"Atilde;").is_some());
assert!(get_named_ref(b"Auml").is_some());
assert!(get_named_ref(b"Auml;").is_some());
assert!(get_named_ref(b"Backslash;").is_some());
assert!(get_named_ref(b"Barv;").is_some());
assert!(get_named_ref(b"Barwed;").is_some());
assert!(get_named_ref(b"Bcy;").is_some());
assert!(get_named_ref(b"Because;").is_some());
assert!(get_named_ref(b"Bernoullis;").is_some());
assert!(get_named_ref(b"Beta;").is_some());
assert!(get_named_ref(b"Bfr;").is_some());
assert!(get_named_ref(b"Bopf;").is_some());
assert!(get_named_ref(b"Breve;").is_some());
assert!(get_named_ref(b"Bscr;").is_some());
assert!(get_named_ref(b"Bumpeq;").is_some());
assert!(get_named_ref(b"CHcy;").is_some());
assert!(get_named_ref(b"COPY").is_some());
assert!(get_named_ref(b"COPY;").is_some());
assert!(get_named_ref(b"Cacute;").is_some());
assert!(get_named_ref(b"Cap;").is_some());
assert!(get_named_ref(b"CapitalDifferentialD;").is_some());
assert!(get_named_ref(b"Cayleys;").is_some());
assert!(get_named_ref(b"Ccaron;").is_some());
assert!(get_named_ref(b"Ccedil").is_some());
assert!(get_named_ref(b"Ccedil;").is_some());
assert!(get_named_ref(b"Ccirc;").is_some());
assert!(get_named_ref(b"Cconint;").is_some());
assert!(get_named_ref(b"Cdot;").is_some());
assert!(get_named_ref(b"Cedilla;").is_some());
assert!(get_named_ref(b"CenterDot;").is_some());
assert!(get_named_ref(b"Cfr;").is_some());
assert!(get_named_ref(b"Chi;").is_some());
assert!(get_named_ref(b"CircleDot;").is_some());
assert!(get_named_ref(b"CircleMinus;").is_some());
assert!(get_named_ref(b"CirclePlus;").is_some());
assert!(get_named_ref(b"CircleTimes;").is_some());
assert!(get_named_ref(b"ClockwiseContourIntegral;").is_some());
assert!(get_named_ref(b"CloseCurlyDoubleQuote;").is_some());
assert!(get_named_ref(b"CloseCurlyQuote;").is_some());
assert!(get_named_ref(b"Colon;").is_some());
assert!(get_named_ref(b"Colone;").is_some());
assert!(get_named_ref(b"Congruent;").is_some());
assert!(get_named_ref(b"Conint;").is_some());
assert!(get_named_ref(b"ContourIntegral;").is_some());
assert!(get_named_ref(b"Copf;").is_some());
assert!(get_named_ref(b"Coproduct;").is_some());
assert!(get_named_ref(b"CounterClockwiseContourIntegral;").is_some());
assert!(get_named_ref(b"Cross;").is_some());
assert!(get_named_ref(b"Cscr;").is_some());
assert!(get_named_ref(b"Cup;").is_some());
assert!(get_named_ref(b"CupCap;").is_some());
assert!(get_named_ref(b"DD;").is_some());
assert!(get_named_ref(b"DDotrahd;").is_some());
assert!(get_named_ref(b"DJcy;").is_some());
assert!(get_named_ref(b"DScy;").is_some());
assert!(get_named_ref(b"DZcy;").is_some());
assert!(get_named_ref(b"Dagger;").is_some());
assert!(get_named_ref(b"Darr;").is_some());
assert!(get_named_ref(b"Dashv;").is_some());
assert!(get_named_ref(b"Dcaron;").is_some());
assert!(get_named_ref(b"Dcy;").is_some());
assert!(get_named_ref(b"Del;").is_some());
assert!(get_named_ref(b"Delta;").is_some());
assert!(get_named_ref(b"Dfr;").is_some());
assert!(get_named_ref(b"DiacriticalAcute;").is_some());
assert!(get_named_ref(b"DiacriticalDot;").is_some());
assert!(get_named_ref(b"DiacriticalDoubleAcute;").is_some());
assert!(get_named_ref(b"DiacriticalGrave;").is_some());
assert!(get_named_ref(b"DiacriticalTilde;").is_some());
assert!(get_named_ref(b"Diamond;").is_some());
assert!(get_named_ref(b"DifferentialD;").is_some());
assert!(get_named_ref(b"Dopf;").is_some());
assert!(get_named_ref(b"Dot;").is_some());
assert!(get_named_ref(b"DotDot;").is_some());
assert!(get_named_ref(b"DotEqual;").is_some());
assert!(get_named_ref(b"DoubleContourIntegral;").is_some());
assert!(get_named_ref(b"DoubleDot;").is_some());
assert!(get_named_ref(b"DoubleDownArrow;").is_some());
assert!(get_named_ref(b"DoubleLeftArrow;").is_some());
assert!(get_named_ref(b"DoubleLeftRightArrow;").is_some());
assert!(get_named_ref(b"DoubleLeftTee;").is_some());
assert!(get_named_ref(b"DoubleLongLeftArrow;").is_some());
assert!(get_named_ref(b"DoubleLongLeftRightArrow;").is_some());
assert!(get_named_ref(b"DoubleLongRightArrow;").is_some());
assert!(get_named_ref(b"DoubleRightArrow;").is_some());
assert!(get_named_ref(b"DoubleRightTee;").is_some());
assert!(get_named_ref(b"DoubleUpArrow;").is_some());
assert!(get_named_ref(b"DoubleUpDownArrow;").is_some());
assert!(get_named_ref(b"DoubleVerticalBar;").is_some());
assert!(get_named_ref(b"DownArrow;").is_some());
assert!(get_named_ref(b"DownArrowBar;").is_some());
assert!(get_named_ref(b"DownArrowUpArrow;").is_some());
assert!(get_named_ref(b"DownBreve;").is_some());
assert!(get_named_ref(b"DownLeftRightVector;").is_some());
assert!(get_named_ref(b"DownLeftTeeVector;").is_some());
assert!(get_named_ref(b"DownLeftVector;").is_some());
assert!(get_named_ref(b"DownLeftVectorBar;").is_some());
assert!(get_named_ref(b"DownRightTeeVector;").is_some());
assert!(get_named_ref(b"DownRightVector;").is_some());
assert!(get_named_ref(b"DownRightVectorBar;").is_some());
assert!(get_named_ref(b"DownTee;").is_some());
assert!(get_named_ref(b"DownTeeArrow;").is_some());
assert!(get_named_ref(b"Downarrow;").is_some());
assert!(get_named_ref(b"Dscr;").is_some());
assert!(get_named_ref(b"Dstrok;").is_some());
assert!(get_named_ref(b"ENG;").is_some());
assert!(get_named_ref(b"ETH").is_some());
assert!(get_named_ref(b"ETH;").is_some());
assert!(get_named_ref(b"Eacute").is_some());
assert!(get_named_ref(b"Eacute;").is_some());
assert!(get_named_ref(b"Ecaron;").is_some());
assert!(get_named_ref(b"Ecirc").is_some());
assert!(get_named_ref(b"Ecirc;").is_some());
assert!(get_named_ref(b"Ecy;").is_some());
assert!(get_named_ref(b"Edot;").is_some());
assert!(get_named_ref(b"Efr;").is_some());
assert!(get_named_ref(b"Egrave").is_some());
assert!(get_named_ref(b"Egrave;").is_some());
assert!(get_named_ref(b"Element;").is_some());
assert!(get_named_ref(b"Emacr;").is_some());
assert!(get_named_ref(b"EmptySmallSquare;").is_some());
assert!(get_named_ref(b"EmptyVerySmallSquare;").is_some());
assert!(get_named_ref(b"Eogon;").is_some());
assert!(get_named_ref(b"Eopf;").is_some());
assert!(get_named_ref(b"Epsilon;").is_some());
assert!(get_named_ref(b"Equal;").is_some());
assert!(get_named_ref(b"EqualTilde;").is_some());
assert!(get_named_ref(b"Equilibrium;").is_some());
assert!(get_named_ref(b"Escr;").is_some());
assert!(get_named_ref(b"Esim;").is_some());
assert!(get_named_ref(b"Eta;").is_some());
assert!(get_named_ref(b"Euml").is_some());
assert!(get_named_ref(b"Euml;").is_some());
assert!(get_named_ref(b"Exists;").is_some());
assert!(get_named_ref(b"ExponentialE;").is_some());
assert!(get_named_ref(b"Fcy;").is_some());
assert!(get_named_ref(b"Ffr;").is_some());
assert!(get_named_ref(b"FilledSmallSquare;").is_some());
assert!(get_named_ref(b"FilledVerySmallSquare;").is_some());
assert!(get_named_ref(b"Fopf;").is_some());
assert!(get_named_ref(b"ForAll;").is_some());
assert!(get_named_ref(b"Fouriertrf;").is_some());
assert!(get_named_ref(b"Fscr;").is_some());
assert!(get_named_ref(b"GJcy;").is_some());
assert!(get_named_ref(b"GT").is_some());
assert!(get_named_ref(b"GT;").is_some());
assert!(get_named_ref(b"Gamma;").is_some());
assert!(get_named_ref(b"Gammad;").is_some());
assert!(get_named_ref(b"Gbreve;").is_some());
assert!(get_named_ref(b"Gcedil;").is_some());
assert!(get_named_ref(b"Gcirc;").is_some());
assert!(get_named_ref(b"Gcy;").is_some());
assert!(get_named_ref(b"Gdot;").is_some());
assert!(get_named_ref(b"Gfr;").is_some());
assert!(get_named_ref(b"Gg;").is_some());
assert!(get_named_ref(b"Gopf;").is_some());
assert!(get_named_ref(b"GreaterEqual;").is_some());
assert!(get_named_ref(b"GreaterEqualLess;").is_some());
assert!(get_named_ref(b"GreaterFullEqual;").is_some());
assert!(get_named_ref(b"GreaterGreater;").is_some());
assert!(get_named_ref(b"GreaterLess;").is_some());
assert!(get_named_ref(b"GreaterSlantEqual;").is_some());
assert!(get_named_ref(b"GreaterTilde;").is_some());
assert!(get_named_ref(b"Gscr;").is_some());
assert!(get_named_ref(b"Gt;").is_some());
assert!(get_named_ref(b"HARDcy;").is_some());
assert!(get_named_ref(b"Hacek;").is_some());
assert!(get_named_ref(b"Hat;").is_some());
assert!(get_named_ref(b"Hcirc;").is_some());
assert!(get_named_ref(b"Hfr;").is_some());
assert!(get_named_ref(b"HilbertSpace;").is_some());
assert!(get_named_ref(b"Hopf;").is_some());
assert!(get_named_ref(b"HorizontalLine;").is_some());
assert!(get_named_ref(b"Hscr;").is_some());
assert!(get_named_ref(b"Hstrok;").is_some());
assert!(get_named_ref(b"HumpDownHump;").is_some());
assert!(get_named_ref(b"HumpEqual;").is_some());
assert!(get_named_ref(b"IEcy;").is_some());
assert!(get_named_ref(b"IJlig;").is_some());
assert!(get_named_ref(b"IOcy;").is_some());
assert!(get_named_ref(b"Iacute").is_some());
assert!(get_named_ref(b"Iacute;").is_some());
assert!(get_named_ref(b"Icirc").is_some());
assert!(get_named_ref(b"Icirc;").is_some());
assert!(get_named_ref(b"Icy;").is_some());
assert!(get_named_ref(b"Idot;").is_some());
assert!(get_named_ref(b"Ifr;").is_some());
assert!(get_named_ref(b"Igrave").is_some());
assert!(get_named_ref(b"Igrave;").is_some());
assert!(get_named_ref(b"Im;").is_some());
assert!(get_named_ref(b"Imacr;").is_some());
assert!(get_named_ref(b"ImaginaryI;").is_some());
assert!(get_named_ref(b"Implies;").is_some());
assert!(get_named_ref(b"Int;").is_some());
assert!(get_named_ref(b"Integral;").is_some());
assert!(get_named_ref(b"Intersection;").is_some());
assert!(get_named_ref(b"InvisibleComma;").is_some());
assert!(get_named_ref(b"InvisibleTimes;").is_some());
assert!(get_named_ref(b"Iogon;").is_some());
assert!(get_named_ref(b"Iopf;").is_some());
assert!(get_named_ref(b"Iota;").is_some());
assert!(get_named_ref(b"Iscr;").is_some());
assert!(get_named_ref(b"Itilde;").is_some());
assert!(get_named_ref(b"Iukcy;").is_some());
assert!(get_named_ref(b"Iuml").is_some());
assert!(get_named_ref(b"Iuml;").is_some());
assert!(get_named_ref(b"Jcirc;").is_some());
assert!(get_named_ref(b"Jcy;").is_some());
assert!(get_named_ref(b"Jfr;").is_some());
assert!(get_named_ref(b"Jopf;").is_some());
assert!(get_named_ref(b"Jscr;").is_some());
assert!(get_named_ref(b"Jsercy;").is_some());
assert!(get_named_ref(b"Jukcy;").is_some());
assert!(get_named_ref(b"KHcy;").is_some());
assert!(get_named_ref(b"KJcy;").is_some());
assert!(get_named_ref(b"Kappa;").is_some());
assert!(get_named_ref(b"Kcedil;").is_some());
assert!(get_named_ref(b"Kcy;").is_some());
assert!(get_named_ref(b"Kfr;").is_some());
assert!(get_named_ref(b"Kopf;").is_some());
assert!(get_named_ref(b"Kscr;").is_some());
assert!(get_named_ref(b"LJcy;").is_some());
assert!(get_named_ref(b"LT").is_some());
assert!(get_named_ref(b"LT;").is_some());
assert!(get_named_ref(b"Lacute;").is_some());
assert!(get_named_ref(b"Lambda;").is_some());
assert!(get_named_ref(b"Lang;").is_some());
assert!(get_named_ref(b"Laplacetrf;").is_some());
assert!(get_named_ref(b"Larr;").is_some());
assert!(get_named_ref(b"Lcaron;").is_some());
assert!(get_named_ref(b"Lcedil;").is_some());
assert!(get_named_ref(b"Lcy;").is_some());
assert!(get_named_ref(b"LeftAngleBracket;").is_some());
assert!(get_named_ref(b"LeftArrow;").is_some());
assert!(get_named_ref(b"LeftArrowBar;").is_some());
assert!(get_named_ref(b"LeftArrowRightArrow;").is_some());
assert!(get_named_ref(b"LeftCeiling;").is_some());
assert!(get_named_ref(b"LeftDoubleBracket;").is_some());
assert!(get_named_ref(b"LeftDownTeeVector;").is_some());
assert!(get_named_ref(b"LeftDownVector;").is_some());
assert!(get_named_ref(b"LeftDownVectorBar;").is_some());
assert!(get_named_ref(b"LeftFloor;").is_some());
assert!(get_named_ref(b"LeftRightArrow;").is_some());
assert!(get_named_ref(b"LeftRightVector;").is_some());
assert!(get_named_ref(b"LeftTee;").is_some());
assert!(get_named_ref(b"LeftTeeArrow;").is_some());
assert!(get_named_ref(b"LeftTeeVector;").is_some());
assert!(get_named_ref(b"LeftTriangle;").is_some());
assert!(get_named_ref(b"LeftTriangleBar;").is_some());
assert!(get_named_ref(b"LeftTriangleEqual;").is_some());
assert!(get_named_ref(b"LeftUpDownVector;").is_some());
assert!(get_named_ref(b"LeftUpTeeVector;").is_some());
assert!(get_named_ref(b"LeftUpVector;").is_some());
assert!(get_named_ref(b"LeftUpVectorBar;").is_some());
assert!(get_named_ref(b"LeftVector;").is_some());
assert!(get_named_ref(b"LeftVectorBar;").is_some());
assert!(get_named_ref(b"Leftarrow;").is_some());
assert!(get_named_ref(b"Leftrightarrow;").is_some());
assert!(get_named_ref(b"LessEqualGreater;").is_some());
assert!(get_named_ref(b"LessFullEqual;").is_some());
assert!(get_named_ref(b"LessGreater;").is_some());
assert!(get_named_ref(b"LessLess;").is_some());
assert!(get_named_ref(b"LessSlantEqual;").is_some());
assert!(get_named_ref(b"LessTilde;").is_some());
assert!(get_named_ref(b"Lfr;").is_some());
assert!(get_named_ref(b"Ll;").is_some());
assert!(get_named_ref(b"Lleftarrow;").is_some());
assert!(get_named_ref(b"Lmidot;").is_some());
assert!(get_named_ref(b"LongLeftArrow;").is_some());
assert!(get_named_ref(b"LongLeftRightArrow;").is_some());
assert!(get_named_ref(b"LongRightArrow;").is_some());
assert!(get_named_ref(b"Longleftarrow;").is_some());
assert!(get_named_ref(b"Longleftrightarrow;").is_some());
assert!(get_named_ref(b"Longrightarrow;").is_some());
assert!(get_named_ref(b"Lopf;").is_some());
assert!(get_named_ref(b"LowerLeftArrow;").is_some());
assert!(get_named_ref(b"LowerRightArrow;").is_some());
assert!(get_named_ref(b"Lscr;").is_some());
assert!(get_named_ref(b"Lsh;").is_some());
assert!(get_named_ref(b"Lstrok;").is_some());
assert!(get_named_ref(b"Lt;").is_some());
assert!(get_named_ref(b"Map;").is_some());
assert!(get_named_ref(b"Mcy;").is_some());
assert!(get_named_ref(b"MediumSpace;").is_some());
assert!(get_named_ref(b"Mellintrf;").is_some());
assert!(get_named_ref(b"Mfr;").is_some());
assert!(get_named_ref(b"MinusPlus;").is_some());
assert!(get_named_ref(b"Mopf;").is_some());
assert!(get_named_ref(b"Mscr;").is_some());
assert!(get_named_ref(b"Mu;").is_some());
assert!(get_named_ref(b"NJcy;").is_some());
assert!(get_named_ref(b"Nacute;").is_some());
assert!(get_named_ref(b"Ncaron;").is_some());
assert!(get_named_ref(b"Ncedil;").is_some());
assert!(get_named_ref(b"Ncy;").is_some());
assert!(get_named_ref(b"NegativeMediumSpace;").is_some());
assert!(get_named_ref(b"NegativeThickSpace;").is_some());
assert!(get_named_ref(b"NegativeThinSpace;").is_some());
assert!(get_named_ref(b"NegativeVeryThinSpace;").is_some());
assert!(get_named_ref(b"NestedGreaterGreater;").is_some());
assert!(get_named_ref(b"NestedLessLess;").is_some());
assert!(get_named_ref(b"NewLine;").is_some());
assert!(get_named_ref(b"Nfr;").is_some());
assert!(get_named_ref(b"NoBreak;").is_some());
assert!(get_named_ref(b"NonBreakingSpace;").is_some());
assert!(get_named_ref(b"Nopf;").is_some());
assert!(get_named_ref(b"Not;").is_some());
assert!(get_named_ref(b"NotCongruent;").is_some());
assert!(get_named_ref(b"NotCupCap;").is_some());
assert!(get_named_ref(b"NotDoubleVerticalBar;").is_some());
assert!(get_named_ref(b"NotElement;").is_some());
assert!(get_named_ref(b"NotEqual;").is_some());
assert!(get_named_ref(b"NotEqualTilde;").is_some());
assert!(get_named_ref(b"NotExists;").is_some());
assert!(get_named_ref(b"NotGreater;").is_some());
assert!(get_named_ref(b"NotGreaterEqual;").is_some());
assert!(get_named_ref(b"NotGreaterFullEqual;").is_some());
assert!(get_named_ref(b"NotGreaterGreater;").is_some());
assert!(get_named_ref(b"NotGreaterLess;").is_some());
assert!(get_named_ref(b"NotGreaterSlantEqual;").is_some());
assert!(get_named_ref(b"NotGreaterTilde;").is_some());
assert!(get_named_ref(b"NotHumpDownHump;").is_some());
assert!(get_named_ref(b"NotHumpEqual;").is_some());
assert!(get_named_ref(b"NotLeftTriangle;").is_some());
assert!(get_named_ref(b"NotLeftTriangleBar;").is_some());
assert!(get_named_ref(b"NotLeftTriangleEqual;").is_some());
assert!(get_named_ref(b"NotLess;").is_some());
assert!(get_named_ref(b"NotLessEqual;").is_some());
assert!(get_named_ref(b"NotLessGreater;").is_some());
assert!(get_named_ref(b"NotLessLess;").is_some());
assert!(get_named_ref(b"NotLessSlantEqual;").is_some());
assert!(get_named_ref(b"NotLessTilde;").is_some());
assert!(get_named_ref(b"NotNestedGreaterGreater;").is_some());
assert!(get_named_ref(b"NotNestedLessLess;").is_some());
assert!(get_named_ref(b"NotPrecedes;").is_some());
assert!(get_named_ref(b"NotPrecedesEqual;").is_some());
assert!(get_named_ref(b"NotPrecedesSlantEqual;").is_some());
assert!(get_named_ref(b"NotReverseElement;").is_some());
assert!(get_named_ref(b"NotRightTriangle;").is_some());
assert!(get_named_ref(b"NotRightTriangleBar;").is_some());
assert!(get_named_ref(b"NotRightTriangleEqual;").is_some());
assert!(get_named_ref(b"NotSquareSubset;").is_some());
assert!(get_named_ref(b"NotSquareSubsetEqual;").is_some());
assert!(get_named_ref(b"NotSquareSuperset;").is_some());
assert!(get_named_ref(b"NotSquareSupersetEqual;").is_some());
assert!(get_named_ref(b"NotSubset;").is_some());
assert!(get_named_ref(b"NotSubsetEqual;").is_some());
assert!(get_named_ref(b"NotSucceeds;").is_some());
assert!(get_named_ref(b"NotSucceedsEqual;").is_some());
assert!(get_named_ref(b"NotSucceedsSlantEqual;").is_some());
assert!(get_named_ref(b"NotSucceedsTilde;").is_some());
assert!(get_named_ref(b"NotSuperset;").is_some());
assert!(get_named_ref(b"NotSupersetEqual;").is_some());
assert!(get_named_ref(b"NotTilde;").is_some());
assert!(get_named_ref(b"NotTildeEqual;").is_some());
assert!(get_named_ref(b"NotTildeFullEqual;").is_some());
assert!(get_named_ref(b"NotTildeTilde;").is_some());
assert!(get_named_ref(b"NotVerticalBar;").is_some());
assert!(get_named_ref(b"Nscr;").is_some());
assert!(get_named_ref(b"Ntilde").is_some());
assert!(get_named_ref(b"Ntilde;").is_some());
assert!(get_named_ref(b"Nu;").is_some());
assert!(get_named_ref(b"OElig;").is_some());
assert!(get_named_ref(b"Oacute").is_some());
assert!(get_named_ref(b"Oacute;").is_some());
assert!(get_named_ref(b"Ocirc").is_some());
assert!(get_named_ref(b"Ocirc;").is_some());
assert!(get_named_ref(b"Ocy;").is_some());
assert!(get_named_ref(b"Odblac;").is_some());
assert!(get_named_ref(b"Ofr;").is_some());
assert!(get_named_ref(b"Ograve").is_some());
assert!(get_named_ref(b"Ograve;").is_some());
assert!(get_named_ref(b"Omacr;").is_some());
assert!(get_named_ref(b"Omega;").is_some());
assert!(get_named_ref(b"Omicron;").is_some());
assert!(get_named_ref(b"Oopf;").is_some());
assert!(get_named_ref(b"OpenCurlyDoubleQuote;").is_some());
assert!(get_named_ref(b"OpenCurlyQuote;").is_some());
assert!(get_named_ref(b"Or;").is_some());
assert!(get_named_ref(b"Oscr;").is_some());
assert!(get_named_ref(b"Oslash").is_some());
assert!(get_named_ref(b"Oslash;").is_some());
assert!(get_named_ref(b"Otilde").is_some());
assert!(get_named_ref(b"Otilde;").is_some());
assert!(get_named_ref(b"Otimes;").is_some());
assert!(get_named_ref(b"Ouml").is_some());
assert!(get_named_ref(b"Ouml;").is_some());
assert!(get_named_ref(b"OverBar;").is_some());
assert!(get_named_ref(b"OverBrace;").is_some());
assert!(get_named_ref(b"OverBracket;").is_some());
assert!(get_named_ref(b"OverParenthesis;").is_some());
assert!(get_named_ref(b"PartialD;").is_some());
assert!(get_named_ref(b"Pcy;").is_some());
assert!(get_named_ref(b"Pfr;").is_some());
assert!(get_named_ref(b"Phi;").is_some());
assert!(get_named_ref(b"Pi;").is_some());
assert!(get_named_ref(b"PlusMinus;").is_some());
assert!(get_named_ref(b"Poincareplane;").is_some());
assert!(get_named_ref(b"Popf;").is_some());
assert!(get_named_ref(b"Pr;").is_some());
assert!(get_named_ref(b"Precedes;").is_some());
assert!(get_named_ref(b"PrecedesEqual;").is_some());
assert!(get_named_ref(b"PrecedesSlantEqual;").is_some());
assert!(get_named_ref(b"PrecedesTilde;").is_some());
assert!(get_named_ref(b"Prime;").is_some());
assert!(get_named_ref(b"Product;").is_some());
assert!(get_named_ref(b"Proportion;").is_some());
assert!(get_named_ref(b"Proportional;").is_some());
assert!(get_named_ref(b"Pscr;").is_some());
assert!(get_named_ref(b"Psi;").is_some());
assert!(get_named_ref(b"QUOT").is_some());
assert!(get_named_ref(b"QUOT;").is_some());
assert!(get_named_ref(b"Qfr;").is_some());
assert!(get_named_ref(b"Qopf;").is_some());
assert!(get_named_ref(b"Qscr;").is_some());
assert!(get_named_ref(b"RBarr;").is_some());
assert!(get_named_ref(b"REG").is_some());
assert!(get_named_ref(b"REG;").is_some());
assert!(get_named_ref(b"Racute;").is_some());
assert!(get_named_ref(b"Rang;").is_some());
assert!(get_named_ref(b"Rarr;").is_some());
assert!(get_named_ref(b"Rarrtl;").is_some());
assert!(get_named_ref(b"Rcaron;").is_some());
assert!(get_named_ref(b"Rcedil;").is_some());
assert!(get_named_ref(b"Rcy;").is_some());
assert!(get_named_ref(b"Re;").is_some());
assert!(get_named_ref(b"ReverseElement;").is_some());
assert!(get_named_ref(b"ReverseEquilibrium;").is_some());
assert!(get_named_ref(b"ReverseUpEquilibrium;").is_some());
assert!(get_named_ref(b"Rfr;").is_some());
assert!(get_named_ref(b"Rho;").is_some());
assert!(get_named_ref(b"RightAngleBracket;").is_some());
assert!(get_named_ref(b"RightArrow;").is_some());
assert!(get_named_ref(b"RightArrowBar;").is_some());
assert!(get_named_ref(b"RightArrowLeftArrow;").is_some());
assert!(get_named_ref(b"RightCeiling;").is_some());
assert!(get_named_ref(b"RightDoubleBracket;").is_some());
assert!(get_named_ref(b"RightDownTeeVector;").is_some());
assert!(get_named_ref(b"RightDownVector;").is_some());
assert!(get_named_ref(b"RightDownVectorBar;").is_some());
assert!(get_named_ref(b"RightFloor;").is_some());
assert!(get_named_ref(b"RightTee;").is_some());
assert!(get_named_ref(b"RightTeeArrow;").is_some());
assert!(get_named_ref(b"RightTeeVector;").is_some());
assert!(get_named_ref(b"RightTriangle;").is_some());
assert!(get_named_ref(b"RightTriangleBar;").is_some());
assert!(get_named_ref(b"RightTriangleEqual;").is_some());
assert!(get_named_ref(b"RightUpDownVector;").is_some());
assert!(get_named_ref(b"RightUpTeeVector;").is_some());
assert!(get_named_ref(b"RightUpVector;").is_some());
assert!(get_named_ref(b"RightUpVectorBar;").is_some());
assert!(get_named_ref(b"RightVector;").is_some());
assert!(get_named_ref(b"RightVectorBar;").is_some());
assert!(get_named_ref(b"Rightarrow;").is_some());
assert!(get_named_ref(b"Ropf;").is_some());
assert!(get_named_ref(b"RoundImplies;").is_some());
assert!(get_named_ref(b"Rrightarrow;").is_some());
assert!(get_named_ref(b"Rscr;").is_some());
assert!(get_named_ref(b"Rsh;").is_some());
assert!(get_named_ref(b"RuleDelayed;").is_some());
assert!(get_named_ref(b"SHCHcy;").is_some());
assert!(get_named_ref(b"SHcy;").is_some());
assert!(get_named_ref(b"SOFTcy;").is_some());
assert!(get_named_ref(b"Sacute;").is_some());
assert!(get_named_ref(b"Sc;").is_some());
assert!(get_named_ref(b"Scaron;").is_some());
assert!(get_named_ref(b"Scedil;").is_some());
assert!(get_named_ref(b"Scirc;").is_some());
assert!(get_named_ref(b"Scy;").is_some());
assert!(get_named_ref(b"Sfr;").is_some());
assert!(get_named_ref(b"ShortDownArrow;").is_some());
assert!(get_named_ref(b"ShortLeftArrow;").is_some());
assert!(get_named_ref(b"ShortRightArrow;").is_some());
assert!(get_named_ref(b"ShortUpArrow;").is_some());
assert!(get_named_ref(b"Sigma;").is_some());
assert!(get_named_ref(b"SmallCircle;").is_some());
assert!(get_named_ref(b"Sopf;").is_some());
assert!(get_named_ref(b"Sqrt;").is_some());
assert!(get_named_ref(b"Square;").is_some());
assert!(get_named_ref(b"SquareIntersection;").is_some());
assert!(get_named_ref(b"SquareSubset;").is_some());
assert!(get_named_ref(b"SquareSubsetEqual;").is_some());
assert!(get_named_ref(b"SquareSuperset;").is_some());
assert!(get_named_ref(b"SquareSupersetEqual;").is_some());
assert!(get_named_ref(b"SquareUnion;").is_some());
assert!(get_named_ref(b"Sscr;").is_some());
assert!(get_named_ref(b"Star;").is_some());
assert!(get_named_ref(b"Sub;").is_some());
assert!(get_named_ref(b"Subset;").is_some());
assert!(get_named_ref(b"SubsetEqual;").is_some());
assert!(get_named_ref(b"Succeeds;").is_some());
assert!(get_named_ref(b"SucceedsEqual;").is_some());
assert!(get_named_ref(b"SucceedsSlantEqual;").is_some());
assert!(get_named_ref(b"SucceedsTilde;").is_some());
assert!(get_named_ref(b"SuchThat;").is_some());
assert!(get_named_ref(b"Sum;").is_some());
assert!(get_named_ref(b"Sup;").is_some());
assert!(get_named_ref(b"Superset;").is_some());
assert!(get_named_ref(b"SupersetEqual;").is_some());
assert!(get_named_ref(b"Supset;").is_some());
assert!(get_named_ref(b"THORN").is_some());
assert!(get_named_ref(b"THORN;").is_some());
assert!(get_named_ref(b"TRADE;").is_some());
assert!(get_named_ref(b"TSHcy;").is_some());
assert!(get_named_ref(b"TScy;").is_some());
assert!(get_named_ref(b"Tab;").is_some());
assert!(get_named_ref(b"Tau;").is_some());
assert!(get_named_ref(b"Tcaron;").is_some());
assert!(get_named_ref(b"Tcedil;").is_some());
assert!(get_named_ref(b"Tcy;").is_some());
assert!(get_named_ref(b"Tfr;").is_some());
assert!(get_named_ref(b"Therefore;").is_some());
assert!(get_named_ref(b"Theta;").is_some());
assert!(get_named_ref(b"ThickSpace;").is_some());
assert!(get_named_ref(b"ThinSpace;").is_some());
assert!(get_named_ref(b"Tilde;").is_some());
assert!(get_named_ref(b"TildeEqual;").is_some());
assert!(get_named_ref(b"TildeFullEqual;").is_some());
assert!(get_named_ref(b"TildeTilde;").is_some());
assert!(get_named_ref(b"Topf;").is_some());
assert!(get_named_ref(b"TripleDot;").is_some());
assert!(get_named_ref(b"Tscr;").is_some());
assert!(get_named_ref(b"Tstrok;").is_some());
assert!(get_named_ref(b"Uacute").is_some());
assert!(get_named_ref(b"Uacute;").is_some());
assert!(get_named_ref(b"Uarr;").is_some());
assert!(get_named_ref(b"Uarrocir;").is_some());
assert!(get_named_ref(b"Ubrcy;").is_some());
assert!(get_named_ref(b"Ubreve;").is_some());
assert!(get_named_ref(b"Ucirc").is_some());
assert!(get_named_ref(b"Ucirc;").is_some());
assert!(get_named_ref(b"Ucy;").is_some());
assert!(get_named_ref(b"Udblac;").is_some());
assert!(get_named_ref(b"Ufr;").is_some());
assert!(get_named_ref(b"Ugrave").is_some());
assert!(get_named_ref(b"Ugrave;").is_some());
assert!(get_named_ref(b"Umacr;").is_some());
assert!(get_named_ref(b"UnderBar;").is_some());
assert!(get_named_ref(b"UnderBrace;").is_some());
assert!(get_named_ref(b"UnderBracket;").is_some());
assert!(get_named_ref(b"UnderParenthesis;").is_some());
assert!(get_named_ref(b"Union;").is_some());
assert!(get_named_ref(b"UnionPlus;").is_some());
assert!(get_named_ref(b"Uogon;").is_some());
assert!(get_named_ref(b"Uopf;").is_some());
assert!(get_named_ref(b"UpArrow;").is_some());
assert!(get_named_ref(b"UpArrowBar;").is_some());
assert!(get_named_ref(b"UpArrowDownArrow;").is_some());
assert!(get_named_ref(b"UpDownArrow;").is_some());
assert!(get_named_ref(b"UpEquilibrium;").is_some());
assert!(get_named_ref(b"UpTee;").is_some());
assert!(get_named_ref(b"UpTeeArrow;").is_some());
assert!(get_named_ref(b"Uparrow;").is_some());
assert!(get_named_ref(b"Updownarrow;").is_some());
assert!(get_named_ref(b"UpperLeftArrow;").is_some());
assert!(get_named_ref(b"UpperRightArrow;").is_some());
assert!(get_named_ref(b"Upsi;").is_some());
assert!(get_named_ref(b"Upsilon;").is_some());
assert!(get_named_ref(b"Uring;").is_some());
assert!(get_named_ref(b"Uscr;").is_some());
assert!(get_named_ref(b"Utilde;").is_some());
assert!(get_named_ref(b"Uuml").is_some());
assert!(get_named_ref(b"Uuml;").is_some());
assert!(get_named_ref(b"VDash;").is_some());
assert!(get_named_ref(b"Vbar;").is_some());
assert!(get_named_ref(b"Vcy;").is_some());
assert!(get_named_ref(b"Vdash;").is_some());
assert!(get_named_ref(b"Vdashl;").is_some());
assert!(get_named_ref(b"Vee;").is_some());
assert!(get_named_ref(b"Verbar;").is_some());
assert!(get_named_ref(b"Vert;").is_some());
assert!(get_named_ref(b"VerticalBar;").is_some());
assert!(get_named_ref(b"VerticalLine;").is_some());
assert!(get_named_ref(b"VerticalSeparator;").is_some());
assert!(get_named_ref(b"VerticalTilde;").is_some());
assert!(get_named_ref(b"VeryThinSpace;").is_some());
assert!(get_named_ref(b"Vfr;").is_some());
assert!(get_named_ref(b"Vopf;").is_some());
assert!(get_named_ref(b"Vscr;").is_some());
assert!(get_named_ref(b"Vvdash;").is_some());
assert!(get_named_ref(b"Wcirc;").is_some());
assert!(get_named_ref(b"Wedge;").is_some());
assert!(get_named_ref(b"Wfr;").is_some());
assert!(get_named_ref(b"Wopf;").is_some());
assert!(get_named_ref(b"Wscr;").is_some());
assert!(get_named_ref(b"Xfr;").is_some());
assert!(get_named_ref(b"Xi;").is_some());
assert!(get_named_ref(b"Xopf;").is_some());
assert!(get_named_ref(b"Xscr;").is_some());
assert!(get_named_ref(b"YAcy;").is_some());
assert!(get_named_ref(b"YIcy;").is_some());
assert!(get_named_ref(b"YUcy;").is_some());
assert!(get_named_ref(b"Yacute").is_some());
assert!(get_named_ref(b"Yacute;").is_some());
assert!(get_named_ref(b"Ycirc;").is_some());
assert!(get_named_ref(b"Ycy;").is_some());
assert!(get_named_ref(b"Yfr;").is_some());
assert!(get_named_ref(b"Yopf;").is_some());
assert!(get_named_ref(b"Yscr;").is_some());
assert!(get_named_ref(b"Yuml;").is_some());
assert!(get_named_ref(b"ZHcy;").is_some());
assert!(get_named_ref(b"Zacute;").is_some());
assert!(get_named_ref(b"Zcaron;").is_some());
assert!(get_named_ref(b"Zcy;").is_some());
assert!(get_named_ref(b"Zdot;").is_some());
assert!(get_named_ref(b"ZeroWidthSpace;").is_some());
assert!(get_named_ref(b"Zeta;").is_some());
assert!(get_named_ref(b"Zfr;").is_some());
assert!(get_named_ref(b"Zopf;").is_some());
assert!(get_named_ref(b"Zscr;").is_some());
assert!(get_named_ref(b"aacute").is_some());
assert!(get_named_ref(b"aacute;").is_some());
assert!(get_named_ref(b"abreve;").is_some());
assert!(get_named_ref(b"ac;").is_some());
assert!(get_named_ref(b"acE;").is_some());
assert!(get_named_ref(b"acd;").is_some());
assert!(get_named_ref(b"acirc").is_some());
assert!(get_named_ref(b"acirc;").is_some());
assert!(get_named_ref(b"acute").is_some());
assert!(get_named_ref(b"acute;").is_some());
assert!(get_named_ref(b"acy;").is_some());
assert!(get_named_ref(b"aelig").is_some());
assert!(get_named_ref(b"aelig;").is_some());
assert!(get_named_ref(b"af;").is_some());
assert!(get_named_ref(b"afr;").is_some());
assert!(get_named_ref(b"agrave").is_some());
assert!(get_named_ref(b"agrave;").is_some());
assert!(get_named_ref(b"alefsym;").is_some());
assert!(get_named_ref(b"aleph;").is_some());
assert!(get_named_ref(b"alpha;").is_some());
assert!(get_named_ref(b"amacr;").is_some());
assert!(get_named_ref(b"amalg;").is_some());
assert!(get_named_ref(b"amp").is_some());
assert!(get_named_ref(b"amp;").is_some());
assert!(get_named_ref(b"and;").is_some());
assert!(get_named_ref(b"andand;").is_some());
assert!(get_named_ref(b"andd;").is_some());
assert!(get_named_ref(b"andslope;").is_some());
assert!(get_named_ref(b"andv;").is_some());
assert!(get_named_ref(b"ang;").is_some());
assert!(get_named_ref(b"ange;").is_some());
assert!(get_named_ref(b"angle;").is_some());
assert!(get_named_ref(b"angmsd;").is_some());
assert!(get_named_ref(b"angmsdaa;").is_some());
assert!(get_named_ref(b"angmsdab;").is_some());
assert!(get_named_ref(b"angmsdac;").is_some());
assert!(get_named_ref(b"angmsdad;").is_some());
assert!(get_named_ref(b"angmsdae;").is_some());
assert!(get_named_ref(b"angmsdaf;").is_some());
assert!(get_named_ref(b"angmsdag;").is_some());
assert!(get_named_ref(b"angmsdah;").is_some());
assert!(get_named_ref(b"angrt;").is_some());
assert!(get_named_ref(b"angrtvb;").is_some());
assert!(get_named_ref(b"angrtvbd;").is_some());
assert!(get_named_ref(b"angsph;").is_some());
assert!(get_named_ref(b"angst;").is_some());
assert!(get_named_ref(b"angzarr;").is_some());
assert!(get_named_ref(b"aogon;").is_some());
assert!(get_named_ref(b"aopf;").is_some());
assert!(get_named_ref(b"ap;").is_some());
assert!(get_named_ref(b"apE;").is_some());
assert!(get_named_ref(b"apacir;").is_some());
assert!(get_named_ref(b"ape;").is_some());
assert!(get_named_ref(b"apid;").is_some());
assert!(get_named_ref(b"apos;").is_some());
assert!(get_named_ref(b"approx;").is_some());
assert!(get_named_ref(b"approxeq;").is_some());
assert!(get_named_ref(b"aring").is_some());
assert!(get_named_ref(b"aring;").is_some());
assert!(get_named_ref(b"ascr;").is_some());
assert!(get_named_ref(b"ast;").is_some());
assert!(get_named_ref(b"asymp;").is_some());
assert!(get_named_ref(b"asympeq;").is_some());
assert!(get_named_ref(b"atilde").is_some());
assert!(get_named_ref(b"atilde;").is_some());
assert!(get_named_ref(b"auml").is_some());
assert!(get_named_ref(b"auml;").is_some());
assert!(get_named_ref(b"awconint;").is_some());
assert!(get_named_ref(b"awint;").is_some());
assert!(get_named_ref(b"bNot;").is_some());
assert!(get_named_ref(b"backcong;").is_some());
assert!(get_named_ref(b"backepsilon;").is_some());
assert!(get_named_ref(b"backprime;").is_some());
assert!(get_named_ref(b"backsim;").is_some());
assert!(get_named_ref(b"backsimeq;").is_some());
assert!(get_named_ref(b"barvee;").is_some());
assert!(get_named_ref(b"barwed;").is_some());
assert!(get_named_ref(b"barwedge;").is_some());
assert!(get_named_ref(b"bbrk;").is_some());
assert!(get_named_ref(b"bbrktbrk;").is_some());
assert!(get_named_ref(b"bcong;").is_some());
assert!(get_named_ref(b"bcy;").is_some());
assert!(get_named_ref(b"bdquo;").is_some());
assert!(get_named_ref(b"becaus;").is_some());
assert!(get_named_ref(b"because;").is_some());
assert!(get_named_ref(b"bemptyv;").is_some());
assert!(get_named_ref(b"bepsi;").is_some());
assert!(get_named_ref(b"bernou;").is_some());
assert!(get_named_ref(b"beta;").is_some());
assert!(get_named_ref(b"beth;").is_some());
assert!(get_named_ref(b"between;").is_some());
assert!(get_named_ref(b"bfr;").is_some());
assert!(get_named_ref(b"bigcap;").is_some());
assert!(get_named_ref(b"bigcirc;").is_some());
assert!(get_named_ref(b"bigcup;").is_some());
assert!(get_named_ref(b"bigodot;").is_some());
assert!(get_named_ref(b"bigoplus;").is_some());
assert!(get_named_ref(b"bigotimes;").is_some());
assert!(get_named_ref(b"bigsqcup;").is_some());
assert!(get_named_ref(b"bigstar;").is_some());
assert!(get_named_ref(b"bigtriangledown;").is_some());
assert!(get_named_ref(b"bigtriangleup;").is_some());
assert!(get_named_ref(b"biguplus;").is_some());
assert!(get_named_ref(b"bigvee;").is_some());
assert!(get_named_ref(b"bigwedge;").is_some());
assert!(get_named_ref(b"bkarow;").is_some());
assert!(get_named_ref(b"blacklozenge;").is_some());
assert!(get_named_ref(b"blacksquare;").is_some());
assert!(get_named_ref(b"blacktriangle;").is_some());
assert!(get_named_ref(b"blacktriangledown;").is_some());
assert!(get_named_ref(b"blacktriangleleft;").is_some());
assert!(get_named_ref(b"blacktriangleright;").is_some());
assert!(get_named_ref(b"blank;").is_some());
assert!(get_named_ref(b"blk12;").is_some());
assert!(get_named_ref(b"blk14;").is_some());
assert!(get_named_ref(b"blk34;").is_some());
assert!(get_named_ref(b"block;").is_some());
assert!(get_named_ref(b"bne;").is_some());
assert!(get_named_ref(b"bnequiv;").is_some());
assert!(get_named_ref(b"bnot;").is_some());
assert!(get_named_ref(b"bopf;").is_some());
assert!(get_named_ref(b"bot;").is_some());
assert!(get_named_ref(b"bottom;").is_some());
assert!(get_named_ref(b"bowtie;").is_some());
assert!(get_named_ref(b"boxDL;").is_some());
assert!(get_named_ref(b"boxDR;").is_some());
assert!(get_named_ref(b"boxDl;").is_some());
assert!(get_named_ref(b"boxDr;").is_some());
assert!(get_named_ref(b"boxH;").is_some());
assert!(get_named_ref(b"boxHD;").is_some());
assert!(get_named_ref(b"boxHU;").is_some());
assert!(get_named_ref(b"boxHd;").is_some());
assert!(get_named_ref(b"boxHu;").is_some());
assert!(get_named_ref(b"boxUL;").is_some());
assert!(get_named_ref(b"boxUR;").is_some());
assert!(get_named_ref(b"boxUl;").is_some());
assert!(get_named_ref(b"boxUr;").is_some());
assert!(get_named_ref(b"boxV;").is_some());
assert!(get_named_ref(b"boxVH;").is_some());
assert!(get_named_ref(b"boxVL;").is_some());
assert!(get_named_ref(b"boxVR;").is_some());
assert!(get_named_ref(b"boxVh;").is_some());
assert!(get_named_ref(b"boxVl;").is_some());
assert!(get_named_ref(b"boxVr;").is_some());
assert!(get_named_ref(b"boxbox;").is_some());
assert!(get_named_ref(b"boxdL;").is_some());
assert!(get_named_ref(b"boxdR;").is_some());
assert!(get_named_ref(b"boxdl;").is_some());
assert!(get_named_ref(b"boxdr;").is_some());
assert!(get_named_ref(b"boxh;").is_some());
assert!(get_named_ref(b"boxhD;").is_some());
assert!(get_named_ref(b"boxhU;").is_some());
assert!(get_named_ref(b"boxhd;").is_some());
assert!(get_named_ref(b"boxhu;").is_some());
assert!(get_named_ref(b"boxminus;").is_some());
assert!(get_named_ref(b"boxplus;").is_some());
assert!(get_named_ref(b"boxtimes;").is_some());
assert!(get_named_ref(b"boxuL;").is_some());
assert!(get_named_ref(b"boxuR;").is_some());
assert!(get_named_ref(b"boxul;").is_some());
assert!(get_named_ref(b"boxur;").is_some());
assert!(get_named_ref(b"boxv;").is_some());
assert!(get_named_ref(b"boxvH;").is_some());
assert!(get_named_ref(b"boxvL;").is_some());
assert!(get_named_ref(b"boxvR;").is_some());
assert!(get_named_ref(b"boxvh;").is_some());
assert!(get_named_ref(b"boxvl;").is_some());
assert!(get_named_ref(b"boxvr;").is_some());
assert!(get_named_ref(b"bprime;").is_some());
assert!(get_named_ref(b"breve;").is_some());
assert!(get_named_ref(b"brvbar").is_some());
assert!(get_named_ref(b"brvbar;").is_some());
assert!(get_named_ref(b"bscr;").is_some());
assert!(get_named_ref(b"bsemi;").is_some());
assert!(get_named_ref(b"bsim;").is_some());
assert!(get_named_ref(b"bsime;").is_some());
assert!(get_named_ref(b"bsol;").is_some());
assert!(get_named_ref(b"bsolb;").is_some());
assert!(get_named_ref(b"bsolhsub;").is_some());
assert!(get_named_ref(b"bull;").is_some());
assert!(get_named_ref(b"bullet;").is_some());
assert!(get_named_ref(b"bump;").is_some());
assert!(get_named_ref(b"bumpE;").is_some());
assert!(get_named_ref(b"bumpe;").is_some());
assert!(get_named_ref(b"bumpeq;").is_some());
assert!(get_named_ref(b"cacute;").is_some());
assert!(get_named_ref(b"cap;").is_some());
assert!(get_named_ref(b"capand;").is_some());
assert!(get_named_ref(b"capbrcup;").is_some());
assert!(get_named_ref(b"capcap;").is_some());
assert!(get_named_ref(b"capcup;").is_some());
assert!(get_named_ref(b"capdot;").is_some());
assert!(get_named_ref(b"caps;").is_some());
assert!(get_named_ref(b"caret;").is_some());
assert!(get_named_ref(b"caron;").is_some());
assert!(get_named_ref(b"ccaps;").is_some());
assert!(get_named_ref(b"ccaron;").is_some());
assert!(get_named_ref(b"ccedil").is_some());
assert!(get_named_ref(b"ccedil;").is_some());
assert!(get_named_ref(b"ccirc;").is_some());
assert!(get_named_ref(b"ccups;").is_some());
assert!(get_named_ref(b"ccupssm;").is_some());
assert!(get_named_ref(b"cdot;").is_some());
assert!(get_named_ref(b"cedil").is_some());
assert!(get_named_ref(b"cedil;").is_some());
assert!(get_named_ref(b"cemptyv;").is_some());
assert!(get_named_ref(b"cent").is_some());
assert!(get_named_ref(b"cent;").is_some());
assert!(get_named_ref(b"centerdot;").is_some());
assert!(get_named_ref(b"cfr;").is_some());
assert!(get_named_ref(b"chcy;").is_some());
assert!(get_named_ref(b"check;").is_some());
assert!(get_named_ref(b"checkmark;").is_some());
assert!(get_named_ref(b"chi;").is_some());
assert!(get_named_ref(b"cir;").is_some());
assert!(get_named_ref(b"cirE;").is_some());
assert!(get_named_ref(b"circ;").is_some());
assert!(get_named_ref(b"circeq;").is_some());
assert!(get_named_ref(b"circlearrowleft;").is_some());
assert!(get_named_ref(b"circlearrowright;").is_some());
assert!(get_named_ref(b"circledR;").is_some());
assert!(get_named_ref(b"circledS;").is_some());
assert!(get_named_ref(b"circledast;").is_some());
assert!(get_named_ref(b"circledcirc;").is_some());
assert!(get_named_ref(b"circleddash;").is_some());
assert!(get_named_ref(b"cire;").is_some());
assert!(get_named_ref(b"cirfnint;").is_some());
assert!(get_named_ref(b"cirmid;").is_some());
assert!(get_named_ref(b"cirscir;").is_some());
assert!(get_named_ref(b"clubs;").is_some());
assert!(get_named_ref(b"clubsuit;").is_some());
assert!(get_named_ref(b"colon;").is_some());
assert!(get_named_ref(b"colone;").is_some());
assert!(get_named_ref(b"coloneq;").is_some());
assert!(get_named_ref(b"comma;").is_some());
assert!(get_named_ref(b"commat;").is_some());
assert!(get_named_ref(b"comp;").is_some());
assert!(get_named_ref(b"compfn;").is_some());
assert!(get_named_ref(b"complement;").is_some());
assert!(get_named_ref(b"complexes;").is_some());
assert!(get_named_ref(b"cong;").is_some());
assert!(get_named_ref(b"congdot;").is_some());
assert!(get_named_ref(b"conint;").is_some());
assert!(get_named_ref(b"copf;").is_some());
assert!(get_named_ref(b"coprod;").is_some());
assert!(get_named_ref(b"copy").is_some());
assert!(get_named_ref(b"copy;").is_some());
assert!(get_named_ref(b"copysr;").is_some());
assert!(get_named_ref(b"crarr;").is_some());
assert!(get_named_ref(b"cross;").is_some());
assert!(get_named_ref(b"cscr;").is_some());
assert!(get_named_ref(b"csub;").is_some());
assert!(get_named_ref(b"csube;").is_some());
assert!(get_named_ref(b"csup;").is_some());
assert!(get_named_ref(b"csupe;").is_some());
assert!(get_named_ref(b"ctdot;").is_some());
assert!(get_named_ref(b"cudarrl;").is_some());
assert!(get_named_ref(b"cudarrr;").is_some());
assert!(get_named_ref(b"cuepr;").is_some());
assert!(get_named_ref(b"cuesc;").is_some());
assert!(get_named_ref(b"cularr;").is_some());
assert!(get_named_ref(b"cularrp;").is_some());
assert!(get_named_ref(b"cup;").is_some());
assert!(get_named_ref(b"cupbrcap;").is_some());
assert!(get_named_ref(b"cupcap;").is_some());
assert!(get_named_ref(b"cupcup;").is_some());
assert!(get_named_ref(b"cupdot;").is_some());
assert!(get_named_ref(b"cupor;").is_some());
assert!(get_named_ref(b"cups;").is_some());
assert!(get_named_ref(b"curarr;").is_some());
assert!(get_named_ref(b"curarrm;").is_some());
assert!(get_named_ref(b"curlyeqprec;").is_some());
assert!(get_named_ref(b"curlyeqsucc;").is_some());
assert!(get_named_ref(b"curlyvee;").is_some());
assert!(get_named_ref(b"curlywedge;").is_some());
assert!(get_named_ref(b"curren").is_some());
assert!(get_named_ref(b"curren;").is_some());
assert!(get_named_ref(b"curvearrowleft;").is_some());
assert!(get_named_ref(b"curvearrowright;").is_some());
assert!(get_named_ref(b"cuvee;").is_some());
assert!(get_named_ref(b"cuwed;").is_some());
assert!(get_named_ref(b"cwconint;").is_some());
assert!(get_named_ref(b"cwint;").is_some());
assert!(get_named_ref(b"cylcty;").is_some());
assert!(get_named_ref(b"dArr;").is_some());
assert!(get_named_ref(b"dHar;").is_some());
assert!(get_named_ref(b"dagger;").is_some());
assert!(get_named_ref(b"daleth;").is_some());
assert!(get_named_ref(b"darr;").is_some());
assert!(get_named_ref(b"dash;").is_some());
assert!(get_named_ref(b"dashv;").is_some());
assert!(get_named_ref(b"dbkarow;").is_some());
assert!(get_named_ref(b"dblac;").is_some());
assert!(get_named_ref(b"dcaron;").is_some());
assert!(get_named_ref(b"dcy;").is_some());
assert!(get_named_ref(b"dd;").is_some());
assert!(get_named_ref(b"ddagger;").is_some());
assert!(get_named_ref(b"ddarr;").is_some());
assert!(get_named_ref(b"ddotseq;").is_some());
assert!(get_named_ref(b"deg").is_some());
assert!(get_named_ref(b"deg;").is_some());
assert!(get_named_ref(b"delta;").is_some());
assert!(get_named_ref(b"demptyv;").is_some());
assert!(get_named_ref(b"dfisht;").is_some());
assert!(get_named_ref(b"dfr;").is_some());
assert!(get_named_ref(b"dharl;").is_some());
assert!(get_named_ref(b"dharr;").is_some());
assert!(get_named_ref(b"diam;").is_some());
assert!(get_named_ref(b"diamond;").is_some());
assert!(get_named_ref(b"diamondsuit;").is_some());
assert!(get_named_ref(b"diams;").is_some());
assert!(get_named_ref(b"die;").is_some());
assert!(get_named_ref(b"digamma;").is_some());
assert!(get_named_ref(b"disin;").is_some());
assert!(get_named_ref(b"div;").is_some());
assert!(get_named_ref(b"divide").is_some());
assert!(get_named_ref(b"divide;").is_some());
assert!(get_named_ref(b"divideontimes;").is_some());
assert!(get_named_ref(b"divonx;").is_some());
assert!(get_named_ref(b"djcy;").is_some());
assert!(get_named_ref(b"dlcorn;").is_some());
assert!(get_named_ref(b"dlcrop;").is_some());
assert!(get_named_ref(b"dollar;").is_some());
assert!(get_named_ref(b"dopf;").is_some());
assert!(get_named_ref(b"dot;").is_some());
assert!(get_named_ref(b"doteq;").is_some());
assert!(get_named_ref(b"doteqdot;").is_some());
assert!(get_named_ref(b"dotminus;").is_some());
assert!(get_named_ref(b"dotplus;").is_some());
assert!(get_named_ref(b"dotsquare;").is_some());
assert!(get_named_ref(b"doublebarwedge;").is_some());
assert!(get_named_ref(b"downarrow;").is_some());
assert!(get_named_ref(b"downdownarrows;").is_some());
assert!(get_named_ref(b"downharpoonleft;").is_some());
assert!(get_named_ref(b"downharpoonright;").is_some());
assert!(get_named_ref(b"drbkarow;").is_some());
assert!(get_named_ref(b"drcorn;").is_some());
assert!(get_named_ref(b"drcrop;").is_some());
assert!(get_named_ref(b"dscr;").is_some());
assert!(get_named_ref(b"dscy;").is_some());
assert!(get_named_ref(b"dsol;").is_some());
assert!(get_named_ref(b"dstrok;").is_some());
assert!(get_named_ref(b"dtdot;").is_some());
assert!(get_named_ref(b"dtri;").is_some());
assert!(get_named_ref(b"dtrif;").is_some());
assert!(get_named_ref(b"duarr;").is_some());
assert!(get_named_ref(b"duhar;").is_some());
assert!(get_named_ref(b"dwangle;").is_some());
assert!(get_named_ref(b"dzcy;").is_some());
assert!(get_named_ref(b"dzigrarr;").is_some());
assert!(get_named_ref(b"eDDot;").is_some());
assert!(get_named_ref(b"eDot;").is_some());
assert!(get_named_ref(b"eacute").is_some());
assert!(get_named_ref(b"eacute;").is_some());
assert!(get_named_ref(b"easter;").is_some());
assert!(get_named_ref(b"ecaron;").is_some());
assert!(get_named_ref(b"ecir;").is_some());
assert!(get_named_ref(b"ecirc").is_some());
assert!(get_named_ref(b"ecirc;").is_some());
assert!(get_named_ref(b"ecolon;").is_some());
assert!(get_named_ref(b"ecy;").is_some());
assert!(get_named_ref(b"edot;").is_some());
assert!(get_named_ref(b"ee;").is_some());
assert!(get_named_ref(b"efDot;").is_some());
assert!(get_named_ref(b"efr;").is_some());
assert!(get_named_ref(b"eg;").is_some());
assert!(get_named_ref(b"egrave").is_some());
assert!(get_named_ref(b"egrave;").is_some());
assert!(get_named_ref(b"egs;").is_some());
assert!(get_named_ref(b"egsdot;").is_some());
assert!(get_named_ref(b"el;").is_some());
assert!(get_named_ref(b"elinters;").is_some());
assert!(get_named_ref(b"ell;").is_some());
assert!(get_named_ref(b"els;").is_some());
assert!(get_named_ref(b"elsdot;").is_some());
assert!(get_named_ref(b"emacr;").is_some());
assert!(get_named_ref(b"empty;").is_some());
assert!(get_named_ref(b"emptyset;").is_some());
assert!(get_named_ref(b"emptyv;").is_some());
assert!(get_named_ref(b"emsp13;").is_some());
assert!(get_named_ref(b"emsp14;").is_some());
assert!(get_named_ref(b"emsp;").is_some());
assert!(get_named_ref(b"eng;").is_some());
assert!(get_named_ref(b"ensp;").is_some());
assert!(get_named_ref(b"eogon;").is_some());
assert!(get_named_ref(b"eopf;").is_some());
assert!(get_named_ref(b"epar;").is_some());
assert!(get_named_ref(b"eparsl;").is_some());
assert!(get_named_ref(b"eplus;").is_some());
assert!(get_named_ref(b"epsi;").is_some());
assert!(get_named_ref(b"epsilon;").is_some());
assert!(get_named_ref(b"epsiv;").is_some());
assert!(get_named_ref(b"eqcirc;").is_some());
assert!(get_named_ref(b"eqcolon;").is_some());
assert!(get_named_ref(b"eqsim;").is_some());
assert!(get_named_ref(b"eqslantgtr;").is_some());
assert!(get_named_ref(b"eqslantless;").is_some());
assert!(get_named_ref(b"equals;").is_some());
assert!(get_named_ref(b"equest;").is_some());
assert!(get_named_ref(b"equiv;").is_some());
assert!(get_named_ref(b"equivDD;").is_some());
assert!(get_named_ref(b"eqvparsl;").is_some());
assert!(get_named_ref(b"erDot;").is_some());
assert!(get_named_ref(b"erarr;").is_some());
assert!(get_named_ref(b"escr;").is_some());
assert!(get_named_ref(b"esdot;").is_some());
assert!(get_named_ref(b"esim;").is_some());
assert!(get_named_ref(b"eta;").is_some());
assert!(get_named_ref(b"eth").is_some());
assert!(get_named_ref(b"eth;").is_some());
assert!(get_named_ref(b"euml").is_some());
assert!(get_named_ref(b"euml;").is_some());
assert!(get_named_ref(b"euro;").is_some());
assert!(get_named_ref(b"excl;").is_some());
assert!(get_named_ref(b"exist;").is_some());
assert!(get_named_ref(b"expectation;").is_some());
assert!(get_named_ref(b"exponentiale;").is_some());
assert!(get_named_ref(b"fallingdotseq;").is_some());
assert!(get_named_ref(b"fcy;").is_some());
assert!(get_named_ref(b"female;").is_some());
assert!(get_named_ref(b"ffilig;").is_some());
assert!(get_named_ref(b"fflig;").is_some());
assert!(get_named_ref(b"ffllig;").is_some());
assert!(get_named_ref(b"ffr;").is_some());
assert!(get_named_ref(b"filig;").is_some());
assert!(get_named_ref(b"fjlig;").is_some());
assert!(get_named_ref(b"flat;").is_some());
assert!(get_named_ref(b"fllig;").is_some());
assert!(get_named_ref(b"fltns;").is_some());
assert!(get_named_ref(b"fnof;").is_some());
assert!(get_named_ref(b"fopf;").is_some());
assert!(get_named_ref(b"forall;").is_some());
assert!(get_named_ref(b"fork;").is_some());
assert!(get_named_ref(b"forkv;").is_some());
assert!(get_named_ref(b"fpartint;").is_some());
assert!(get_named_ref(b"frac12").is_some());
assert!(get_named_ref(b"frac12;").is_some());
assert!(get_named_ref(b"frac13;").is_some());
assert!(get_named_ref(b"frac14").is_some());
assert!(get_named_ref(b"frac14;").is_some());
assert!(get_named_ref(b"frac15;").is_some());
assert!(get_named_ref(b"frac16;").is_some());
assert!(get_named_ref(b"frac18;").is_some());
assert!(get_named_ref(b"frac23;").is_some());
assert!(get_named_ref(b"frac25;").is_some());
assert!(get_named_ref(b"frac34").is_some());
assert!(get_named_ref(b"frac34;").is_some());
assert!(get_named_ref(b"frac35;").is_some());
assert!(get_named_ref(b"frac38;").is_some());
assert!(get_named_ref(b"frac45;").is_some());
assert!(get_named_ref(b"frac56;").is_some());
assert!(get_named_ref(b"frac58;").is_some());
assert!(get_named_ref(b"frac78;").is_some());
assert!(get_named_ref(b"frasl;").is_some());
assert!(get_named_ref(b"frown;").is_some());
assert!(get_named_ref(b"fscr;").is_some());
assert!(get_named_ref(b"gE;").is_some());
assert!(get_named_ref(b"gEl;").is_some());
assert!(get_named_ref(b"gacute;").is_some());
assert!(get_named_ref(b"gamma;").is_some());
assert!(get_named_ref(b"gammad;").is_some());
assert!(get_named_ref(b"gap;").is_some());
assert!(get_named_ref(b"gbreve;").is_some());
assert!(get_named_ref(b"gcirc;").is_some());
assert!(get_named_ref(b"gcy;").is_some());
assert!(get_named_ref(b"gdot;").is_some());
assert!(get_named_ref(b"ge;").is_some());
assert!(get_named_ref(b"gel;").is_some());
assert!(get_named_ref(b"geq;").is_some());
assert!(get_named_ref(b"geqq;").is_some());
assert!(get_named_ref(b"geqslant;").is_some());
assert!(get_named_ref(b"ges;").is_some());
assert!(get_named_ref(b"gescc;").is_some());
assert!(get_named_ref(b"gesdot;").is_some());
assert!(get_named_ref(b"gesdoto;").is_some());
assert!(get_named_ref(b"gesdotol;").is_some());
assert!(get_named_ref(b"gesl;").is_some());
assert!(get_named_ref(b"gesles;").is_some());
assert!(get_named_ref(b"gfr;").is_some());
assert!(get_named_ref(b"gg;").is_some());
assert!(get_named_ref(b"ggg;").is_some());
assert!(get_named_ref(b"gimel;").is_some());
assert!(get_named_ref(b"gjcy;").is_some());
assert!(get_named_ref(b"gl;").is_some());
assert!(get_named_ref(b"glE;").is_some());
assert!(get_named_ref(b"gla;").is_some());
assert!(get_named_ref(b"glj;").is_some());
assert!(get_named_ref(b"gnE;").is_some());
assert!(get_named_ref(b"gnap;").is_some());
assert!(get_named_ref(b"gnapprox;").is_some());
assert!(get_named_ref(b"gne;").is_some());
assert!(get_named_ref(b"gneq;").is_some());
assert!(get_named_ref(b"gneqq;").is_some());
assert!(get_named_ref(b"gnsim;").is_some());
assert!(get_named_ref(b"gopf;").is_some());
assert!(get_named_ref(b"grave;").is_some());
assert!(get_named_ref(b"gscr;").is_some());
assert!(get_named_ref(b"gsim;").is_some());
assert!(get_named_ref(b"gsime;").is_some());
assert!(get_named_ref(b"gsiml;").is_some());
assert!(get_named_ref(b"gt").is_some());
assert!(get_named_ref(b"gt;").is_some());
assert!(get_named_ref(b"gtcc;").is_some());
assert!(get_named_ref(b"gtcir;").is_some());
assert!(get_named_ref(b"gtdot;").is_some());
assert!(get_named_ref(b"gtlPar;").is_some());
assert!(get_named_ref(b"gtquest;").is_some());
assert!(get_named_ref(b"gtrapprox;").is_some());
assert!(get_named_ref(b"gtrarr;").is_some());
assert!(get_named_ref(b"gtrdot;").is_some());
assert!(get_named_ref(b"gtreqless;").is_some());
assert!(get_named_ref(b"gtreqqless;").is_some());
assert!(get_named_ref(b"gtrless;").is_some());
assert!(get_named_ref(b"gtrsim;").is_some());
assert!(get_named_ref(b"gvertneqq;").is_some());
assert!(get_named_ref(b"gvnE;").is_some());
assert!(get_named_ref(b"hArr;").is_some());
assert!(get_named_ref(b"hairsp;").is_some());
assert!(get_named_ref(b"half;").is_some());
assert!(get_named_ref(b"hamilt;").is_some());
assert!(get_named_ref(b"hardcy;").is_some());
assert!(get_named_ref(b"harr;").is_some());
assert!(get_named_ref(b"harrcir;").is_some());
assert!(get_named_ref(b"harrw;").is_some());
assert!(get_named_ref(b"hbar;").is_some());
assert!(get_named_ref(b"hcirc;").is_some());
assert!(get_named_ref(b"hearts;").is_some());
assert!(get_named_ref(b"heartsuit;").is_some());
assert!(get_named_ref(b"hellip;").is_some());
assert!(get_named_ref(b"hercon;").is_some());
assert!(get_named_ref(b"hfr;").is_some());
assert!(get_named_ref(b"hksearow;").is_some());
assert!(get_named_ref(b"hkswarow;").is_some());
assert!(get_named_ref(b"hoarr;").is_some());
assert!(get_named_ref(b"homtht;").is_some());
assert!(get_named_ref(b"hookleftarrow;").is_some());
assert!(get_named_ref(b"hookrightarrow;").is_some());
assert!(get_named_ref(b"hopf;").is_some());
assert!(get_named_ref(b"horbar;").is_some());
assert!(get_named_ref(b"hscr;").is_some());
assert!(get_named_ref(b"hslash;").is_some());
assert!(get_named_ref(b"hstrok;").is_some());
assert!(get_named_ref(b"hybull;").is_some());
assert!(get_named_ref(b"hyphen;").is_some());
assert!(get_named_ref(b"iacute").is_some());
assert!(get_named_ref(b"iacute;").is_some());
assert!(get_named_ref(b"ic;").is_some());
assert!(get_named_ref(b"icirc").is_some());
assert!(get_named_ref(b"icirc;").is_some());
assert!(get_named_ref(b"icy;").is_some());
assert!(get_named_ref(b"iecy;").is_some());
assert!(get_named_ref(b"iexcl").is_some());
assert!(get_named_ref(b"iexcl;").is_some());
assert!(get_named_ref(b"iff;").is_some());
assert!(get_named_ref(b"ifr;").is_some());
assert!(get_named_ref(b"igrave").is_some());
assert!(get_named_ref(b"igrave;").is_some());
assert!(get_named_ref(b"ii;").is_some());
assert!(get_named_ref(b"iiiint;").is_some());
assert!(get_named_ref(b"iiint;").is_some());
assert!(get_named_ref(b"iinfin;").is_some());
assert!(get_named_ref(b"iiota;").is_some());
assert!(get_named_ref(b"ijlig;").is_some());
assert!(get_named_ref(b"imacr;").is_some());
assert!(get_named_ref(b"image;").is_some());
assert!(get_named_ref(b"imagline;").is_some());
assert!(get_named_ref(b"imagpart;").is_some());
assert!(get_named_ref(b"imath;").is_some());
assert!(get_named_ref(b"imof;").is_some());
assert!(get_named_ref(b"imped;").is_some());
assert!(get_named_ref(b"in;").is_some());
assert!(get_named_ref(b"incare;").is_some());
assert!(get_named_ref(b"infin;").is_some());
assert!(get_named_ref(b"infintie;").is_some());
assert!(get_named_ref(b"inodot;").is_some());
assert!(get_named_ref(b"int;").is_some());
assert!(get_named_ref(b"intcal;").is_some());
assert!(get_named_ref(b"integers;").is_some());
assert!(get_named_ref(b"intercal;").is_some());
assert!(get_named_ref(b"intlarhk;").is_some());
assert!(get_named_ref(b"intprod;").is_some());
assert!(get_named_ref(b"iocy;").is_some());
assert!(get_named_ref(b"iogon;").is_some());
assert!(get_named_ref(b"iopf;").is_some());
assert!(get_named_ref(b"iota;").is_some());
assert!(get_named_ref(b"iprod;").is_some());
assert!(get_named_ref(b"iquest").is_some());
assert!(get_named_ref(b"iquest;").is_some());
assert!(get_named_ref(b"iscr;").is_some());
assert!(get_named_ref(b"isin;").is_some());
assert!(get_named_ref(b"isinE;").is_some());
assert!(get_named_ref(b"isindot;").is_some());
assert!(get_named_ref(b"isins;").is_some());
assert!(get_named_ref(b"isinsv;").is_some());
assert!(get_named_ref(b"isinv;").is_some());
assert!(get_named_ref(b"it;").is_some());
assert!(get_named_ref(b"itilde;").is_some());
assert!(get_named_ref(b"iukcy;").is_some());
assert!(get_named_ref(b"iuml").is_some());
assert!(get_named_ref(b"iuml;").is_some());
assert!(get_named_ref(b"jcirc;").is_some());
assert!(get_named_ref(b"jcy;").is_some());
assert!(get_named_ref(b"jfr;").is_some());
assert!(get_named_ref(b"jmath;").is_some());
assert!(get_named_ref(b"jopf;").is_some());
assert!(get_named_ref(b"jscr;").is_some());
assert!(get_named_ref(b"jsercy;").is_some());
assert!(get_named_ref(b"jukcy;").is_some());
assert!(get_named_ref(b"kappa;").is_some());
assert!(get_named_ref(b"kappav;").is_some());
assert!(get_named_ref(b"kcedil;").is_some());
assert!(get_named_ref(b"kcy;").is_some());
assert!(get_named_ref(b"kfr;").is_some());
assert!(get_named_ref(b"kgreen;").is_some());
assert!(get_named_ref(b"khcy;").is_some());
assert!(get_named_ref(b"kjcy;").is_some());
assert!(get_named_ref(b"kopf;").is_some());
assert!(get_named_ref(b"kscr;").is_some());
assert!(get_named_ref(b"lAarr;").is_some());
assert!(get_named_ref(b"lArr;").is_some());
assert!(get_named_ref(b"lAtail;").is_some());
assert!(get_named_ref(b"lBarr;").is_some());
assert!(get_named_ref(b"lE;").is_some());
assert!(get_named_ref(b"lEg;").is_some());
assert!(get_named_ref(b"lHar;").is_some());
assert!(get_named_ref(b"lacute;").is_some());
assert!(get_named_ref(b"laemptyv;").is_some());
assert!(get_named_ref(b"lagran;").is_some());
assert!(get_named_ref(b"lambda;").is_some());
assert!(get_named_ref(b"lang;").is_some());
assert!(get_named_ref(b"langd;").is_some());
assert!(get_named_ref(b"langle;").is_some());
assert!(get_named_ref(b"lap;").is_some());
assert!(get_named_ref(b"laquo").is_some());
assert!(get_named_ref(b"laquo;").is_some());
assert!(get_named_ref(b"larr;").is_some());
assert!(get_named_ref(b"larrb;").is_some());
assert!(get_named_ref(b"larrbfs;").is_some());
assert!(get_named_ref(b"larrfs;").is_some());
assert!(get_named_ref(b"larrhk;").is_some());
assert!(get_named_ref(b"larrlp;").is_some());
assert!(get_named_ref(b"larrpl;").is_some());
assert!(get_named_ref(b"larrsim;").is_some());
assert!(get_named_ref(b"larrtl;").is_some());
assert!(get_named_ref(b"lat;").is_some());
assert!(get_named_ref(b"latail;").is_some());
assert!(get_named_ref(b"late;").is_some());
assert!(get_named_ref(b"lates;").is_some());
assert!(get_named_ref(b"lbarr;").is_some());
assert!(get_named_ref(b"lbbrk;").is_some());
assert!(get_named_ref(b"lbrace;").is_some());
assert!(get_named_ref(b"lbrack;").is_some());
assert!(get_named_ref(b"lbrke;").is_some());
assert!(get_named_ref(b"lbrksld;").is_some());
assert!(get_named_ref(b"lbrkslu;").is_some());
assert!(get_named_ref(b"lcaron;").is_some());
assert!(get_named_ref(b"lcedil;").is_some());
assert!(get_named_ref(b"lceil;").is_some());
assert!(get_named_ref(b"lcub;").is_some());
assert!(get_named_ref(b"lcy;").is_some());
assert!(get_named_ref(b"ldca;").is_some());
assert!(get_named_ref(b"ldquo;").is_some());
assert!(get_named_ref(b"ldquor;").is_some());
assert!(get_named_ref(b"ldrdhar;").is_some());
assert!(get_named_ref(b"ldrushar;").is_some());
assert!(get_named_ref(b"ldsh;").is_some());
assert!(get_named_ref(b"le;").is_some());
assert!(get_named_ref(b"leftarrow;").is_some());
assert!(get_named_ref(b"leftarrowtail;").is_some());
assert!(get_named_ref(b"leftharpoondown;").is_some());
assert!(get_named_ref(b"leftharpoonup;").is_some());
assert!(get_named_ref(b"leftleftarrows;").is_some());
assert!(get_named_ref(b"leftrightarrow;").is_some());
assert!(get_named_ref(b"leftrightarrows;").is_some());
assert!(get_named_ref(b"leftrightharpoons;").is_some());
assert!(get_named_ref(b"leftrightsquigarrow;").is_some());
assert!(get_named_ref(b"leftthreetimes;").is_some());
assert!(get_named_ref(b"leg;").is_some());
assert!(get_named_ref(b"leq;").is_some());
assert!(get_named_ref(b"leqq;").is_some());
assert!(get_named_ref(b"leqslant;").is_some());
assert!(get_named_ref(b"les;").is_some());
assert!(get_named_ref(b"lescc;").is_some());
assert!(get_named_ref(b"lesdot;").is_some());
assert!(get_named_ref(b"lesdoto;").is_some());
assert!(get_named_ref(b"lesdotor;").is_some());
assert!(get_named_ref(b"lesg;").is_some());
assert!(get_named_ref(b"lesges;").is_some());
assert!(get_named_ref(b"lessapprox;").is_some());
assert!(get_named_ref(b"lessdot;").is_some());
assert!(get_named_ref(b"lesseqgtr;").is_some());
assert!(get_named_ref(b"lesseqqgtr;").is_some());
assert!(get_named_ref(b"lessgtr;").is_some());
assert!(get_named_ref(b"lesssim;").is_some());
assert!(get_named_ref(b"lfisht;").is_some());
assert!(get_named_ref(b"lfloor;").is_some());
assert!(get_named_ref(b"lfr;").is_some());
assert!(get_named_ref(b"lg;").is_some());
assert!(get_named_ref(b"lgE;").is_some());
assert!(get_named_ref(b"lhard;").is_some());
assert!(get_named_ref(b"lharu;").is_some());
assert!(get_named_ref(b"lharul;").is_some());
assert!(get_named_ref(b"lhblk;").is_some());
assert!(get_named_ref(b"ljcy;").is_some());
assert!(get_named_ref(b"ll;").is_some());
assert!(get_named_ref(b"llarr;").is_some());
assert!(get_named_ref(b"llcorner;").is_some());
assert!(get_named_ref(b"llhard;").is_some());
assert!(get_named_ref(b"lltri;").is_some());
assert!(get_named_ref(b"lmidot;").is_some());
assert!(get_named_ref(b"lmoust;").is_some());
assert!(get_named_ref(b"lmoustache;").is_some());
assert!(get_named_ref(b"lnE;").is_some());
assert!(get_named_ref(b"lnap;").is_some());
assert!(get_named_ref(b"lnapprox;").is_some());
assert!(get_named_ref(b"lne;").is_some());
assert!(get_named_ref(b"lneq;").is_some());
assert!(get_named_ref(b"lneqq;").is_some());
assert!(get_named_ref(b"lnsim;").is_some());
assert!(get_named_ref(b"loang;").is_some());
assert!(get_named_ref(b"loarr;").is_some());
assert!(get_named_ref(b"lobrk;").is_some());
assert!(get_named_ref(b"longleftarrow;").is_some());
assert!(get_named_ref(b"longleftrightarrow;").is_some());
assert!(get_named_ref(b"longmapsto;").is_some());
assert!(get_named_ref(b"longrightarrow;").is_some());
assert!(get_named_ref(b"looparrowleft;").is_some());
assert!(get_named_ref(b"looparrowright;").is_some());
assert!(get_named_ref(b"lopar;").is_some());
assert!(get_named_ref(b"lopf;").is_some());
assert!(get_named_ref(b"loplus;").is_some());
assert!(get_named_ref(b"lotimes;").is_some());
assert!(get_named_ref(b"lowast;").is_some());
assert!(get_named_ref(b"lowbar;").is_some());
assert!(get_named_ref(b"loz;").is_some());
assert!(get_named_ref(b"lozenge;").is_some());
assert!(get_named_ref(b"lozf;").is_some());
assert!(get_named_ref(b"lpar;").is_some());
assert!(get_named_ref(b"lparlt;").is_some());
assert!(get_named_ref(b"lrarr;").is_some());
assert!(get_named_ref(b"lrcorner;").is_some());
assert!(get_named_ref(b"lrhar;").is_some());
assert!(get_named_ref(b"lrhard;").is_some());
assert!(get_named_ref(b"lrm;").is_some());
assert!(get_named_ref(b"lrtri;").is_some());
assert!(get_named_ref(b"lsaquo;").is_some());
assert!(get_named_ref(b"lscr;").is_some());
assert!(get_named_ref(b"lsh;").is_some());
assert!(get_named_ref(b"lsim;").is_some());
assert!(get_named_ref(b"lsime;").is_some());
assert!(get_named_ref(b"lsimg;").is_some());
assert!(get_named_ref(b"lsqb;").is_some());
assert!(get_named_ref(b"lsquo;").is_some());
assert!(get_named_ref(b"lsquor;").is_some());
assert!(get_named_ref(b"lstrok;").is_some());
assert!(get_named_ref(b"lt").is_some());
assert!(get_named_ref(b"lt;").is_some());
assert!(get_named_ref(b"ltcc;").is_some());
assert!(get_named_ref(b"ltcir;").is_some());
assert!(get_named_ref(b"ltdot;").is_some());
assert!(get_named_ref(b"lthree;").is_some());
assert!(get_named_ref(b"ltimes;").is_some());
assert!(get_named_ref(b"ltlarr;").is_some());
assert!(get_named_ref(b"ltquest;").is_some());
assert!(get_named_ref(b"ltrPar;").is_some());
assert!(get_named_ref(b"ltri;").is_some());
assert!(get_named_ref(b"ltrie;").is_some());
assert!(get_named_ref(b"ltrif;").is_some());
assert!(get_named_ref(b"lurdshar;").is_some());
assert!(get_named_ref(b"luruhar;").is_some());
assert!(get_named_ref(b"lvertneqq;").is_some());
assert!(get_named_ref(b"lvnE;").is_some());
assert!(get_named_ref(b"mDDot;").is_some());
assert!(get_named_ref(b"macr").is_some());
assert!(get_named_ref(b"macr;").is_some());
assert!(get_named_ref(b"male;").is_some());
assert!(get_named_ref(b"malt;").is_some());
assert!(get_named_ref(b"maltese;").is_some());
assert!(get_named_ref(b"map;").is_some());
assert!(get_named_ref(b"mapsto;").is_some());
assert!(get_named_ref(b"mapstodown;").is_some());
assert!(get_named_ref(b"mapstoleft;").is_some());
assert!(get_named_ref(b"mapstoup;").is_some());
assert!(get_named_ref(b"marker;").is_some());
assert!(get_named_ref(b"mcomma;").is_some());
assert!(get_named_ref(b"mcy;").is_some());
assert!(get_named_ref(b"mdash;").is_some());
assert!(get_named_ref(b"measuredangle;").is_some());
assert!(get_named_ref(b"mfr;").is_some());
assert!(get_named_ref(b"mho;").is_some());
assert!(get_named_ref(b"micro").is_some());
assert!(get_named_ref(b"micro;").is_some());
assert!(get_named_ref(b"mid;").is_some());
assert!(get_named_ref(b"midast;").is_some());
assert!(get_named_ref(b"midcir;").is_some());
assert!(get_named_ref(b"middot").is_some());
assert!(get_named_ref(b"middot;").is_some());
assert!(get_named_ref(b"minus;").is_some());
assert!(get_named_ref(b"minusb;").is_some());
assert!(get_named_ref(b"minusd;").is_some());
assert!(get_named_ref(b"minusdu;").is_some());
assert!(get_named_ref(b"mlcp;").is_some());
assert!(get_named_ref(b"mldr;").is_some());
assert!(get_named_ref(b"mnplus;").is_some());
assert!(get_named_ref(b"models;").is_some());
assert!(get_named_ref(b"mopf;").is_some());
assert!(get_named_ref(b"mp;").is_some());
assert!(get_named_ref(b"mscr;").is_some());
assert!(get_named_ref(b"mstpos;").is_some());
assert!(get_named_ref(b"mu;").is_some());
assert!(get_named_ref(b"multimap;").is_some());
assert!(get_named_ref(b"mumap;").is_some());
assert!(get_named_ref(b"nGg;").is_some());
assert!(get_named_ref(b"nGt;").is_some());
assert!(get_named_ref(b"nGtv;").is_some());
assert!(get_named_ref(b"nLeftarrow;").is_some());
assert!(get_named_ref(b"nLeftrightarrow;").is_some());
assert!(get_named_ref(b"nLl;").is_some());
assert!(get_named_ref(b"nLt;").is_some());
assert!(get_named_ref(b"nLtv;").is_some());
assert!(get_named_ref(b"nRightarrow;").is_some());
assert!(get_named_ref(b"nVDash;").is_some());
assert!(get_named_ref(b"nVdash;").is_some());
assert!(get_named_ref(b"nabla;").is_some());
assert!(get_named_ref(b"nacute;").is_some());
assert!(get_named_ref(b"nang;").is_some());
assert!(get_named_ref(b"nap;").is_some());
assert!(get_named_ref(b"napE;").is_some());
assert!(get_named_ref(b"napid;").is_some());
assert!(get_named_ref(b"napos;").is_some());
assert!(get_named_ref(b"napprox;").is_some());
assert!(get_named_ref(b"natur;").is_some());
assert!(get_named_ref(b"natural;").is_some());
assert!(get_named_ref(b"naturals;").is_some());
assert!(get_named_ref(b"nbsp").is_some());
assert!(get_named_ref(b"nbsp;").is_some());
assert!(get_named_ref(b"nbump;").is_some());
assert!(get_named_ref(b"nbumpe;").is_some());
assert!(get_named_ref(b"ncap;").is_some());
assert!(get_named_ref(b"ncaron;").is_some());
assert!(get_named_ref(b"ncedil;").is_some());
assert!(get_named_ref(b"ncong;").is_some());
assert!(get_named_ref(b"ncongdot;").is_some());
assert!(get_named_ref(b"ncup;").is_some());
assert!(get_named_ref(b"ncy;").is_some());
assert!(get_named_ref(b"ndash;").is_some());
assert!(get_named_ref(b"ne;").is_some());
assert!(get_named_ref(b"neArr;").is_some());
assert!(get_named_ref(b"nearhk;").is_some());
assert!(get_named_ref(b"nearr;").is_some());
assert!(get_named_ref(b"nearrow;").is_some());
assert!(get_named_ref(b"nedot;").is_some());
assert!(get_named_ref(b"nequiv;").is_some());
assert!(get_named_ref(b"nesear;").is_some());
assert!(get_named_ref(b"nesim;").is_some());
assert!(get_named_ref(b"nexist;").is_some());
assert!(get_named_ref(b"nexists;").is_some());
assert!(get_named_ref(b"nfr;").is_some());
assert!(get_named_ref(b"ngE;").is_some());
assert!(get_named_ref(b"nge;").is_some());
assert!(get_named_ref(b"ngeq;").is_some());
assert!(get_named_ref(b"ngeqq;").is_some());
assert!(get_named_ref(b"ngeqslant;").is_some());
assert!(get_named_ref(b"nges;").is_some());
assert!(get_named_ref(b"ngsim;").is_some());
assert!(get_named_ref(b"ngt;").is_some());
assert!(get_named_ref(b"ngtr;").is_some());
assert!(get_named_ref(b"nhArr;").is_some());
assert!(get_named_ref(b"nharr;").is_some());
assert!(get_named_ref(b"nhpar;").is_some());
assert!(get_named_ref(b"ni;").is_some());
assert!(get_named_ref(b"nis;").is_some());
assert!(get_named_ref(b"nisd;").is_some());
assert!(get_named_ref(b"niv;").is_some());
assert!(get_named_ref(b"njcy;").is_some());
assert!(get_named_ref(b"nlArr;").is_some());
assert!(get_named_ref(b"nlE;").is_some());
assert!(get_named_ref(b"nlarr;").is_some());
assert!(get_named_ref(b"nldr;").is_some());
assert!(get_named_ref(b"nle;").is_some());
assert!(get_named_ref(b"nleftarrow;").is_some());
assert!(get_named_ref(b"nleftrightarrow;").is_some());
assert!(get_named_ref(b"nleq;").is_some());
assert!(get_named_ref(b"nleqq;").is_some());
assert!(get_named_ref(b"nleqslant;").is_some());
assert!(get_named_ref(b"nles;").is_some());
assert!(get_named_ref(b"nless;").is_some());
assert!(get_named_ref(b"nlsim;").is_some());
assert!(get_named_ref(b"nlt;").is_some());
assert!(get_named_ref(b"nltri;").is_some());
assert!(get_named_ref(b"nltrie;").is_some());
assert!(get_named_ref(b"nmid;").is_some());
assert!(get_named_ref(b"nopf;").is_some());
assert!(get_named_ref(b"not").is_some());
assert!(get_named_ref(b"not;").is_some());
assert!(get_named_ref(b"notin;").is_some());
assert!(get_named_ref(b"notinE;").is_some());
assert!(get_named_ref(b"notindot;").is_some());
assert!(get_named_ref(b"notinva;").is_some());
assert!(get_named_ref(b"notinvb;").is_some());
assert!(get_named_ref(b"notinvc;").is_some());
assert!(get_named_ref(b"notni;").is_some());
assert!(get_named_ref(b"notniva;").is_some());
assert!(get_named_ref(b"notnivb;").is_some());
assert!(get_named_ref(b"notnivc;").is_some());
assert!(get_named_ref(b"npar;").is_some());
assert!(get_named_ref(b"nparallel;").is_some());
assert!(get_named_ref(b"nparsl;").is_some());
assert!(get_named_ref(b"npart;").is_some());
assert!(get_named_ref(b"npolint;").is_some());
assert!(get_named_ref(b"npr;").is_some());
assert!(get_named_ref(b"nprcue;").is_some());
assert!(get_named_ref(b"npre;").is_some());
assert!(get_named_ref(b"nprec;").is_some());
assert!(get_named_ref(b"npreceq;").is_some());
assert!(get_named_ref(b"nrArr;").is_some());
assert!(get_named_ref(b"nrarr;").is_some());
assert!(get_named_ref(b"nrarrc;").is_some());
assert!(get_named_ref(b"nrarrw;").is_some());
assert!(get_named_ref(b"nrightarrow;").is_some());
assert!(get_named_ref(b"nrtri;").is_some());
assert!(get_named_ref(b"nrtrie;").is_some());
assert!(get_named_ref(b"nsc;").is_some());
assert!(get_named_ref(b"nsccue;").is_some());
assert!(get_named_ref(b"nsce;").is_some());
assert!(get_named_ref(b"nscr;").is_some());
assert!(get_named_ref(b"nshortmid;").is_some());
assert!(get_named_ref(b"nshortparallel;").is_some());
assert!(get_named_ref(b"nsim;").is_some());
assert!(get_named_ref(b"nsime;").is_some());
assert!(get_named_ref(b"nsimeq;").is_some());
assert!(get_named_ref(b"nsmid;").is_some());
assert!(get_named_ref(b"nspar;").is_some());
assert!(get_named_ref(b"nsqsube;").is_some());
assert!(get_named_ref(b"nsqsupe;").is_some());
assert!(get_named_ref(b"nsub;").is_some());
assert!(get_named_ref(b"nsubE;").is_some());
assert!(get_named_ref(b"nsube;").is_some());
assert!(get_named_ref(b"nsubset;").is_some());
assert!(get_named_ref(b"nsubseteq;").is_some());
assert!(get_named_ref(b"nsubseteqq;").is_some());
assert!(get_named_ref(b"nsucc;").is_some());
assert!(get_named_ref(b"nsucceq;").is_some());
assert!(get_named_ref(b"nsup;").is_some());
assert!(get_named_ref(b"nsupE;").is_some());
assert!(get_named_ref(b"nsupe;").is_some());
assert!(get_named_ref(b"nsupset;").is_some());
assert!(get_named_ref(b"nsupseteq;").is_some());
assert!(get_named_ref(b"nsupseteqq;").is_some());
assert!(get_named_ref(b"ntgl;").is_some());
assert!(get_named_ref(b"ntilde").is_some());
assert!(get_named_ref(b"ntilde;").is_some());
assert!(get_named_ref(b"ntlg;").is_some());
assert!(get_named_ref(b"ntriangleleft;").is_some());
assert!(get_named_ref(b"ntrianglelefteq;").is_some());
assert!(get_named_ref(b"ntriangleright;").is_some());
assert!(get_named_ref(b"ntrianglerighteq;").is_some());
assert!(get_named_ref(b"nu;").is_some());
assert!(get_named_ref(b"num;").is_some());
assert!(get_named_ref(b"numero;").is_some());
assert!(get_named_ref(b"numsp;").is_some());
assert!(get_named_ref(b"nvDash;").is_some());
assert!(get_named_ref(b"nvHarr;").is_some());
assert!(get_named_ref(b"nvap;").is_some());
assert!(get_named_ref(b"nvdash;").is_some());
assert!(get_named_ref(b"nvge;").is_some());
assert!(get_named_ref(b"nvgt;").is_some());
assert!(get_named_ref(b"nvinfin;").is_some());
assert!(get_named_ref(b"nvlArr;").is_some());
assert!(get_named_ref(b"nvle;").is_some());
assert!(get_named_ref(b"nvlt;").is_some());
assert!(get_named_ref(b"nvltrie;").is_some());
assert!(get_named_ref(b"nvrArr;").is_some());
assert!(get_named_ref(b"nvrtrie;").is_some());
assert!(get_named_ref(b"nvsim;").is_some());
assert!(get_named_ref(b"nwArr;").is_some());
assert!(get_named_ref(b"nwarhk;").is_some());
assert!(get_named_ref(b"nwarr;").is_some());
assert!(get_named_ref(b"nwarrow;").is_some());
assert!(get_named_ref(b"nwnear;").is_some());
assert!(get_named_ref(b"oS;").is_some());
assert!(get_named_ref(b"oacute").is_some());
assert!(get_named_ref(b"oacute;").is_some());
assert!(get_named_ref(b"oast;").is_some());
assert!(get_named_ref(b"ocir;").is_some());
assert!(get_named_ref(b"ocirc").is_some());
assert!(get_named_ref(b"ocirc;").is_some());
assert!(get_named_ref(b"ocy;").is_some());
assert!(get_named_ref(b"odash;").is_some());
assert!(get_named_ref(b"odblac;").is_some());
assert!(get_named_ref(b"odiv;").is_some());
assert!(get_named_ref(b"odot;").is_some());
assert!(get_named_ref(b"odsold;").is_some());
assert!(get_named_ref(b"oelig;").is_some());
assert!(get_named_ref(b"ofcir;").is_some());
assert!(get_named_ref(b"ofr;").is_some());
assert!(get_named_ref(b"ogon;").is_some());
assert!(get_named_ref(b"ograve").is_some());
assert!(get_named_ref(b"ograve;").is_some());
assert!(get_named_ref(b"ogt;").is_some());
assert!(get_named_ref(b"ohbar;").is_some());
assert!(get_named_ref(b"ohm;").is_some());
assert!(get_named_ref(b"oint;").is_some());
assert!(get_named_ref(b"olarr;").is_some());
assert!(get_named_ref(b"olcir;").is_some());
assert!(get_named_ref(b"olcross;").is_some());
assert!(get_named_ref(b"oline;").is_some());
assert!(get_named_ref(b"olt;").is_some());
assert!(get_named_ref(b"omacr;").is_some());
assert!(get_named_ref(b"omega;").is_some());
assert!(get_named_ref(b"omicron;").is_some());
assert!(get_named_ref(b"omid;").is_some());
assert!(get_named_ref(b"ominus;").is_some());
assert!(get_named_ref(b"oopf;").is_some());
assert!(get_named_ref(b"opar;").is_some());
assert!(get_named_ref(b"operp;").is_some());
assert!(get_named_ref(b"oplus;").is_some());
assert!(get_named_ref(b"or;").is_some());
assert!(get_named_ref(b"orarr;").is_some());
assert!(get_named_ref(b"ord;").is_some());
assert!(get_named_ref(b"order;").is_some());
assert!(get_named_ref(b"orderof;").is_some());
assert!(get_named_ref(b"ordf").is_some());
assert!(get_named_ref(b"ordf;").is_some());
assert!(get_named_ref(b"ordm").is_some());
assert!(get_named_ref(b"ordm;").is_some());
assert!(get_named_ref(b"origof;").is_some());
assert!(get_named_ref(b"oror;").is_some());
assert!(get_named_ref(b"orslope;").is_some());
assert!(get_named_ref(b"orv;").is_some());
assert!(get_named_ref(b"oscr;").is_some());
assert!(get_named_ref(b"oslash").is_some());
assert!(get_named_ref(b"oslash;").is_some());
assert!(get_named_ref(b"osol;").is_some());
assert!(get_named_ref(b"otilde").is_some());
assert!(get_named_ref(b"otilde;").is_some());
assert!(get_named_ref(b"otimes;").is_some());
assert!(get_named_ref(b"otimesas;").is_some());
assert!(get_named_ref(b"ouml").is_some());
assert!(get_named_ref(b"ouml;").is_some());
assert!(get_named_ref(b"ovbar;").is_some());
assert!(get_named_ref(b"par;").is_some());
assert!(get_named_ref(b"para").is_some());
assert!(get_named_ref(b"para;").is_some());
assert!(get_named_ref(b"parallel;").is_some());
assert!(get_named_ref(b"parsim;").is_some());
assert!(get_named_ref(b"parsl;").is_some());
assert!(get_named_ref(b"part;").is_some());
assert!(get_named_ref(b"pcy;").is_some());
assert!(get_named_ref(b"percnt;").is_some());
assert!(get_named_ref(b"period;").is_some());
assert!(get_named_ref(b"permil;").is_some());
assert!(get_named_ref(b"perp;").is_some());
assert!(get_named_ref(b"pertenk;").is_some());
assert!(get_named_ref(b"pfr;").is_some());
assert!(get_named_ref(b"phi;").is_some());
assert!(get_named_ref(b"phiv;").is_some());
assert!(get_named_ref(b"phmmat;").is_some());
assert!(get_named_ref(b"phone;").is_some());
assert!(get_named_ref(b"pi;").is_some());
assert!(get_named_ref(b"pitchfork;").is_some());
assert!(get_named_ref(b"piv;").is_some());
assert!(get_named_ref(b"planck;").is_some());
assert!(get_named_ref(b"planckh;").is_some());
assert!(get_named_ref(b"plankv;").is_some());
assert!(get_named_ref(b"plus;").is_some());
assert!(get_named_ref(b"plusacir;").is_some());
assert!(get_named_ref(b"plusb;").is_some());
assert!(get_named_ref(b"pluscir;").is_some());
assert!(get_named_ref(b"plusdo;").is_some());
assert!(get_named_ref(b"plusdu;").is_some());
assert!(get_named_ref(b"pluse;").is_some());
assert!(get_named_ref(b"plusmn").is_some());
assert!(get_named_ref(b"plusmn;").is_some());
assert!(get_named_ref(b"plussim;").is_some());
assert!(get_named_ref(b"plustwo;").is_some());
assert!(get_named_ref(b"pm;").is_some());
assert!(get_named_ref(b"pointint;").is_some());
assert!(get_named_ref(b"popf;").is_some());
assert!(get_named_ref(b"pound").is_some());
assert!(get_named_ref(b"pound;").is_some());
assert!(get_named_ref(b"pr;").is_some());
assert!(get_named_ref(b"prE;").is_some());
assert!(get_named_ref(b"prap;").is_some());
assert!(get_named_ref(b"prcue;").is_some());
assert!(get_named_ref(b"pre;").is_some());
assert!(get_named_ref(b"prec;").is_some());
assert!(get_named_ref(b"precapprox;").is_some());
assert!(get_named_ref(b"preccurlyeq;").is_some());
assert!(get_named_ref(b"preceq;").is_some());
assert!(get_named_ref(b"precnapprox;").is_some());
assert!(get_named_ref(b"precneqq;").is_some());
assert!(get_named_ref(b"precnsim;").is_some());
assert!(get_named_ref(b"precsim;").is_some());
assert!(get_named_ref(b"prime;").is_some());
assert!(get_named_ref(b"primes;").is_some());
assert!(get_named_ref(b"prnE;").is_some());
assert!(get_named_ref(b"prnap;").is_some());
assert!(get_named_ref(b"prnsim;").is_some());
assert!(get_named_ref(b"prod;").is_some());
assert!(get_named_ref(b"profalar;").is_some());
assert!(get_named_ref(b"profline;").is_some());
assert!(get_named_ref(b"profsurf;").is_some());
assert!(get_named_ref(b"prop;").is_some());
assert!(get_named_ref(b"propto;").is_some());
assert!(get_named_ref(b"prsim;").is_some());
assert!(get_named_ref(b"prurel;").is_some());
assert!(get_named_ref(b"pscr;").is_some());
assert!(get_named_ref(b"psi;").is_some());
assert!(get_named_ref(b"puncsp;").is_some());
assert!(get_named_ref(b"qfr;").is_some());
assert!(get_named_ref(b"qint;").is_some());
assert!(get_named_ref(b"qopf;").is_some());
assert!(get_named_ref(b"qprime;").is_some());
assert!(get_named_ref(b"qscr;").is_some());
assert!(get_named_ref(b"quaternions;").is_some());
assert!(get_named_ref(b"quatint;").is_some());
assert!(get_named_ref(b"quest;").is_some());
assert!(get_named_ref(b"questeq;").is_some());
assert!(get_named_ref(b"quot").is_some());
assert!(get_named_ref(b"quot;").is_some());
assert!(get_named_ref(b"rAarr;").is_some());
assert!(get_named_ref(b"rArr;").is_some());
assert!(get_named_ref(b"rAtail;").is_some());
assert!(get_named_ref(b"rBarr;").is_some());
assert!(get_named_ref(b"rHar;").is_some());
assert!(get_named_ref(b"race;").is_some());
assert!(get_named_ref(b"racute;").is_some());
assert!(get_named_ref(b"radic;").is_some());
assert!(get_named_ref(b"raemptyv;").is_some());
assert!(get_named_ref(b"rang;").is_some());
assert!(get_named_ref(b"rangd;").is_some());
assert!(get_named_ref(b"range;").is_some());
assert!(get_named_ref(b"rangle;").is_some());
assert!(get_named_ref(b"raquo").is_some());
assert!(get_named_ref(b"raquo;").is_some());
assert!(get_named_ref(b"rarr;").is_some());
assert!(get_named_ref(b"rarrap;").is_some());
assert!(get_named_ref(b"rarrb;").is_some());
assert!(get_named_ref(b"rarrbfs;").is_some());
assert!(get_named_ref(b"rarrc;").is_some());
assert!(get_named_ref(b"rarrfs;").is_some());
assert!(get_named_ref(b"rarrhk;").is_some());
assert!(get_named_ref(b"rarrlp;").is_some());
assert!(get_named_ref(b"rarrpl;").is_some());
assert!(get_named_ref(b"rarrsim;").is_some());
assert!(get_named_ref(b"rarrtl;").is_some());
assert!(get_named_ref(b"rarrw;").is_some());
assert!(get_named_ref(b"ratail;").is_some());
assert!(get_named_ref(b"ratio;").is_some());
assert!(get_named_ref(b"rationals;").is_some());
assert!(get_named_ref(b"rbarr;").is_some());
assert!(get_named_ref(b"rbbrk;").is_some());
assert!(get_named_ref(b"rbrace;").is_some());
assert!(get_named_ref(b"rbrack;").is_some());
assert!(get_named_ref(b"rbrke;").is_some());
assert!(get_named_ref(b"rbrksld;").is_some());
assert!(get_named_ref(b"rbrkslu;").is_some());
assert!(get_named_ref(b"rcaron;").is_some());
assert!(get_named_ref(b"rcedil;").is_some());
assert!(get_named_ref(b"rceil;").is_some());
assert!(get_named_ref(b"rcub;").is_some());
assert!(get_named_ref(b"rcy;").is_some());
assert!(get_named_ref(b"rdca;").is_some());
assert!(get_named_ref(b"rdldhar;").is_some());
assert!(get_named_ref(b"rdquo;").is_some());
assert!(get_named_ref(b"rdquor;").is_some());
assert!(get_named_ref(b"rdsh;").is_some());
assert!(get_named_ref(b"real;").is_some());
assert!(get_named_ref(b"realine;").is_some());
assert!(get_named_ref(b"realpart;").is_some());
assert!(get_named_ref(b"reals;").is_some());
assert!(get_named_ref(b"rect;").is_some());
assert!(get_named_ref(b"reg").is_some());
assert!(get_named_ref(b"reg;").is_some());
assert!(get_named_ref(b"rfisht;").is_some());
assert!(get_named_ref(b"rfloor;").is_some());
assert!(get_named_ref(b"rfr;").is_some());
assert!(get_named_ref(b"rhard;").is_some());
assert!(get_named_ref(b"rharu;").is_some());
assert!(get_named_ref(b"rharul;").is_some());
assert!(get_named_ref(b"rho;").is_some());
assert!(get_named_ref(b"rhov;").is_some());
assert!(get_named_ref(b"rightarrow;").is_some());
assert!(get_named_ref(b"rightarrowtail;").is_some());
assert!(get_named_ref(b"rightharpoondown;").is_some());
assert!(get_named_ref(b"rightharpoonup;").is_some());
assert!(get_named_ref(b"rightleftarrows;").is_some());
assert!(get_named_ref(b"rightleftharpoons;").is_some());
assert!(get_named_ref(b"rightrightarrows;").is_some());
assert!(get_named_ref(b"rightsquigarrow;").is_some());
assert!(get_named_ref(b"rightthreetimes;").is_some());
assert!(get_named_ref(b"ring;").is_some());
assert!(get_named_ref(b"risingdotseq;").is_some());
assert!(get_named_ref(b"rlarr;").is_some());
assert!(get_named_ref(b"rlhar;").is_some());
assert!(get_named_ref(b"rlm;").is_some());
assert!(get_named_ref(b"rmoust;").is_some());
assert!(get_named_ref(b"rmoustache;").is_some());
assert!(get_named_ref(b"rnmid;").is_some());
assert!(get_named_ref(b"roang;").is_some());
assert!(get_named_ref(b"roarr;").is_some());
assert!(get_named_ref(b"robrk;").is_some());
assert!(get_named_ref(b"ropar;").is_some());
assert!(get_named_ref(b"ropf;").is_some());
assert!(get_named_ref(b"roplus;").is_some());
assert!(get_named_ref(b"rotimes;").is_some());
assert!(get_named_ref(b"rpar;").is_some());
assert!(get_named_ref(b"rpargt;").is_some());
assert!(get_named_ref(b"rppolint;").is_some());
assert!(get_named_ref(b"rrarr;").is_some());
assert!(get_named_ref(b"rsaquo;").is_some());
assert!(get_named_ref(b"rscr;").is_some());
assert!(get_named_ref(b"rsh;").is_some());
assert!(get_named_ref(b"rsqb;").is_some());
assert!(get_named_ref(b"rsquo;").is_some());
assert!(get_named_ref(b"rsquor;").is_some());
assert!(get_named_ref(b"rthree;").is_some());
assert!(get_named_ref(b"rtimes;").is_some());
assert!(get_named_ref(b"rtri;").is_some());
assert!(get_named_ref(b"rtrie;").is_some());
assert!(get_named_ref(b"rtrif;").is_some());
assert!(get_named_ref(b"rtriltri;").is_some());
assert!(get_named_ref(b"ruluhar;").is_some());
assert!(get_named_ref(b"rx;").is_some());
assert!(get_named_ref(b"sacute;").is_some());
assert!(get_named_ref(b"sbquo;").is_some());
assert!(get_named_ref(b"sc;").is_some());
assert!(get_named_ref(b"scE;").is_some());
assert!(get_named_ref(b"scap;").is_some());
assert!(get_named_ref(b"scaron;").is_some());
assert!(get_named_ref(b"sccue;").is_some());
assert!(get_named_ref(b"sce;").is_some());
assert!(get_named_ref(b"scedil;").is_some());
assert!(get_named_ref(b"scirc;").is_some());
assert!(get_named_ref(b"scnE;").is_some());
assert!(get_named_ref(b"scnap;").is_some());
assert!(get_named_ref(b"scnsim;").is_some());
assert!(get_named_ref(b"scpolint;").is_some());
assert!(get_named_ref(b"scsim;").is_some());
assert!(get_named_ref(b"scy;").is_some());
assert!(get_named_ref(b"sdot;").is_some());
assert!(get_named_ref(b"sdotb;").is_some());
assert!(get_named_ref(b"sdote;").is_some());
assert!(get_named_ref(b"seArr;").is_some());
assert!(get_named_ref(b"searhk;").is_some());
assert!(get_named_ref(b"searr;").is_some());
assert!(get_named_ref(b"searrow;").is_some());
assert!(get_named_ref(b"sect").is_some());
assert!(get_named_ref(b"sect;").is_some());
assert!(get_named_ref(b"semi;").is_some());
assert!(get_named_ref(b"seswar;").is_some());
assert!(get_named_ref(b"setminus;").is_some());
assert!(get_named_ref(b"setmn;").is_some());
assert!(get_named_ref(b"sext;").is_some());
assert!(get_named_ref(b"sfr;").is_some());
assert!(get_named_ref(b"sfrown;").is_some());
assert!(get_named_ref(b"sharp;").is_some());
assert!(get_named_ref(b"shchcy;").is_some());
assert!(get_named_ref(b"shcy;").is_some());
assert!(get_named_ref(b"shortmid;").is_some());
assert!(get_named_ref(b"shortparallel;").is_some());
assert!(get_named_ref(b"shy").is_some());
assert!(get_named_ref(b"shy;").is_some());
assert!(get_named_ref(b"sigma;").is_some());
assert!(get_named_ref(b"sigmaf;").is_some());
assert!(get_named_ref(b"sigmav;").is_some());
assert!(get_named_ref(b"sim;").is_some());
assert!(get_named_ref(b"simdot;").is_some());
assert!(get_named_ref(b"sime;").is_some());
assert!(get_named_ref(b"simeq;").is_some());
assert!(get_named_ref(b"simg;").is_some());
assert!(get_named_ref(b"simgE;").is_some());
assert!(get_named_ref(b"siml;").is_some());
assert!(get_named_ref(b"simlE;").is_some());
assert!(get_named_ref(b"simne;").is_some());
assert!(get_named_ref(b"simplus;").is_some());
assert!(get_named_ref(b"simrarr;").is_some());
assert!(get_named_ref(b"slarr;").is_some());
assert!(get_named_ref(b"smallsetminus;").is_some());
assert!(get_named_ref(b"smashp;").is_some());
assert!(get_named_ref(b"smeparsl;").is_some());
assert!(get_named_ref(b"smid;").is_some());
assert!(get_named_ref(b"smile;").is_some());
assert!(get_named_ref(b"smt;").is_some());
assert!(get_named_ref(b"smte;").is_some());
assert!(get_named_ref(b"smtes;").is_some());
assert!(get_named_ref(b"softcy;").is_some());
assert!(get_named_ref(b"sol;").is_some());
assert!(get_named_ref(b"solb;").is_some());
assert!(get_named_ref(b"solbar;").is_some());
assert!(get_named_ref(b"sopf;").is_some());
assert!(get_named_ref(b"spades;").is_some());
assert!(get_named_ref(b"spadesuit;").is_some());
assert!(get_named_ref(b"spar;").is_some());
assert!(get_named_ref(b"sqcap;").is_some());
assert!(get_named_ref(b"sqcaps;").is_some());
assert!(get_named_ref(b"sqcup;").is_some());
assert!(get_named_ref(b"sqcups;").is_some());
assert!(get_named_ref(b"sqsub;").is_some());
assert!(get_named_ref(b"sqsube;").is_some());
assert!(get_named_ref(b"sqsubset;").is_some());
assert!(get_named_ref(b"sqsubseteq;").is_some());
assert!(get_named_ref(b"sqsup;").is_some());
assert!(get_named_ref(b"sqsupe;").is_some());
assert!(get_named_ref(b"sqsupset;").is_some());
assert!(get_named_ref(b"sqsupseteq;").is_some());
assert!(get_named_ref(b"squ;").is_some());
assert!(get_named_ref(b"square;").is_some());
assert!(get_named_ref(b"squarf;").is_some());
assert!(get_named_ref(b"squf;").is_some());
assert!(get_named_ref(b"srarr;").is_some());
assert!(get_named_ref(b"sscr;").is_some());
assert!(get_named_ref(b"ssetmn;").is_some());
assert!(get_named_ref(b"ssmile;").is_some());
assert!(get_named_ref(b"sstarf;").is_some());
assert!(get_named_ref(b"star;").is_some());
assert!(get_named_ref(b"starf;").is_some());
assert!(get_named_ref(b"straightepsilon;").is_some());
assert!(get_named_ref(b"straightphi;").is_some());
assert!(get_named_ref(b"strns;").is_some());
assert!(get_named_ref(b"sub;").is_some());
assert!(get_named_ref(b"subE;").is_some());
assert!(get_named_ref(b"subdot;").is_some());
assert!(get_named_ref(b"sube;").is_some());
assert!(get_named_ref(b"subedot;").is_some());
assert!(get_named_ref(b"submult;").is_some());
assert!(get_named_ref(b"subnE;").is_some());
assert!(get_named_ref(b"subne;").is_some());
assert!(get_named_ref(b"subplus;").is_some());
assert!(get_named_ref(b"subrarr;").is_some());
assert!(get_named_ref(b"subset;").is_some());
assert!(get_named_ref(b"subseteq;").is_some());
assert!(get_named_ref(b"subseteqq;").is_some());
assert!(get_named_ref(b"subsetneq;").is_some());
assert!(get_named_ref(b"subsetneqq;").is_some());
assert!(get_named_ref(b"subsim;").is_some());
assert!(get_named_ref(b"subsub;").is_some());
assert!(get_named_ref(b"subsup;").is_some());
assert!(get_named_ref(b"succ;").is_some());
assert!(get_named_ref(b"succapprox;").is_some());
assert!(get_named_ref(b"succcurlyeq;").is_some());
assert!(get_named_ref(b"succeq;").is_some());
assert!(get_named_ref(b"succnapprox;").is_some());
assert!(get_named_ref(b"succneqq;").is_some());
assert!(get_named_ref(b"succnsim;").is_some());
assert!(get_named_ref(b"succsim;").is_some());
assert!(get_named_ref(b"sum;").is_some());
assert!(get_named_ref(b"sung;").is_some());
assert!(get_named_ref(b"sup1").is_some());
assert!(get_named_ref(b"sup1;").is_some());
assert!(get_named_ref(b"sup2").is_some());
assert!(get_named_ref(b"sup2;").is_some());
assert!(get_named_ref(b"sup3").is_some());
assert!(get_named_ref(b"sup3;").is_some());
assert!(get_named_ref(b"sup;").is_some());
assert!(get_named_ref(b"supE;").is_some());
assert!(get_named_ref(b"supdot;").is_some());
assert!(get_named_ref(b"supdsub;").is_some());
assert!(get_named_ref(b"supe;").is_some());
assert!(get_named_ref(b"supedot;").is_some());
assert!(get_named_ref(b"suphsol;").is_some());
assert!(get_named_ref(b"suphsub;").is_some());
assert!(get_named_ref(b"suplarr;").is_some());
assert!(get_named_ref(b"supmult;").is_some());
assert!(get_named_ref(b"supnE;").is_some());
assert!(get_named_ref(b"supne;").is_some());
assert!(get_named_ref(b"supplus;").is_some());
assert!(get_named_ref(b"supset;").is_some());
assert!(get_named_ref(b"supseteq;").is_some());
assert!(get_named_ref(b"supseteqq;").is_some());
assert!(get_named_ref(b"supsetneq;").is_some());
assert!(get_named_ref(b"supsetneqq;").is_some());
assert!(get_named_ref(b"supsim;").is_some());
assert!(get_named_ref(b"supsub;").is_some());
assert!(get_named_ref(b"supsup;").is_some());
assert!(get_named_ref(b"swArr;").is_some());
assert!(get_named_ref(b"swarhk;").is_some());
assert!(get_named_ref(b"swarr;").is_some());
assert!(get_named_ref(b"swarrow;").is_some());
assert!(get_named_ref(b"swnwar;").is_some());
assert!(get_named_ref(b"szlig").is_some());
assert!(get_named_ref(b"szlig;").is_some());
assert!(get_named_ref(b"target;").is_some());
assert!(get_named_ref(b"tau;").is_some());
assert!(get_named_ref(b"tbrk;").is_some());
assert!(get_named_ref(b"tcaron;").is_some());
assert!(get_named_ref(b"tcedil;").is_some());
assert!(get_named_ref(b"tcy;").is_some());
assert!(get_named_ref(b"tdot;").is_some());
assert!(get_named_ref(b"telrec;").is_some());
assert!(get_named_ref(b"tfr;").is_some());
assert!(get_named_ref(b"there4;").is_some());
assert!(get_named_ref(b"therefore;").is_some());
assert!(get_named_ref(b"theta;").is_some());
assert!(get_named_ref(b"thetasym;").is_some());
assert!(get_named_ref(b"thetav;").is_some());
assert!(get_named_ref(b"thickapprox;").is_some());
assert!(get_named_ref(b"thicksim;").is_some());
assert!(get_named_ref(b"thinsp;").is_some());
assert!(get_named_ref(b"thkap;").is_some());
assert!(get_named_ref(b"thksim;").is_some());
assert!(get_named_ref(b"thorn").is_some());
assert!(get_named_ref(b"thorn;").is_some());
assert!(get_named_ref(b"tilde;").is_some());
assert!(get_named_ref(b"times").is_some());
assert!(get_named_ref(b"times;").is_some());
assert!(get_named_ref(b"timesb;").is_some());
assert!(get_named_ref(b"timesbar;").is_some());
assert!(get_named_ref(b"timesd;").is_some());
assert!(get_named_ref(b"tint;").is_some());
assert!(get_named_ref(b"toea;").is_some());
assert!(get_named_ref(b"top;").is_some());
assert!(get_named_ref(b"topbot;").is_some());
assert!(get_named_ref(b"topcir;").is_some());
assert!(get_named_ref(b"topf;").is_some());
assert!(get_named_ref(b"topfork;").is_some());
assert!(get_named_ref(b"tosa;").is_some());
assert!(get_named_ref(b"tprime;").is_some());
assert!(get_named_ref(b"trade;").is_some());
assert!(get_named_ref(b"triangle;").is_some());
assert!(get_named_ref(b"triangledown;").is_some());
assert!(get_named_ref(b"triangleleft;").is_some());
assert!(get_named_ref(b"trianglelefteq;").is_some());
assert!(get_named_ref(b"triangleq;").is_some());
assert!(get_named_ref(b"triangleright;").is_some());
assert!(get_named_ref(b"trianglerighteq;").is_some());
assert!(get_named_ref(b"tridot;").is_some());
assert!(get_named_ref(b"trie;").is_some());
assert!(get_named_ref(b"triminus;").is_some());
assert!(get_named_ref(b"triplus;").is_some());
assert!(get_named_ref(b"trisb;").is_some());
assert!(get_named_ref(b"tritime;").is_some());
assert!(get_named_ref(b"trpezium;").is_some());
assert!(get_named_ref(b"tscr;").is_some());
assert!(get_named_ref(b"tscy;").is_some());
assert!(get_named_ref(b"tshcy;").is_some());
assert!(get_named_ref(b"tstrok;").is_some());
assert!(get_named_ref(b"twixt;").is_some());
assert!(get_named_ref(b"twoheadleftarrow;").is_some());
assert!(get_named_ref(b"twoheadrightarrow;").is_some());
assert!(get_named_ref(b"uArr;").is_some());
assert!(get_named_ref(b"uHar;").is_some());
assert!(get_named_ref(b"uacute").is_some());
assert!(get_named_ref(b"uacute;").is_some());
assert!(get_named_ref(b"uarr;").is_some());
assert!(get_named_ref(b"ubrcy;").is_some());
assert!(get_named_ref(b"ubreve;").is_some());
assert!(get_named_ref(b"ucirc").is_some());
assert!(get_named_ref(b"ucirc;").is_some());
assert!(get_named_ref(b"ucy;").is_some());
assert!(get_named_ref(b"udarr;").is_some());
assert!(get_named_ref(b"udblac;").is_some());
assert!(get_named_ref(b"udhar;").is_some());
assert!(get_named_ref(b"ufisht;").is_some());
assert!(get_named_ref(b"ufr;").is_some());
assert!(get_named_ref(b"ugrave").is_some());
assert!(get_named_ref(b"ugrave;").is_some());
assert!(get_named_ref(b"uharl;").is_some());
assert!(get_named_ref(b"uharr;").is_some());
assert!(get_named_ref(b"uhblk;").is_some());
assert!(get_named_ref(b"ulcorn;").is_some());
assert!(get_named_ref(b"ulcorner;").is_some());
assert!(get_named_ref(b"ulcrop;").is_some());
assert!(get_named_ref(b"ultri;").is_some());
assert!(get_named_ref(b"umacr;").is_some());
assert!(get_named_ref(b"uml").is_some());
assert!(get_named_ref(b"uml;").is_some());
assert!(get_named_ref(b"uogon;").is_some());
assert!(get_named_ref(b"uopf;").is_some());
assert!(get_named_ref(b"uparrow;").is_some());
assert!(get_named_ref(b"updownarrow;").is_some());
assert!(get_named_ref(b"upharpoonleft;").is_some());
assert!(get_named_ref(b"upharpoonright;").is_some());
assert!(get_named_ref(b"uplus;").is_some());
assert!(get_named_ref(b"upsi;").is_some());
assert!(get_named_ref(b"upsih;").is_some());
assert!(get_named_ref(b"upsilon;").is_some());
assert!(get_named_ref(b"upuparrows;").is_some());
assert!(get_named_ref(b"urcorn;").is_some());
assert!(get_named_ref(b"urcorner;").is_some());
assert!(get_named_ref(b"urcrop;").is_some());
assert!(get_named_ref(b"uring;").is_some());
assert!(get_named_ref(b"urtri;").is_some());
assert!(get_named_ref(b"uscr;").is_some());
assert!(get_named_ref(b"utdot;").is_some());
assert!(get_named_ref(b"utilde;").is_some());
assert!(get_named_ref(b"utri;").is_some());
assert!(get_named_ref(b"utrif;").is_some());
assert!(get_named_ref(b"uuarr;").is_some());
assert!(get_named_ref(b"uuml").is_some());
assert!(get_named_ref(b"uuml;").is_some());
assert!(get_named_ref(b"uwangle;").is_some());
assert!(get_named_ref(b"vArr;").is_some());
assert!(get_named_ref(b"vBar;").is_some());
assert!(get_named_ref(b"vBarv;").is_some());
assert!(get_named_ref(b"vDash;").is_some());
assert!(get_named_ref(b"vangrt;").is_some());
assert!(get_named_ref(b"varepsilon;").is_some());
assert!(get_named_ref(b"varkappa;").is_some());
assert!(get_named_ref(b"varnothing;").is_some());
assert!(get_named_ref(b"varphi;").is_some());
assert!(get_named_ref(b"varpi;").is_some());
assert!(get_named_ref(b"varpropto;").is_some());
assert!(get_named_ref(b"varr;").is_some());
assert!(get_named_ref(b"varrho;").is_some());
assert!(get_named_ref(b"varsigma;").is_some());
assert!(get_named_ref(b"varsubsetneq;").is_some());
assert!(get_named_ref(b"varsubsetneqq;").is_some());
assert!(get_named_ref(b"varsupsetneq;").is_some());
assert!(get_named_ref(b"varsupsetneqq;").is_some());
assert!(get_named_ref(b"vartheta;").is_some());
assert!(get_named_ref(b"vartriangleleft;").is_some());
assert!(get_named_ref(b"vartriangleright;").is_some());
assert!(get_named_ref(b"vcy;").is_some());
assert!(get_named_ref(b"vdash;").is_some());
assert!(get_named_ref(b"vee;").is_some());
assert!(get_named_ref(b"veebar;").is_some());
assert!(get_named_ref(b"veeeq;").is_some());
assert!(get_named_ref(b"vellip;").is_some());
assert!(get_named_ref(b"verbar;").is_some());
assert!(get_named_ref(b"vert;").is_some());
assert!(get_named_ref(b"vfr;").is_some());
assert!(get_named_ref(b"vltri;").is_some());
assert!(get_named_ref(b"vnsub;").is_some());
assert!(get_named_ref(b"vnsup;").is_some());
assert!(get_named_ref(b"vopf;").is_some());
assert!(get_named_ref(b"vprop;").is_some());
assert!(get_named_ref(b"vrtri;").is_some());
assert!(get_named_ref(b"vscr;").is_some());
assert!(get_named_ref(b"vsubnE;").is_some());
assert!(get_named_ref(b"vsubne;").is_some());
assert!(get_named_ref(b"vsupnE;").is_some());
assert!(get_named_ref(b"vsupne;").is_some());
assert!(get_named_ref(b"vzigzag;").is_some());
assert!(get_named_ref(b"wcirc;").is_some());
assert!(get_named_ref(b"wedbar;").is_some());
assert!(get_named_ref(b"wedge;").is_some());
assert!(get_named_ref(b"wedgeq;").is_some());
assert!(get_named_ref(b"weierp;").is_some());
assert!(get_named_ref(b"wfr;").is_some());
assert!(get_named_ref(b"wopf;").is_some());
assert!(get_named_ref(b"wp;").is_some());
assert!(get_named_ref(b"wr;").is_some());
assert!(get_named_ref(b"wreath;").is_some());
assert!(get_named_ref(b"wscr;").is_some());
assert!(get_named_ref(b"xcap;").is_some());
assert!(get_named_ref(b"xcirc;").is_some());
assert!(get_named_ref(b"xcup;").is_some());
assert!(get_named_ref(b"xdtri;").is_some());
assert!(get_named_ref(b"xfr;").is_some());
assert!(get_named_ref(b"xhArr;").is_some());
assert!(get_named_ref(b"xharr;").is_some());
assert!(get_named_ref(b"xi;").is_some());
assert!(get_named_ref(b"xlArr;").is_some());
assert!(get_named_ref(b"xlarr;").is_some());
assert!(get_named_ref(b"xmap;").is_some());
assert!(get_named_ref(b"xnis;").is_some());
assert!(get_named_ref(b"xodot;").is_some());
assert!(get_named_ref(b"xopf;").is_some());
assert!(get_named_ref(b"xoplus;").is_some());
assert!(get_named_ref(b"xotime;").is_some());
assert!(get_named_ref(b"xrArr;").is_some());
assert!(get_named_ref(b"xrarr;").is_some());
assert!(get_named_ref(b"xscr;").is_some());
assert!(get_named_ref(b"xsqcup;").is_some());
assert!(get_named_ref(b"xuplus;").is_some());
assert!(get_named_ref(b"xutri;").is_some());
assert!(get_named_ref(b"xvee;").is_some());
assert!(get_named_ref(b"xwedge;").is_some());
assert!(get_named_ref(b"yacute").is_some());
assert!(get_named_ref(b"yacute;").is_some());
assert!(get_named_ref(b"yacy;").is_some());
assert!(get_named_ref(b"ycirc;").is_some());
assert!(get_named_ref(b"ycy;").is_some());
assert!(get_named_ref(b"yen").is_some());
assert!(get_named_ref(b"yen;").is_some());
assert!(get_named_ref(b"yfr;").is_some());
assert!(get_named_ref(b"yicy;").is_some());
assert!(get_named_ref(b"yopf;").is_some());
assert!(get_named_ref(b"yscr;").is_some());
assert!(get_named_ref(b"yucy;").is_some());
assert!(get_named_ref(b"yuml").is_some());
assert!(get_named_ref(b"yuml;").is_some());
assert!(get_named_ref(b"zacute;").is_some());
assert!(get_named_ref(b"zcaron;").is_some());
assert!(get_named_ref(b"zcy;").is_some());
assert!(get_named_ref(b"zdot;").is_some());
assert!(get_named_ref(b"zeetrf;").is_some());
assert!(get_named_ref(b"zeta;").is_some());
assert!(get_named_ref(b"zfr;").is_some());
assert!(get_named_ref(b"zhcy;").is_some());
assert!(get_named_ref(b"zigrarr;").is_some());
assert!(get_named_ref(b"zopf;").is_some());
assert!(get_named_ref(b"zscr;").is_some());
assert!(get_named_ref(b"zwj;").is_some());
assert!(get_named_ref(b"zwnj;").is_some());
}