potrebbe essere anche un'altro carattere modificato poi.... oppure come hai detto tu se lo son fatto a mano.