3
votes
1answer
94 views

How to align an equation horizontally in qtree, centering one character of my equation?

I have the following code for my qtree: \documentclass[english]{article} \usepackage[T1]{fontenc} \usepackage[latin9]{inputenc} \makeatletter \usepackage{qtree} \makeatother \usepackage{babel} ...
2
votes
1answer
128 views

Why aren't qtrees aligned horizontally if they are at the end of a theorem with qed symbol enabled?

\documentclass{article} \usepackage{amsmath} \usepackage{amsthm} \usepackage{thmtools} \usepackage{qtree} \declaretheorem[name=Example,qed=\ensuremath{\triangleleft}]{example} ...
4
votes
2answers
402 views

Aligned columns in qtree?

I am currently taking a sentential logic class and we've just begun the chapter on truth-trees, so I've been looking into how to generate truth-trees with the qtree package. I think I've been able to ...