## 14.8 Activating the Printing of Coercions

### 14.8.1 `Set Printing Coercions.`

This command forces all the coercions to be printed. To skip the printing of coercions, use `Unset Printing Coercions`. By default, coercions are not printed.

### 14.8.2 `Set Printing Coercion` qualid`.`

This command forces coercion denoted by qualid to be printed. To skip the printing of coercion qualid, use `Unset Printing Coercion` qualid. By default, a coercion is never printed.