static S unicode_middleDot() {
  ret "\u00b7";
}