static S unicode_micro() {
  ret "\u00B5";
}