html ENTITIES Maths Symbol in Unicode

Entity	Decimal	Char Arial	Char Times	Hex	Remark	Unicode
&vdash;	⊢	⊢	⊢	⊢	right tack	U+22A2;
&dashv;	⊣	⊣	⊣	⊣	left tack	U+22A3;
&top;	⊤	⊤	⊤	⊤	down tack	U+22A4;
&bottom;	⊥	⊥	⊥	⊥	up tack	U+22A5;
	⊦	⊦	⊦	⊦	assertion	U+22A6;
&models;	⊧	⊧	⊧	⊧	models	U+22A7;
&vDash;	⊨	⊨	⊨	⊨	true	U+22A8;
&Vdash;	⊩	⊩	⊩	⊩	forces	U+22A9;
&Vvdash;	⊪	⊪	⊪	⊪	triple vertical bar right turnstile	U+22AA;
&Vdash;	⊫	⊫	⊫	⊫	double vertical bar double right turnstile	U+22AB;
&nvdash;	⊬	⊬	⊬	⊬	does not prove	U+22AC;
&nvDash;	⊭	⊭	⊭	⊭	not true	U+22AD;
&nVdash;	⊮	⊮	⊮	⊮	does not force	U+22AE;
&nVDash;	⊯	⊯	⊯	⊯	negated double vertical bar double right turnstile	U+22AF;
&prurel;	⊰	⊰	⊰	⊰	precedes under relation	U+22B0;
	⊱	⊱	⊱	⊱	succeeds under relation	U+22B1;
&vltri;	⊲	⊲	⊲	⊲	normal subgroup of	U+22B2;
&vrtri;	⊳	⊳	⊳	⊳	contains as normal subgroup	U+22B3;
&ltrie;	⊴	⊴	⊴	⊴	normal subgroup of or equal to	U+22B4;
&rtrie;	⊵	⊵	⊵	⊵	contains as normal subgroup or equal to	U+22B5;
&origof;	⊶	⊶	⊶	⊶	original of	U+22B6;
&imof;	⊷	⊷	⊷	⊷	image of	U+22B7;
&mumap;	⊸	⊸	⊸	⊸	multimap	U+22B8;
&hercon;	⊹	⊹	⊹	⊹	hermitian conjugate matrix	U+22B9;
&intcal;	⊺	⊺	⊺	⊺	intercalate	U+22BA;
&veebar;	⊻	⊻	⊻	⊻	xor	U+22BB;
	⊼	⊼	⊼	⊼	nand	U+22BC;
&barvee;	⊽	⊽	⊽	⊽	nor	U+22BD;
&angrtvb;	⊾	⊾	⊾	⊾	right angle with arc	U+22BE;
&lrtri;	⊿	⊿	⊿	⊿	right triangle	U+22BF;
&xwedge;	⋀	⋀	⋀	⋀	n-ary logical and	U+22C0;
&xvee;	⋁	⋁	⋁	⋁	n-ary logical or	U+22C1;
&xcap;	⋂	⋂	⋂	⋂	n-ary intersection	U+22C2;
&xcup;	⋃	⋃	⋃	⋃	n-ary union	U+22C3;
&diam;	⋄	⋄	⋄	⋄	diamond operator	U+22C4;
⋅	⋅	⋅	⋅	⋅	dot operator	U+22C5;
&sstarf;	⋆	⋆	⋆	⋆	star operator	U+22C6;
&divonx;	⋇	⋇	⋇	⋇	division times	U+22C7;
&bowtie;	⋈	⋈	⋈	⋈	bowtie	U+22C8;
&ltimes;	⋉	⋉	⋉	⋉	left normal factor semidirect product	U+22C9;
&rtimes;	⋊	⋊	⋊	⋊	right normal factor semidirect product	U+22CA;
&lthree;	⋋	⋋	⋋	⋋	left semidirect product	U+22CB;
&rthree;	⋌	⋌	⋌	⋌	right semidirect product	U+22CC;
&bsime;	⋍	⋍	⋍	⋍	reversed tilde equals	U+22CD;
&cuvee;	⋎	⋎	⋎	⋎	curly logical or	U+22CE;
&cuwed;	⋏	⋏	⋏	⋏	curly logical and	U+22CF;
&Sub;	⋐	⋐	⋐	⋐	double subset	U+22D0;
&Sup;	⋑	⋑	⋑	⋑	double superset	U+22D1;
&Cap;	⋒	⋒	⋒	⋒	double intersection	U+22D2;
&Cup;	⋓	⋓	⋓	⋓	double union	U+22D3;
&fork;	⋔	⋔	⋔	⋔	pitchfork	U+22D4;
&epar;	⋕	⋕	⋕	⋕	equal and parallel to	U+22D5;
&ltdot;	⋖	⋖	⋖	⋖	less-than with dot	U+22D6;
&gtdot;	⋗	⋗	⋗	⋗	greater-than with dot	U+22D7;
&Ll;	⋘	⋘	⋘	⋘	very much less-than	U+22D8;
&Gg;	⋙	⋙	⋙	⋙	very much greater-than	U+22D9;
&leg;	⋚	⋚	⋚	⋚	less-than equal to or greater-than	U+22DA;
&gel;	⋛	⋛	⋛	⋛	greater-than equal to or less-than	U+22DB;
	⋜	⋜	⋜	⋜	equal to or less-than	U+22DC;
	⋝	⋝	⋝	⋝	equal to or greater-than	U+22DD;
&cuepr;	⋞	⋞	⋞	⋞	equal to or precedes	U+22DE;
&cuesc;	⋟	⋟	⋟	⋟	equal to or succeeds	U+22DF;
&nprcue;	⋠	⋠	⋠	⋠	does not precede or equal	U+22E0;
&nsccue;	⋡	⋡	⋡	⋡	does not succeed or equal	U+22E1;
&nsqsube;	⋢	⋢	⋢	⋢	not square image of or equal to	U+22E2;
&nsqsupe;	⋣	⋣	⋣	⋣	not square original of or equal to	U+22E3;
	⋤	⋤	⋤	⋤	square image of or not equal to	U+22E4;
	⋥	⋥	⋥	⋥	square original of or not equal to	U+22E5;
&lnsim;;	⋦	⋦	⋦	⋦	less-than but not equivalent to	U+22E6;
&gnsim;;	⋧	⋧	⋧	⋧	greater-than but not equivalent to	U+22E7;
&prnsim;	⋨	⋨	⋨	⋨	precedes but not equivalent to	U+22E8;
&scnsim;	⋩	⋩	⋩	⋩	succeeds but not equivalent to	U+22E9;
&nltri;	⋪	⋪	⋪	⋪	not normal subgroup of	U+22EA;
&nrtri;	⋫	⋫	⋫	⋫	does not contain as normal subgroup	U+22EB;
&nltrie;	⋬	⋬	⋬	⋬	not normal subgroup of or equal to	U+22EC;
&nrtrie;	⋭	⋭	⋭	⋭	does not contain as normal subgroup or equal	U+22ED;
&vellip;	⋮	⋮	⋮	⋮	vertical ellipsis	U+22EE;
&ctdot;	⋯	⋯	⋯	⋯	midline horizontal ellipsis	U+22EF;
&utdot;	⋰	⋰	⋰	⋰	up right diagonal ellipsis	U+22F0;
&dtdot;	⋱	⋱	⋱	⋱	down right diagonal ellipsis	U+22F1;
&disin;	⋲	⋲	⋲	⋲	element of with long horizontal stroke	U+22F2;
&isinsv;	⋳	⋳	⋳	⋳	element of with vertical bar at end of horizontal stroke	U+22F3;
&isins;	⋴	⋴	⋴	⋴	small element of with vertical bar at end of horizontal stroke	U+22F4;
&isindot;	⋵	⋵	⋵	⋵	element of with dot above	U+22F5;
&notinvc;	⋶	⋶	⋶	⋶	element of with overbar	U+22F6;
&notinvb;	⋷	⋷	⋷	⋷	small element of with overbar	U+22F7;
	⋸	⋸	⋸	⋸	element of with underbar	U+22F8;
&isinE;	⋹	⋹	⋹	⋹	element of with two horizontal strokes	U+22F9;
&nisd;	⋺	⋺	⋺	⋺	contains with long horizontal stroke	U+22FA;
&xnis;	⋻	⋻	⋻	⋻	contains with vertical bar at end of horizontal stroke	U+22FB;
&nis;	⋼	⋼	⋼	⋼	small contains with vertical bar at end of horizontal stroke	U+22FC;
&notnivc;	⋽	⋽	⋽	⋽	contains with overbar	U+22FD;
&notnivb;	⋾	⋾	⋾	⋾	small contains with overbar	U+22FE;
	⋿	⋿	⋿	⋿	z notation bag membership	U+22FF;
&lceil;	⌈	⌈	⌈	⌈	left ceiling	U+2308;
&rceil;	⌉	⌉	⌉	⌉	right ceiling	U+2309;
&lfloor;	⌊	⌊	⌊	⌊	left floor	U+230A;
&rfloor;	⌋	⌋	⌋	⌋	right floor	U+230B;
	⌠	⌠	⌠	⌠	top half integral	U+2320;
	⌡	⌡	⌡	⌡	bottom half integral	U+2321;
&lang;	〈	〈	〈	〈	left angle bracket	U+2329;
&rang;	〉	〉	〉	〉	right angle bracket	U+232A;
&angzarr;	⍼	⍼	⍼	⍼	right angle with downwards zigzag arrow	U+237C;
	⎛	⎛	⎛	⎛	left parenthesis upper hook	U+239B;
	⎜	⎜	⎜	⎜	left parenthesis extension	U+239C;
	⎝	⎝	⎝	⎝	left parenthesis lower hook	U+239D;
	⎞	⎞	⎞	⎞	right parenthesis upper hook	U+239E;
	⎟	⎟	⎟	⎟	right parenthesis extension	U+239F;
	⎠	⎠	⎠	⎠	right parenthesis lower hook	U+23A0;
	⎡	⎡	⎡	⎡	left square bracket upper corner	U+23A1;
	⎢	⎢	⎢	⎢	left square bracket extension	U+23A2;
	⎣	⎣	⎣	⎣	left square bracket lower corner	U+23A3;
	⎤	⎤	⎤	⎤	right square bracket upper corner	U+23A4;
	⎥	⎥	⎥	⎥	right square bracket extension	U+23A5;
	⎦	⎦	⎦	⎦	right square bracket lower corner	U+23A6;
	⎧	⎧	⎧	⎧	left curly bracket upper hook	U+23A7;
	⎨	⎨	⎨	⎨	left curly bracket middle piece	U+23A8;
	⎩	⎩	⎩	⎩	left curly bracket lower hook	U+23A9;
	⎪	⎪	⎪	⎪	curly bracket extension	U+23AA;
	⎫	⎫	⎫	⎫	right curly bracket upper hook	U+23AB;
	⎬	⎬	⎬	⎬	right curly bracket middle piece	U+23AC;
	⎭	⎭	⎭	⎭	right curly bracket lower hook	U+23AD;
	⎮	⎮	⎮	⎮	integral extension	U+23AE;
	⎯	⎯	⎯	⎯	horizontal line extension	U+23AF;
	⎰	⎰	⎰	⎰	upper left or lower right curly bracket section	U+23B0;
	⎱	⎱	⎱	⎱	upper right or lower left curly bracket section	U+23B1;
	⎲	⎲	⎲	⎲	summation top	U+23B2;
	⎳	⎳	⎳	⎳	summation bottom	U+23B3;
	⏜	⏜	⏜	⏜	top parenthesis	U+23DC;
	⏝	⏝	⏝	⏝	bottom parenthesis	U+23DD;
	⏞	⏞	⏞	⏞	top curly bracket	U+23DE;
	⏟	⏟	⏟	⏟	bottom curly bracket	U+23DF;
	⏠	⏠	⏠	⏠	top tortoise shell bracket	U+23E0;
	⏡	⏡	⏡	⏡	bottom tortoise shell bracket	U+23E1;
	▷	▷	▷	▷	white right-pointing triangle	U+25B7;
	◁	◁	◁	◁	white left-pointing triangle	U+25C1;
&ultri;	◸	◸	◸	◸	upper left triangle	U+25F8;
&urtri;	◹	◹	◹	◹	upper right triangle	U+25F9;
&lltri;	◺	◺	◺	◺	lower left triangle	U+25FA;
&EmptySmallSquare;	◻	◻	◻	◻	white medium square	U+25FB;
&FilledSmallSquare;	◼	◼	◼	◼	black medium square	U+25FC;
	◽	◽	◽	◽	white medium small square	U+25FD;
	◾	◾	◾	◾	black medium small square	U+25FE;
	◿	◿	◿	◿	lower right triangle	U+25FF;
&sharp;	♯	♯	♯	♯	music sharp sign	U+266F;
	⟀	⟀	⟀	⟀	three dimensional angle	U+27C0;
	⟁	⟁	⟁	⟁	white triangle containing small white triangle	U+27C1;
	⟂	⟂	⟂	⟂	perpendicular	U+27C2;
	⟃	⟃	⟃	⟃	open subset	U+27C3;
	⟄	⟄	⟄	⟄	open superset	U+27C4;
	⟇	⟇	⟇	⟇	or with dot inside	U+27C7;
	⟈	⟈	⟈	⟈	reverse solidus preceding subset	U+27C8;
	⟉	⟉	⟉	⟉	superset preceding solidus	U+27C9;
	⟊	⟊	⟊	⟊	vertical bar with horizontal stroke	U+27CA;
	⟋	⟋	⟋	⟋	mathematical rising diagonal	U+27CB;
	⟌	⟌	⟌	⟌	long division	U+27CC;
	⟍	⟍	⟍	⟍	mathematical falling diagonal	U+27CD;
	⟎	⟎	⟎	⟎	squared logical and	U+27CE;
	⟏	⟏	⟏	⟏	squared logical or	U+27CF;
	⟐	⟐	⟐	⟐	white diamond with centred dot	U+27D0;
	⟑	⟑	⟑	⟑	and with dot	U+27D1;
	⟒	⟒	⟒	⟒	element of opening upwards	U+27D2;
	⟓	⟓	⟓	⟓	lower right corner with dot	U+27D3;
	⟔	⟔	⟔	⟔	upper left corner with dot	U+27D4;
	⟕	⟕	⟕	⟕	left outer join	U+27D5;
	⟖	⟖	⟖	⟖	right outer join	U+27D6;
	⟗	⟗	⟗	⟗	full outer join	U+27D7;
	⟘	⟘	⟘	⟘	large up tack	U+27D8;
	⟙	⟙	⟙	⟙	large down tack	U+27D9;
	⟚	⟚	⟚	⟚	left and right double turnstile	U+27DA;
	⟛	⟛	⟛	⟛	left and right tack	U+27DB;
	⟜	⟜	⟜	⟜	left multimap	U+27DC;
	⟝	⟝	⟝	⟝	long right tack	U+27DD;
	⟞	⟞	⟞	⟞	long left tack	U+27DE;
	⟟	⟟	⟟	⟟	up tack with circle above	U+27DF;
	⟠	⟠	⟠	⟠	lozenge divided by horizontal rule	U+27E0;
	⟡	⟡	⟡	⟡	white concave-sided diamond	U+27E1;
	⟢	⟢	⟢	⟢	white concave-sided diamond with leftwards tick	U+27E2;
	⟣	⟣	⟣	⟣	white concave-sided diamond with rightwards tick	U+27E3;
	⟤	⟤	⟤	⟤	white square with leftwards tick	U+27E4;
	⟥	⟥	⟥	⟥	white square with rightwards tick	U+27E5;