@note{...} renders a margin note beside the line it comments onLike this one.. A @mention["..."] with no anchor text inside a @note{...} expands into that card's calling card; with anchor text it stays a plain link. Either way the mention reaches the backlink graph.
@note{@mention["31KN"] only the corollary is used here.}
@note{see @mention["31KN"]{adjoints} for the proof.}
Check moreFeaturenote: Tufte-style margin notes.