revert nformat



The function nformat converts t to $true. What function reverts $true to t? More generally, what function
reverts nformat?

Because mquotient has a simplification property, simplifya reverts a mquotient expression

 (%i25) :lisp(simplifya `((mquotient) a b) t)
             ((MTIMES SIMP) A ((MEXPT SIMP) B -1))

but simplifya does nothing to $true

  (%i25) :lisp(simplifya '$true nil)
  $TRUE

and ratdisrep doesn't do it either:

  (%i25) :lisp($ratdisrep '$true)
   $TRUE

--Barton