Others have asked, and despite some surface similarity the answer seems to be "no": https://www.reddit.com/r/LaTeX/comments/1galio/does_the_government_use_latex

Others have asked, and despite some surface similarity the answer seems to be "no": https://www.reddit.com/r/LaTeX/comments/1galio/does_the_government_use_latex/ https://www.reddit.com/r/LaTeX/comments/1galio/does_the_gove... It doesn't address the LaTeX question, but this page had some interesting details on the style guide for Supreme Court opinions: https://lawyerist.com/style-guide-supreme-court/ https://lawyerist.com/style-guide-supreme-court/