The universal character code (unicode) is a variable-length binary code.1
We often denote the set of unicode strings by \ustring.