Yes, it’s those characters (in Kanji/Japanese), in Hanja/Korean it would have been 發射, the glyph for the first character is different even though it’s the same ideograph in Unicode (due to Han unification).

https://en.m.wiktionary.org/wiki/發 shows each of the three variants for CJK.