Text this: Visualization of logical formulas