The variable is a single latin letter

The binary functions:
~, ¬ negation
*, ∧, & conjunction
+, ∨ disjunction
^, ⨁ exclusive disjunction
|, ↑ alternative denial
/, ↓ joint denial
->, → implication
<-, ← converse implication
=, ≡ biconditional