First order logic properly displayed