to print (hide ...) as <hidden>
Major Section:  IO

(assign eviscerate-hide-terms t)
(assign eviscerate-hide-terms nil)

Eviscerate-hide-terms is a state global variable whose value is either t or nil. The variable affects how terms are displayed by default (but not if you have set the term-evisc-tuple to other than its default; see set-evisc-tuple). If t, terms of the form (hide ...) are printed as <hidden>. Otherwise, they are printed normally.