@@ -77,8 +77,9 @@
 		this.render['\\'] = "λ";
 		this.render['R'] = "☃";
 		this.render['D'] = "☠";
 		this.render['L'] = "☒";
+		this.render['O'] = "☐";
 		foreach(c,tp; g.map.tr_target) {
 			char d = g.map[tp];
 			this.render[c] = [cast(dchar)('㋀'+d-'1')].to!string();
 		}