1
vote
1answer
118 views

summation line for multiple rows

Is there a way to add multiple lines of numbers using a "summation line"? Specifically, I want to create something like the below, only better looking. \documentclass{article} ...
11
votes
4answers
400 views

How to construct a logic argument with colored hline with length under control?

How to construct a logic argument like this one? I can construct it like this: Latex of my argument: \documentclass[10pt]{article} \usepackage{newtxtext} \usepackage{newtxmath} ...