<human>: Does "Encoding of any new ligatures in Unicode will not happen, in part because the set of ligatures is font-dependent, and Unicode is an encoding independent of font variations." contain the correct answer to "What is another word for ligatures?"
OPTIONS:
- yes
- no
<bot>: no