Include snippets from the Stacks project directly using LaTeX - View it on GitHub