Leonardus

OPERATORS
Operators Section Analogous

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.

Generated by

1.9.4