I made an ambigram in first-order logic equipped with logical and arithmetic operators. See the second section of this post: http://cp4space.wordpress.com/2013/01/17/assorted-stuff/ It's a silly example, but it's still grammatically correct and non-trivial. Sincerely, Adam P. Goucher