Formal SignWriting Technical Paper | Synapse