Derivations in symolic logic

Question

Show that |- ((P || Q) -> (~((~P) & (~Q))))

Answer 1

I may be missing something here, but the logical connectives | , - , and | | are unknown to me. Could you explain these.