Mathematical Logic Icon