--- a/xkb/symbols/prog	Sat Apr 16 13:57:38 2016 -0400
+++ b/xkb/symbols/prog	Mon Jan 23 07:21:14 2017 -0500
@@ -37,7 +37,7 @@
     key <AE05> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [      parenright,     braceright                                         ] }; // ) }
     key <AE06> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [              at,  guillemotleft,      asciicircum                       ] }; // @ « ^
     key <AE07> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [            plus, guillemotright,        plusminus,        notsign       ] }; // + » ± ¬
-    key <AE08> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [           minus,     underscore,            U2212,     onequarter       ] }; // -   − ¼
+    key <AE08> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [           minus,     underscore,            U2212,     onequarter       ] }; // - _ − ¼
     key <AE09> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [           slash,      backslash,         division,        onehalf       ] }; // / \ ÷ ½
     key <AE10> { type[group1] = "FOUR_LEVEL_SEMIALPHABETIC", [        asterisk, rightsinglequotemark,         multiply,  threequarters       ] }; // * ' × ¾