Programmname application und Produktname trademark

Programnamen und Produktnamen können mit den entsprechenden DocBook-Elementen ausgezeichnet werden.