Better "len" symbol