
What's this in his arm? I've never seen such notation.

What's this in his arm? I've never seen such notation.
This look like Frege's "Begriffsschrift". Try to translate it using the syntax desciption in the Wikipedia article I linked.