infixd "[" 30 0 if pkgcheck(token) = "{" then (advance; sublis(['a'.left, 'b'.right], 'mapcar{function a . b}')& check "}") else "MAPCAR" . ["FUNCTION", left] . rightlist & check "]" $ (DEFUN FUNBOUNDP (X) (AND (SYMBOLP X) (FUNCTIONP X T)))