Use unicode notation