diff --git a/src/Printer.java b/src/Printer.java index 88115ec8..ca03cb87 100644 --- a/src/Printer.java +++ b/src/Printer.java @@ -506,7 +506,10 @@ else if (ch == '♊') /* Gemini! */ { glyph = 74; /* looks like pi with extra bar across bottom */ } - /* 75 -- bottom triangle symbol? */ + else if (ch == '_') + { + glyph = 75; /* bottom triangle symbol? */ + } else if (ch == 'Π') { glyph = 76; @@ -661,7 +664,10 @@ else if (b == 74) /* looks like pi with extra bar across bottom */ { ch = '♊'; /* Gemini! */ } - /* 75 -- bottom triangle symbol? */ + else if (b == 75) /* bottom triangle symbol? */ + { + ch = '_'; + } else if (b == 76) /* 'Π' */ { ch = 'Π';