unicode support for names, smaller symbols, extended inv