Include snippets from the Stacks project directly using LaTeX