A little logic notation editor screenshoot