This command returns true if expr is an unevaluated concatenated object, and false otherwise.

A concatenated object remains unevaluated if its right-hand argument does not evaluate to an expression of one of the following types.

$\mathrm{type}\left(p\Vert i\,\mathrm{`||`}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\Vert \left(\frac{4}{3}\right)\,\mathrm{`||`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(n\Vert 45.67\,\mathrm{`||`}\right)$

$\mathrm{false}$

$r≔\mathrm{poly}\Vert \left(x^3-2x\right)$

$r≔\mathrm{poly}\Vert \left(x^3-2x\right)$

$\mathrm{type}\left(r\,\mathrm{`||`}\right)$

$\mathrm{true}$