Logicographic Symbols: A New Feature in Theorema

Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica and, thus, can be used on all platforms on which Mathematica is available