I want to type ∞ to get 8. Because I can't just type 8 into anything... and... I can't find the unicode for it. Oh wait... will ì work?