Nuprl Definition : show

The term show(x) unfolds to x. It has a special display form that makes it
easy to spot. We make a conversion ShowAddrC addr that folds `show` at the
given addr. That helps when working with conversions so that we can
easily see what term is at a given address. ⋅

⇒⇒ x ⇐⇐ == x

FDL editor aliases : show

Latex:
\mRightarrow{}\mRightarrow{} x \mLeftarrow{}\mLeftarrow{} == x Date html generated: 2016_07_08-PM-04_46_28 Last ObjectModification: 2016_01_04-AM-10_25_25 Theory : core_2 Home Index