Logical Notation Translator