introduced more unicode notation