Oh, in case ever in the IC someone needs to type out 'Arïs',  the alt code for ï is alt 0-2-3-9.  Much easier than copy-paste.