Still, it's a constructed language. Symbols. Representative.

   P is a Premise. Already P is a metaphor for Premise. Why is it a
   Metaphor? P is a letter of the alphabet. Premise is a word. P is
   a metaphorical representation that also correlates highly to the
   word Premise within the context of Propositional Logic.

   |- is a Turnstile. It's Provable. It's in the family of
   Propositional Logic. It is the family of First Order Logic.

   I won't make the obvious point about |- and Turnstile and the
   Metaphor there.

   Anyway, that was a Wikipedia cheat from me.