use unicode notation