8 "{\\bf{}" + last_string + "}";
10 - integer := last_string;
13 "{\\it{}" + last_string + "}";
16 "{\\it{}" + last_string + "}";
18 - operator := last_string;
21 "<a href=\""+last_string+".html\">\
22 \<font color=\"#008000\">"+last_string+"</font></a>";
25 "{\\it{}" + last_string + "}";
30 "{\\bf{}" + last_string + "}";
32 - slot_style := last_string;
34 - block := "\\" + last_string;