Name

$print-short-symbol-names

Usage

special-variable

Description

When true, symbol names are never printed with their package names.

user 1 > $print-short-symbol-names
it: false