Спасибо большое, работает!
Т.к. у меня за превращение в "векторы", т.е. за превращение букв в жирные, отвечает отдельная единственная команда, хотелось научить TeX понимать как делать из таких шрифтов жирные с помошью \boldsymbol, вот решение (в условиях кода, приведенного ewert)
Код:
\SetSymbolFont{Greekrm}{normal}{OT1}{mygreek}{m}{n}
\SetSymbolFont{Greekrm}{bold}{OT1}{mygreek}{b}{n}