I prefer PDF as capital letters because we use them also elsewhere in OpenSlides like this.