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;
}