formal braids