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