<div dir="ltr"><div><br clear="all"></div><div>Here's what I have for the delimiters and the /big family of commands (attached). Arrows can be a much bigger topic (no pun, really), I think, as there are a number of packages that have different sorts of arrows. Do we want this to be a comprehensive description of arrows or constrained to a topic?</div><div><br></div><div>Bob<br></div></div>