Talk:Autoepistemic logic

Is the operator supposed to look like a square? 75.36.237.61 (talk) 19:37, 26 October 2011 (UTC)
 * I too was not sure about this but according to it seems that it is actually a white medium square. Dalba 12 Esfand 1393/ 15:31, 3 March 2015 (UTC)