sS ai_html_triangle;

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