static S unicode_downPointingTriangle() {
  ret charToString(0x25BC);
}