int main(){
	assert('ℵ'=='ℵ');
	assert('∧'=='∧');
	assert('∟'=='&ang90;');
	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('⊥'=='⊥');
	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;
}