Leonardus
Loading...
Searching...
No Matches
Analogous LeoScript Operator known

STACK

$ D\ X_{key}\ known\ B $

DESCRIPTION

Red book operator tests whether key is in D.

ORIGIN

Core code registered in systemdict.