<div dir="ltr">Is there a form similar to proc-doc/names but for providing syntactic forms instead? Something where it expands to using @defform instead of @defproc. It looks like thing-doc might work, but that's meant for arbitrary values and I'm really looking for something specifically meant for exporting syntactic forms. If no such thing exists, how would an implementation based on thing-doc look exactly?</div>