> -- Ivor писал(а):
> 3. Vocabulary and RepresentationThe representation of (terminal) symbols in terms of characters is defined using , i.e.,  UTF-16 encoded characters.

Я бы остановился  перед "i.e". Указание кодировки - это уже перегиб.