Ambigrams are forms that look the same when rotated or
flipped, like the image below:

One day, Trinity College, Cambridge, undergrad Adam P Goucher was wondering
whether "it would be possible to write a true statement in first-order
logic together with logical conjunctions and arithmetic operations, which
also functions as an ambigram" when flipped upside down.