static S ai_html_triangle() {
  ret " " + htmlencode(unicode_rightPointingTriangle()) + " ";
}