* NAND and NOR are more prominent for most screen sizes (requested by a user) * cleaning up layouts (please report any problem with exotic devices) * allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user) * optionally showing separator lines between main columns (requested by a user) * on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* NAND and NOR are more prominent for most screen sizes (requested by a user) * cleaning up layouts (please report any problem with exotic devices) * allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user) * optionally showing separator lines between main columns (requested by a user) * on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)