Provide for special typesetting of type-operators in EmitTeX.

This uses back-end annotations.