1 problem
Matching
Let be a proposition letter, and let hspace{.2ex}\text{% tikz[baseline=-.6ex, rounded corners=.01ex, line width=.12ex] {draw (-.6ex,-.6ex) rectangle (.6ex,.6ex);}}kern.2ex and…
Let be a proposition letter, and let hspace{.2ex}\text{% tikz[baseline=-.6ex, rounded corners=.01ex, line width=.12ex] {draw (-.6ex,-.6ex) rectangle (.6ex,.6ex);}}kern.2ex and…