Seems unlikely to change name & symbol and then have to change the symbol again with reverse split. The 2 examples you gave, MRXT & WPRO, did the reverse split at the same time as the symbol change. Please correct me if I am wrong...