using unicode operator, TH binary literal, etc