Источник TeX:

ABCD;