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