4
$\begingroup$

enter image description here

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

1 Answers 1

11

This look like Frege's "Begriffsschrift". Try to translate it using the syntax desciption in the Wikipedia article I linked.