int main(){
	assert('≊'=='≊');
	assert('≍'=='≈');
	assert('≌'=='≌');
	assert('∍'=='϶');
	assert('⋈'=='⋈');
	assert('∽'=='∽');
	assert('⋍'=='⋍');
	assert('≎'=='≎');
	assert('≏'=='≏');
	assert('≗'=='≗');
	assert('≔'=='≔');
	assert('⋞'=='⋞');
	assert('⋟'=='⋟');
	assert('≼'=='&cupre;');
	assert('⊣'=='⊣');
	assert('≖'=='≖');
	assert('≕'=='≕');
	assert('≑'=='≑');
	assert('≐'=='≐');
	assert('≒'=='≒');
	assert('⋝'=='⪖');
	assert('⋜'=='⪕');
	assert('≓'=='≓');
	assert('⋔'=='⋔');
	assert('⌢'=='⌢');
	assert('≳'=='⪆');
	assert('⋗'=='&gsdot;');
	assert('≧'=='≧');
	assert('⋛'=='⋛');
	assert('⋛'=='⪌');
	assert('≥'=='⩾');
	assert('⋙'=='⋙');
	assert('≷'=='≷');
	assert('≳'=='≳');
	assert('≫'=='≫');
	assert('≲'=='⪅');
	assert('⋖'=='&ldot;');
	assert('≦'=='≦');
	assert('⋚'=='⪋');
	assert('⋚'=='⋚');
	assert('≤'=='⩽');
	assert('≶'=='≶');
	assert('⋘'=='⋘');
	assert('≲'=='≲');
	assert('≪'=='≪');
	assert('⊴'=='⊴');
	assert('∣'=='∣');
	assert('⊧'=='⊧');
	assert('≺'=='≺');
	assert('≾'=='⪷');
	assert('≼'=='⪯');
	assert('≾'=='≾');
	assert('⊵'=='⊵');
	assert('∐'=='&samalg;');
	assert('≻'=='≻');
	assert('≿'=='⪸');
	assert('≽'=='≽');
	assert('≽'=='⪰');
	assert('≿'=='≿');
	assert('⌢'=='⌢');
	assert(''=='∣');
	assert('⌣'=='⌣');
	assert('∥'=='∥');
	assert('⊏'=='⊏');
	assert('⊑'=='⊑');
	assert('⊐'=='⊐');
	assert('⊒'=='⊒');
	assert('⌣'=='⌣');
	assert('⋐'=='⋐');
	assert('⊆'=='⫅');
	assert('⋑'=='⋑');
	assert('⊇'=='⫆');
	assert('≈'=='≈');
	assert('∼'=='∼');
	assert('≜'=='≜');
	assert('≬'=='≬');
	assert('⊢'=='⊢');
	assert('⊩'=='⊩');
	assert('⊨'=='⊨');
	assert('⊻'=='⊻');
	assert('⊲'=='⊲');
	assert('∝'=='∝');
	assert('⊳'=='⊳');
	assert('⊪'=='⊪');
	return 0;
}