<p dir="ltr">Is there a built-in function to generate (random) symbols that one can compare using eq?  ?</p>
<p dir="ltr">Thanks, </p>
<p dir="ltr">Marco</p>