Оказалось, неправильно. Заглавные буквы в betacode обозначаются звёздочкой, и чтобы получить Ἀ, надо набрать *)A
тут же простой конвертер и А) намного интуитивнее, чем вырвиглазное *а)
*)=a