The generic symbol REVZ only appears inside a THEORY. The many theorems referencing it are not listed here.