6
votes
2answers
236 views

When substack and array doesn't work

I am trying to write a formula. But both substack and array cannot fulfil my needs (as far as I know how to use them). The first is how I want it to look like. But I need an i'\neq i below the ...
11
votes
4answers
443 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} ...