:</b> will display assertions considered definitional for the constant, such as <a href=/cycdoc/vocab/fundamental-vocab.html#isa>#$isa</a>, <a href=/cycdoc/vocab/fundamental-vocab.html#genls>#$genls</a>, etc; will also display whether a constant is "public" or "mentioned in code".
  <li><b>Lexical Information:</b> will display lexical information about the constant, including <a href=/cycdoc/vocab/lexicon-vocab.html#denotation>#$denotation</a>, etc.
  </ul>
</ul>
<p>

<hr>
<a href=#top><img src="/cycdoc/img